Anne is white. Charlie is round. Charlie is white. Erin is cold. Erin is kind. Erin is red. Erin is rough. Erin is round. Erin is white. Fiona is not red. If Erin is not red then Erin is white. All white things are rough. If Fiona is cold and Fiona is blue then Fiona is rough. If something is red and white then it is not blue. If Charlie is cold then Charlie is not kind. All white things are cold. If something is round and not rough then it is kind. If something is round and not blue then it is kind.
Fiona is kind.
@0: Anne is white.[(triple1)] Charlie is round.[(triple2)] Charlie is white.[(triple3)] Erin is cold.[(triple4 OR ((triple9) -> rule6))] Erin is kind.[(triple5 OR ((triple8 ((triple6 triple9) -> rule4)) -> rule8))] Erin is red.[(triple6)] Erin is rough.[(triple7 OR ((triple9) -> rule2))] Erin is round.[(triple8)] Erin is white.[(triple9)] Fiona is not red.[(triple10)] @1: Anne is cold.[(((triple1) -> rule6))] Anne is rough.[(((triple1) -> rule2))] Charlie is cold.[(((triple3) -> rule6))] Charlie is rough.[(((triple3) -> rule2))] Erin is not blue.[(((triple6 triple9) -> rule4))] @2: Charlie is not kind.[(((((triple3) -> rule6)) -> rule5))]