Gary is big. Gary is blue. Gary is rough. Gary is smart. Harry is big. Harry is blue. Harry is kind. Harry is red. Harry is rough. Harry is smart. If someone is big and red then they are green. Red people are big. Rough, blue people are red.
Gary is red.
@0: Gary is big.[(triple1 OR ((((triple3 triple2) -> rule3)) -> rule2))] Gary is blue.[(triple2)] Gary is rough.[(triple3)] Gary is smart.[(triple4)] Harry is big.[(triple5 OR ((triple8) -> rule2) OR ((((triple9 triple6) -> rule3)) -> rule2))] Harry is blue.[(triple6)] Harry is kind.[(triple7)] Harry is red.[(triple8 OR ((triple9 triple6) -> rule3))] Harry is rough.[(triple9)] Harry is smart.[(triple10)] @1: Gary is red.[(((triple3 triple2) -> rule3))] Harry is green.[(((triple5 triple8) -> rule1) OR ((triple5 ((triple9 triple6) -> rule3)) -> rule1) OR ((((triple8) -> rule2) triple8) -> rule1) OR ((((triple8) -> rule2) ((triple9 triple6) -> rule3)) -> rule1) OR ((((((triple9 triple6) -> rule3)) -> rule2) triple8) -> rule1) OR ((((((triple9 triple6) -> rule3)) -> rule2) ((triple9 triple6) -> rule3)) -> rule1))] @2: Gary is green.[(((triple1 ((triple3 triple2) -> rule3)) -> rule1) OR ((((((triple3 triple2) -> rule3)) -> rule2) ((triple3 triple2) -> rule3)) -> rule1))]