Anne is round. Anne is smart. Anne is white. Anne is young. Bob is quiet. Charlie is round. Harry is red. If something is red then it is round. If something is young and smart then it is white. Young things are blue.
Bob is young.
@0: Anne is round.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3 OR ((triple4 triple2) -> rule2))] Anne is young.[(triple4)] Bob is quiet.[(triple5)] Charlie is round.[(triple6)] Harry is red.[(triple7)] @1: Anne is blue.[(((triple4) -> rule3))] Harry is round.[(((triple7) -> rule1))]