Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is round. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is red. Harry is round. If Harry is green and Harry is kind then Harry is cold. If something is cold then it is red. If something is red then it is quiet.
Harry is round.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is quiet.[(triple5 OR ((triple6) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] Anne is red.[(triple6 OR ((triple2) -> rule2))] Anne is round.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple10 triple11) -> rule1))] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is quiet.[(triple12 OR ((triple13) -> rule3) OR ((((triple9) -> rule2)) -> rule3) OR ((((((triple10 triple11) -> rule1)) -> rule2)) -> rule3))] Harry is red.[(triple13 OR ((triple9) -> rule2) OR ((((triple10 triple11) -> rule1)) -> rule2))] Harry is round.[(triple14)]