Anne is blue. Anne is cold. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is white. Harry is blue. Harry is cold. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is white. Rough, nice things are blue. Round things are blue. All white things are red. If something is nice then it is cold. If Harry is rough then Harry is round. If something is round and white then it is nice.
Anne is red.
@0: Anne is blue.[(triple1 OR ((triple6) -> rule2) OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple6 triple7) -> rule6)) -> rule1))] Anne is cold.[(triple2 OR ((triple3) -> rule4) OR ((((triple6 triple7) -> rule6)) -> rule4))] Anne is nice.[(triple3 OR ((triple6 triple7) -> rule6))] Anne is red.[(triple4 OR ((triple7) -> rule3))] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)] Harry is blue.[(triple8 OR ((triple13) -> rule2) OR ((triple12 triple10) -> rule1) OR ((((triple12) -> rule5)) -> rule2) OR ((triple12 ((triple13 triple14) -> rule6)) -> rule1) OR ((triple12 ((((triple12) -> rule5) triple14) -> rule6)) -> rule1))] Harry is cold.[(triple9 OR ((triple10) -> rule4) OR ((((triple13 triple14) -> rule6)) -> rule4) OR ((((((triple12) -> rule5) triple14) -> rule6)) -> rule4))] Harry is nice.[(triple10 OR ((triple13 triple14) -> rule6) OR ((((triple12) -> rule5) triple14) -> rule6))] Harry is red.[(triple11 OR ((triple14) -> rule3))] Harry is rough.[(triple12)] Harry is round.[(triple13 OR ((triple12) -> rule5))] Harry is white.[(triple14)]