Bob is big. Bob is kind. Bob is nice. Bob is rough. Charlie is big. Charlie is not furry. Charlie is nice. Charlie is rough. Charlie is round. Gary is round. Gary is smart. Harry is round. All round people are rough. Rough people are smart. If Harry is rough and Harry is smart then Harry is kind.
Bob is not furry.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Charlie is big.[(triple5)] Charlie is nice.[(triple7)] Charlie is not furry.[(triple6)] Charlie is rough.[(triple8 OR ((triple9) -> rule1))] Charlie is round.[(triple9)] Gary is round.[(triple10)] Gary is smart.[(triple11 OR ((((triple10) -> rule1)) -> rule2))] Harry is round.[(triple12)] @1: Bob is smart.[(((triple4) -> rule2))] Charlie is smart.[(((triple8) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] Gary is rough.[(((triple10) -> rule1))] Harry is rough.[(((triple12) -> rule1))] @2: Harry is smart.[(((((triple12) -> rule1)) -> rule2))] @3: Harry is kind.[(((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule2)) -> rule3))]