Gary is big. Gary is not furry. Gary is green. Gary is nice. Gary is quiet. Gary is red. Gary is smart. Harry is big. Harry is nice. Harry is red. All nice, green people are smart. All nice people are red. If Harry is green then Harry is nice.
Harry is not nice.
@0: Gary is big.[(triple1)] Gary is green.[(triple3)] Gary is nice.[(triple4)] Gary is not furry.[(triple2)] Gary is quiet.[(triple5)] Gary is red.[(triple6 OR ((triple4) -> rule2))] Gary is smart.[(triple7 OR ((triple4 triple3) -> rule1))] Harry is big.[(triple8)] Harry is nice.[(triple9)] Harry is red.[(triple10 OR ((triple9) -> rule2))]