Fiona is green. Fiona is red. Fiona is smart. Fiona is young. Gary is big. Gary is furry. Gary is green. Gary is red. Gary is smart. Gary is young. Harry is smart. Harry is young. All red, blue things are big. All big, blue things are red. If something is red then it is smart. All big, green things are young. All young, green things are smart. Green, big things are blue.
Fiona is green.
@0: Fiona is green.[(triple1)] Fiona is red.[(triple2)] Fiona is smart.[(triple3 OR ((triple2) -> rule3) OR ((triple4 triple1) -> rule5))] Fiona is young.[(triple4)] Gary is big.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7)] Gary is red.[(triple8 OR ((triple5 ((triple7 triple5) -> rule6)) -> rule2))] Gary is smart.[(triple9 OR ((triple8) -> rule3) OR ((triple10 triple7) -> rule5) OR ((((triple5 triple7) -> rule4) triple7) -> rule5) OR ((((triple5 ((triple7 triple5) -> rule6)) -> rule2)) -> rule3))] Gary is young.[(triple10 OR ((triple5 triple7) -> rule4))] Harry is smart.[(triple11)] Harry is young.[(triple12)] @1: Gary is blue.[(((triple7 triple5) -> rule6))]