Anne is not cold. Anne is green. Anne is kind. Anne is white. Erin is big. Erin is cold. Erin is green. Erin is rough. Erin is white. Fiona is big. Fiona is cold. Fiona is white. All round things are kind. If something is round then it is rough. All white things are rough. If something is round and not white then it is not green. If Anne is round and Anne is not kind then Anne is green. If something is rough and not kind then it is cold. If something is round and not kind then it is cold. If Fiona is cold then Fiona is green.
Anne is white.
@0: Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is not cold.[(triple1)] Anne is white.[(triple4)] Erin is big.[(triple5)] Erin is cold.[(triple6)] Erin is green.[(triple7)] Erin is rough.[(triple8 OR ((triple9) -> rule3))] Erin is white.[(triple9)] Fiona is big.[(triple10)] Fiona is cold.[(triple11)] Fiona is white.[(triple12)] @1: Anne is rough.[(((triple4) -> rule3))] Fiona is green.[(((triple11) -> rule8))] Fiona is rough.[(((triple12) -> rule3))]