Anne is blue. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is white. Dave is blue. Gary is nice. Gary is round. Harry is cold. Harry is kind. Harry is quiet. If someone is round then they are nice. All quiet, white people are cold. Cold people are round.
Gary is white.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple5 triple6) -> rule2))] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((((triple2) -> rule3)) -> rule1) OR ((((((triple5 triple6) -> rule2)) -> rule3)) -> rule1))] Anne is quiet.[(triple5)] Anne is white.[(triple6)] Dave is blue.[(triple7)] Gary is nice.[(triple8 OR ((triple9) -> rule1))] Gary is round.[(triple9)] Harry is cold.[(triple10)] Harry is kind.[(triple11)] Harry is quiet.[(triple12)] @1: Anne is round.[(((triple2) -> rule3) OR ((((triple5 triple6) -> rule2)) -> rule3))] Harry is round.[(((triple10) -> rule3))] @2: Harry is nice.[(((((triple10) -> rule3)) -> rule1))]