Rule tnfwdnchbtefdaoe

[id: tnfwdnchbtefdaoe] i(is $x $hard) && fact($x is $hard) => o(VERY $hard)

Loaded as

[id: tnfwdnchbtefdaoe] input(is $x $hard) && fact($x is $hard) => output(VERY $hard)