Gary is big. Gary is furry. Gary is not green. Gary is kind. Gary is quiet. Gary is not rough. Gary is young. Harry is big. Harry is furry. Harry is green. Harry is kind. Harry is quiet. Harry is not rough. Harry is young. If Harry is furry then Harry is green.
Harry is not young.
@0: Gary is big.[(triple1)] Gary is furry.[(triple2)] Gary is kind.[(triple4)] Gary is not green.[(triple3)] Gary is not rough.[(triple6)] Gary is quiet.[(triple5)] Gary is young.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple9)] Harry is green.[(triple10 OR ((triple9) -> rule1))] Harry is kind.[(triple11)] Harry is not rough.[(triple13)] Harry is quiet.[(triple12)] Harry is young.[(triple14)]