Bob is nice. Bob is round. Charlie is quiet. Harry is kind. Harry is nice. Harry is quiet. Harry is round. If something is round and quiet then it is green. If something is green and nice then it is blue. All green, round things are blue. Green things are blue. Smart, blue things are not nice. If Bob is kind and Bob is smart then Bob is green. If Harry is kind and Harry is blue then Harry is not smart. If Bob is smart and Bob is blue then Bob is round.
Bob is not nice.
@0: Bob is nice.[(triple1)] Bob is round.[(triple2)] Charlie is quiet.[(triple3)] Harry is kind.[(triple4)] Harry is nice.[(triple5)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Harry is green.[(((triple7 triple6) -> rule1))] @2: Harry is blue.[(((((triple7 triple6) -> rule1)) -> rule4) OR ((((triple7 triple6) -> rule1) triple5) -> rule2) OR ((((triple7 triple6) -> rule1) triple7) -> rule3))] @3: Harry is not smart.[(((triple4 ((((triple7 triple6) -> rule1)) -> rule4)) -> rule7) OR ((triple4 ((((triple7 triple6) -> rule1) triple5) -> rule2)) -> rule7) OR ((triple4 ((((triple7 triple6) -> rule1) triple7) -> rule3)) -> rule7))]