Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is red. Gary is smart. Gary is white. Harry is big. Harry is cold. Harry is furry. Harry is green. Harry is red. Harry is smart. Harry is white. Green things are cold. All furry, green things are smart.
Harry is smart.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2 OR ((triple4) -> rule1))] Gary is furry.[(triple3)] Gary is green.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6 OR ((triple3 triple4) -> rule2))] Gary is white.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9 OR ((triple11) -> rule1))] Harry is furry.[(triple10)] Harry is green.[(triple11)] Harry is red.[(triple12)] Harry is smart.[(triple13 OR ((triple10 triple11) -> rule2))] Harry is white.[(triple14)]