Gary is furry. Gary is kind. Gary is quiet. Gary is rough. Gary is round. Gary is smart. Gary is young. Harry is furry. Harry is kind. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is young. If Harry is rough and Harry is not smart then Harry is round. All smart people are rough. Furry people are round.
Harry is rough.
@0: Gary is furry.[(triple1)] Gary is kind.[(triple2)] Gary is quiet.[(triple3)] Gary is rough.[(triple4 OR ((triple6) -> rule2))] Gary is round.[(triple5 OR ((triple1) -> rule3))] Gary is smart.[(triple6)] Gary is young.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] Harry is rough.[(triple11 OR ((triple13) -> rule2))] Harry is round.[(triple12 OR ((triple8) -> rule3))] Harry is smart.[(triple13)] Harry is young.[(triple14)]