Gary is not furry. Gary is green. Gary is kind. Gary is nice. Gary is round. Gary is smart. Gary is white. Harry is not furry. Harry is green. Harry is kind. Harry is nice. Harry is round. Harry is smart. Harry is white. If someone is green then they are white.
Harry is smart.
@0: Gary is green.[(triple2)] Gary is kind.[(triple3)] Gary is nice.[(triple4)] Gary is not furry.[(triple1)] Gary is round.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple2) -> rule1))] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is not furry.[(triple8)] Harry is round.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14 OR ((triple9) -> rule1))]