Gary is blue. Gary is furry. Gary is green. Gary is white. Gary is young. Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is young. All round, young things are big. All furry things are round. If Harry is young then Harry is green. Furry, young things are white. Big things are green. Blue, green things are white.
Gary is furry.
@0: Gary is blue.[(triple1)] Gary is furry.[(triple2)] Gary is green.[(triple3 OR ((((((triple2) -> rule2) triple5) -> rule1)) -> rule5))] Gary is white.[(triple4 OR ((triple1 triple3) -> rule6) OR ((triple2 triple5) -> rule4) OR ((triple1 ((((((triple2) -> rule2) triple5) -> rule1)) -> rule5)) -> rule6))] Gary is young.[(triple5)] Harry is big.[(triple6 OR ((((triple8) -> rule2) triple10) -> rule1))] Harry is blue.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9 OR ((triple10) -> rule3) OR ((triple6) -> rule5) OR ((((((triple8) -> rule2) triple10) -> rule1)) -> rule5))] Harry is young.[(triple10)] @1: Gary is round.[(((triple2) -> rule2))] Harry is round.[(((triple8) -> rule2))] Harry is white.[(((triple7 triple9) -> rule6) OR ((triple8 triple10) -> rule4) OR ((triple7 ((triple10) -> rule3)) -> rule6) OR ((triple7 ((triple6) -> rule5)) -> rule6) OR ((triple7 ((((((triple8) -> rule2) triple10) -> rule1)) -> rule5)) -> rule6))] @2: Gary is big.[(((((triple2) -> rule2) triple5) -> rule1))]