Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is nice. Gary is smart. Gary is young. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is smart. Harry is young. All smart people are green. All furry people are green.
Harry is young.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is green.[(triple4 OR ((triple3) -> rule2) OR ((triple6) -> rule1))] Gary is nice.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is green.[(triple11 OR ((triple10) -> rule2) OR ((triple13) -> rule1))] Harry is nice.[(triple12)] Harry is smart.[(triple13)] Harry is young.[(triple14)]