Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is red. Gary is round. Red things are round. If something is green and cold then it is round. If Gary is furry and Gary is big then Gary is blue. If Gary is green then Gary is cold. If something is round and green then it is big. If Gary is cold and Gary is blue then Gary is furry.
Gary is blue.
@0: Gary is big.[(triple1 OR ((triple7 triple5) -> rule5) OR ((((triple6) -> rule1) triple5) -> rule5) OR ((((triple5 triple3) -> rule2) triple5) -> rule5) OR ((((triple5 ((triple5) -> rule4)) -> rule2) triple5) -> rule5))] Gary is blue.[(triple2 OR ((triple4 triple1) -> rule3) OR ((triple4 ((triple7 triple5) -> rule5)) -> rule3) OR ((triple4 ((((triple6) -> rule1) triple5) -> rule5)) -> rule3) OR ((triple4 ((((triple5 triple3) -> rule2) triple5) -> rule5)) -> rule3) OR ((triple4 ((((triple5 ((triple5) -> rule4)) -> rule2) triple5) -> rule5)) -> rule3))] Gary is cold.[(triple3 OR ((triple5) -> rule4))] Gary is furry.[(triple4 OR ((triple3 triple2) -> rule6) OR ((((triple5) -> rule4) triple2) -> rule6))] Gary is green.[(triple5)] Gary is red.[(triple6)] Gary is round.[(triple7 OR ((triple6) -> rule1) OR ((triple5 triple3) -> rule2) OR ((triple5 ((triple5) -> rule4)) -> rule2))]