Bob is nice. Fiona is furry. Fiona is green. Fiona is smart. Gary is rough. Harry is furry. Harry is not nice. Green, kind things are smart. If something is furry then it is green. If Gary is rough then Gary is furry. Smart, nice things are blue. All furry, green things are not nice. If something is green and not furry then it is nice.
Gary is nice.
@0: Bob is nice.[(triple1)] Fiona is furry.[(triple2)] Fiona is green.[(triple3 OR ((triple2) -> rule2))] Fiona is smart.[(triple4)] Gary is rough.[(triple5)] Harry is furry.[(triple6)] Harry is not nice.[(triple7 OR ((triple6 ((triple6) -> rule2)) -> rule5))] @1: Fiona is not nice.[(((triple2 triple3) -> rule5) OR ((triple2 ((triple2) -> rule2)) -> rule5))] Gary is furry.[(((triple5) -> rule3))] Harry is green.[(((triple6) -> rule2))] @2: Gary is green.[(((((triple5) -> rule3)) -> rule2))] @3: Gary is not nice.[(((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule2)) -> rule5))]