Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is white. Gary is young. All young, big things are blue. If something is green and cold then it is blue. If something is furry then it is cold. Cold things are white. All blue things are big. If something is green and white then it is furry.
Gary is white.
@0: Gary is big.[(triple1 OR ((triple2) -> rule5) OR ((((triple5 triple3) -> rule2)) -> rule5) OR ((((triple5 ((triple4) -> rule3)) -> rule2)) -> rule5) OR ((((triple5 ((((triple5 triple6) -> rule6)) -> rule3)) -> rule2)) -> rule5))] Gary is blue.[(triple2 OR ((triple5 triple3) -> rule2) OR ((triple7 triple1) -> rule1) OR ((triple5 ((triple4) -> rule3)) -> rule2) OR ((triple5 ((((triple5 triple6) -> rule6)) -> rule3)) -> rule2))] Gary is cold.[(triple3 OR ((triple4) -> rule3) OR ((((triple5 triple6) -> rule6)) -> rule3))] Gary is furry.[(triple4 OR ((triple5 triple6) -> rule6) OR ((triple5 ((triple3) -> rule4)) -> rule6))] Gary is green.[(triple5)] Gary is white.[(triple6 OR ((triple3) -> rule4) OR ((((triple4) -> rule3)) -> rule4))] Gary is young.[(triple7)]