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