Bob is blue. Bob is green. Bob is nice. Gary is blue. Gary is green. Gary is kind. Gary is nice. Gary is smart. Harry is round. Harry is smart. If something is nice and kind then it is smart. If Gary is kind and Gary is nice then Gary is blue. All blue things are cold. If something is cold then it is round. All kind, cold things are blue. All blue things are round.
Gary is kind.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Gary is blue.[(triple4 OR ((triple6 triple7) -> rule2))] Gary is green.[(triple5)] Gary is kind.[(triple6)] Gary is nice.[(triple7)] Gary is smart.[(triple8 OR ((triple7 triple6) -> rule1))] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Bob is cold.[(((triple1) -> rule3))] Bob is round.[(((triple1) -> rule6) OR ((((triple1) -> rule3)) -> rule4))] Gary is cold.[(((triple4) -> rule3) OR ((((triple6 triple7) -> rule2)) -> rule3))] Gary is round.[(((triple4) -> rule6) OR ((((triple4) -> rule3)) -> rule4) OR ((((triple6 triple7) -> rule2)) -> rule6) OR ((((((triple6 triple7) -> rule2)) -> rule3)) -> rule4))]