Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is rough. Gary is white. Gary is young. White things are furry. Cold, young things are green. If something is young and green then it is cold. Green, furry things are cold. If Gary is blue and Gary is rough then Gary is cold. If Gary is rough and Gary is blue then Gary is furry.
Gary is rough.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2 OR ((triple1 triple5) -> rule5) OR ((triple4 triple3) -> rule4) OR ((triple7 triple4) -> rule3) OR ((triple4 ((triple6) -> rule1)) -> rule4) OR ((triple4 ((triple5 triple1) -> rule6)) -> rule4))] Gary is furry.[(triple3 OR ((triple6) -> rule1) OR ((triple5 triple1) -> rule6))] Gary is green.[(triple4 OR ((triple2 triple7) -> rule2) OR ((((triple1 triple5) -> rule5) triple7) -> rule2))] Gary is rough.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7)]