Anne is green. Anne is round. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is round. All quiet people are green. If Harry is young and Harry is kind then Harry is green. All quiet people are green.
Harry is round.
@0: Anne is green.[(triple1)] Anne is round.[(triple2)] Harry is green.[(triple3 OR ((triple6) -> rule1) OR ((triple6) -> rule3))] Harry is kind.[(triple4)] Harry is nice.[(triple5)] Harry is quiet.[(triple6)] Harry is round.[(triple7)]