Anne is red. Anne is rough. Charlie is cold. Charlie is red. Charlie is white. Fiona is nice. Harry is not blue. Harry is cold. Harry is nice. Harry is red. Nice, round people are not cold. If someone is nice then they are red. All rough, round people are red. If someone is rough then they are blue. All white people are nice. All rough, blue people are nice. Blue, round people are not white. If someone is rough then they are not round.
Charlie is not red.
@0: Anne is red.[(triple1 OR ((((triple2 ((triple2) -> rule4)) -> rule6)) -> rule2))] Anne is rough.[(triple2)] Charlie is cold.[(triple3)] Charlie is red.[(triple4 OR ((((triple5) -> rule5)) -> rule2))] Charlie is white.[(triple5)] Fiona is nice.[(triple6)] Harry is cold.[(triple8)] Harry is nice.[(triple9)] Harry is not blue.[(triple7)] Harry is red.[(triple10 OR ((triple9) -> rule2))] @1: Anne is blue.[(((triple2) -> rule4))] Anne is not round.[(((triple2) -> rule8))] Charlie is nice.[(((triple5) -> rule5))] Fiona is red.[(((triple6) -> rule2))] @2: Anne is nice.[(((triple2 ((triple2) -> rule4)) -> rule6))]