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