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