Anne is nice. Anne is quiet. Anne is rough. Anne is smart. Charlie is rough. Erin is cold. Erin is red. Erin is rough. Erin is smart. Fiona is not cold. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. If something is white then it is nice. If Anne is quiet and Anne is smart then Anne is red. If Erin is not cold then Erin is not white. If Erin is red then Erin is white. Smart, nice things are white. If Anne is white and Anne is not red then Anne is not cold.
Anne is cold.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Charlie is rough.[(triple5)] Erin is cold.[(triple6)] Erin is red.[(triple7)] Erin is rough.[(triple8)] Erin is smart.[(triple9)] Fiona is nice.[(triple11 OR ((triple15) -> rule1))] Fiona is not cold.[(triple10)] Fiona is red.[(triple12)] Fiona is rough.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15 OR ((triple14 triple11) -> rule5))] @1: Anne is red.[(((triple2 triple4) -> rule2))] Anne is white.[(((triple4 triple1) -> rule5))] Erin is white.[(((triple7) -> rule4))] @2: Erin is nice.[(((((triple7) -> rule4)) -> rule1))]