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