Bob is blue. Bob is furry. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is young. Harry is blue. Harry is furry. Harry is red. Harry is rough. Harry is round. Harry is smart. Harry is young. If Harry is rough and Harry is smart then Harry is round.
Bob is not furry.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Bob is young.[(triple7)] Harry is blue.[(triple8)] Harry is furry.[(triple9)] Harry is red.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12 OR ((triple11 triple13) -> rule1))] Harry is smart.[(triple13)] Harry is young.[(triple14)]