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