Fiona is smart. Gary is big. Gary is furry. Gary is red. Gary is rough. Gary is smart. Harry is big. Harry is blue. Harry is furry. Harry is smart. If something is blue and not big then it is furry. Furry things are red. If Fiona is big and Fiona is not furry then Fiona is not kind.
Gary is not red.
@0: Fiona is smart.[(triple1)] Gary is big.[(triple2)] Gary is furry.[(triple3)] Gary is red.[(triple4 OR ((triple3) -> rule2))] Gary is rough.[(triple5)] Gary is smart.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is furry.[(triple9)] Harry is smart.[(triple10)] @1: Harry is red.[(((triple9) -> rule2))]