Bob is blue. Bob is round. Bob is smart. Harry is blue. Harry is kind. Harry is rough. Harry is round. If something is rough and round then it is white. All blue things are rough. If something is kind and smart then it is rough. All round, blue things are smart. If something is white then it is round. If something is cold then it is smart.
Bob is not smart.
@0: Bob is blue.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3 OR ((triple2 triple1) -> rule4))] Harry is blue.[(triple4)] Harry is kind.[(triple5)] Harry is rough.[(triple6 OR ((triple4) -> rule2) OR ((triple5 ((triple7 triple4) -> rule4)) -> rule3))] Harry is round.[(triple7)] @1: Bob is rough.[(((triple1) -> rule2))] Harry is smart.[(((triple7 triple4) -> rule4))] Harry is white.[(((triple6 triple7) -> rule1) OR ((((triple4) -> rule2) triple7) -> rule1) OR ((((triple5 ((triple7 triple4) -> rule4)) -> rule3) triple7) -> rule1))] @2: Bob is white.[(((((triple1) -> rule2) triple2) -> rule1))]