Gary is cold. Gary is round. Gary is smart. If Gary is rough and Gary is round then Gary is red. If someone is red then they are cold. All red people are kind. If Gary is round and Gary is cold then Gary is kind. If someone is kind then they are white. If someone is white and cold then they are red. Red people are round. If someone is smart then they are cold.
Gary is white.
@0: Gary is cold.[(triple1 OR ((triple3) -> rule8))] Gary is round.[(triple2)] Gary is smart.[(triple3)] @1: Gary is kind.[(((triple2 triple1) -> rule4) OR ((triple2 ((triple3) -> rule8)) -> rule4))] @2: Gary is white.[(((((triple2 triple1) -> rule4)) -> rule5) OR ((((triple2 ((triple3) -> rule8)) -> rule4)) -> rule5))] @3: Gary is red.[(((((((triple2 triple1) -> rule4)) -> rule5) triple1) -> rule6) OR ((((((triple2 triple1) -> rule4)) -> rule5) ((triple3) -> rule8)) -> rule6) OR ((((((triple2 ((triple3) -> rule8)) -> rule4)) -> rule5) triple1) -> rule6) OR ((((((triple2 ((triple3) -> rule8)) -> rule4)) -> rule5) ((triple3) -> rule8)) -> rule6))]