Charlie is blue. Charlie is furry. Charlie is round. Gary is blue. Gary is furry. Gary is green. Gary is red. Gary is round. Gary is smart. Gary is young. Harry is blue. Harry is green. Harry is round. Harry is smart. Harry is young. If someone is green then they are red. All green, smart people are red.
Harry is blue.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is round.[(triple3)] Gary is blue.[(triple4)] Gary is furry.[(triple5)] Gary is green.[(triple6)] Gary is red.[(triple7 OR ((triple6) -> rule1) OR ((triple6 triple9) -> rule2))] Gary is round.[(triple8)] Gary is smart.[(triple9)] Gary is young.[(triple10)] Harry is blue.[(triple11)] Harry is green.[(triple12)] Harry is round.[(triple13)] Harry is smart.[(triple14)] Harry is young.[(triple15)] @1: Harry is red.[(((triple12) -> rule1) OR ((triple12 triple14) -> rule2))]