Bob is round. Bob is smart. Bob is white. Charlie is kind. Charlie is red. Harry is kind. Harry is nice. Harry is red. Harry is not rough. Harry is round. Harry is smart. Harry is white. If Bob is smart then Bob is rough. If Harry is smart and Harry is red then Harry is kind. If Charlie is round and Charlie is not nice then Charlie is not kind.
Charlie is smart.
@0: Bob is round.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Charlie is kind.[(triple4)] Charlie is red.[(triple5)] Harry is kind.[(triple6 OR ((triple11 triple8) -> rule2))] Harry is nice.[(triple7)] Harry is not rough.[(triple9)] Harry is red.[(triple8)] Harry is round.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Bob is rough.[(((triple2) -> rule1))]