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