Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is nice. Gary is rough. Gary is white. If someone is green and furry then they are nice. If Gary is furry and Gary is green then Gary is white. All green, blue people are rough. If someone is rough then they are blue. All cold, furry people are nice. If Gary is furry and Gary is green then Gary is nice.
Gary is not furry.
@0: Gary is blue.[(triple1 OR ((triple6) -> rule4))] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is green.[(triple4)] Gary is nice.[(triple5 OR ((triple2 triple3) -> rule5) OR ((triple3 triple4) -> rule6) OR ((triple4 triple3) -> rule1))] Gary is rough.[(triple6 OR ((triple4 triple1) -> rule3))] Gary is white.[(triple7 OR ((triple3 triple4) -> rule2))]