Bob is blue. Bob is nice. Bob is smart. Harry is green. Harry is nice. Harry is quiet. Harry is smart. Quiet, nice things are blue. White things are nice. If Bob is white and Bob is smart then Bob is nice. If Harry is quiet and Harry is nice then Harry is white. If something is white then it is nice. Quiet, blue things are green. If something is cold and green then it is smart. If Harry is green then Harry is blue.
Bob is blue.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is smart.[(triple3)] Harry is green.[(triple4 OR ((triple6 ((triple6 triple5) -> rule1)) -> rule6))] Harry is nice.[(triple5)] Harry is quiet.[(triple6)] Harry is smart.[(triple7)] @1: Harry is blue.[(((triple4) -> rule8) OR ((triple6 triple5) -> rule1))] Harry is white.[(((triple6 triple5) -> rule4))]