Gary is big. Gary is blue. Gary is furry. Gary is nice. Gary is red. Gary is round. Gary is smart. If someone is round and nice then they are red. Red, furry people are smart.
Gary is not furry.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is furry.[(triple3)] Gary is nice.[(triple4)] Gary is red.[(triple5 OR ((triple6 triple4) -> rule1))] Gary is round.[(triple6)] Gary is smart.[(triple7 OR ((triple5 triple3) -> rule2) OR ((((triple6 triple4) -> rule1) triple3) -> rule2))]