Gary is big. Gary is blue. Gary is green. Gary is quiet. Gary is round. Gary is smart. Gary is white. Blue things are round. If Gary is quiet and Gary is smart then Gary is white. If Gary is white then Gary is quiet. All big, smart things are round. Quiet things are blue. If Gary is white and Gary is round then Gary is blue.
Gary is quiet.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple4) -> rule5) OR ((triple7 triple5) -> rule6) OR ((((triple7) -> rule3)) -> rule5) OR ((triple7 ((triple1 triple6) -> rule4)) -> rule6) OR ((((triple4 triple6) -> rule2) triple5) -> rule6) OR ((((triple4 triple6) -> rule2) ((triple1 triple6) -> rule4)) -> rule6))] Gary is green.[(triple3)] Gary is quiet.[(triple4 OR ((triple7) -> rule3))] Gary is round.[(triple5 OR ((triple2) -> rule1) OR ((triple1 triple6) -> rule4) OR ((((triple4) -> rule5)) -> rule1) OR ((((((triple7) -> rule3)) -> rule5)) -> rule1))] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple4 triple6) -> rule2))]