Anne is blue. Anne is quiet. Anne is white. Harry is blue. Harry is cold. Harry is green. Harry is quiet. Harry is round. Harry is smart. Harry is white. If something is blue and quiet then it is white.
Harry is blue.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3 OR ((triple1 triple2) -> rule1))] Harry is blue.[(triple4)] Harry is cold.[(triple5)] Harry is green.[(triple6)] Harry is quiet.[(triple7)] Harry is round.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10 OR ((triple4 triple7) -> rule1))]