Gary is furry. Gary is nice. Gary is red. Gary is rough. Gary is round. Gary is smart. Gary is young. If something is young then it is smart. If Gary is furry then Gary is young. If something is round and red then it is nice. If something is rough and red then it is round. Round, furry things are nice. All rough, nice things are round. If something is nice then it is round. Nice things are smart.
Gary is not furry.
@0: Gary is furry.[(triple1)] Gary is nice.[(triple2 OR ((triple5 triple1) -> rule5) OR ((triple5 triple3) -> rule3) OR ((((triple4 triple3) -> rule4) triple1) -> rule5) OR ((((triple4 triple3) -> rule4) triple3) -> rule3))] Gary is red.[(triple3)] Gary is rough.[(triple4)] Gary is round.[(triple5 OR ((triple2) -> rule7) OR ((triple4 triple2) -> rule6) OR ((triple4 triple3) -> rule4))] Gary is smart.[(triple6 OR ((triple2) -> rule8) OR ((triple7) -> rule1) OR ((((triple1) -> rule2)) -> rule1) OR ((((triple5 triple1) -> rule5)) -> rule8) OR ((((triple5 triple3) -> rule3)) -> rule8) OR ((((((triple4 triple3) -> rule4) triple1) -> rule5)) -> rule8) OR ((((((triple4 triple3) -> rule4) triple3) -> rule3)) -> rule8))] Gary is young.[(triple7 OR ((triple1) -> rule2))]