Gary is cold. Gary is furry. Gary is green. Gary is not nice. Gary is red. Gary is round. Gary is smart. If someone is green and not nice then they are round. Round, nice people are smart. All smart people are green.
Gary is not smart.
@0: Gary is cold.[(triple1)] Gary is furry.[(triple2)] Gary is green.[(triple3 OR ((triple7) -> rule3))] Gary is not nice.[(triple4)] Gary is red.[(triple5)] Gary is round.[(triple6 OR ((triple3 triple4) -> rule1) OR ((((triple7) -> rule3) triple4) -> rule1))] Gary is smart.[(triple7)]