Anne is cold. Anne is furry. Anne is nice. Anne is rough. Anne is white. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is rough. Erin is white. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is white. Rough, white things are nice. If Fiona is furry then Fiona is rough. If something is kind then it is furry.
Fiona is rough.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3 OR ((triple4 triple5) -> rule1))] Anne is rough.[(triple4)] Anne is white.[(triple5)] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is furry.[(triple8 OR ((triple9) -> rule3))] Erin is kind.[(triple9)] Erin is nice.[(triple10 OR ((triple11 triple12) -> rule1))] Erin is rough.[(triple11)] Erin is white.[(triple12)] Fiona is blue.[(triple13)] Fiona is cold.[(triple14)] Fiona is kind.[(triple15)] Fiona is white.[(triple16)] @1: Fiona is furry.[(((triple15) -> rule3))] @2: Fiona is rough.[(((((triple15) -> rule3)) -> rule2))] @3: Fiona is nice.[(((((((triple15) -> rule3)) -> rule2) triple16) -> rule1))]