Anne is nice. Anne is round. Dave is blue. Dave is cold. Dave is green. Dave is quiet. Fiona is not green. If Anne is round and Anne is nice then Anne is rough. All rough, quiet things are green. If something is rough and round then it is quiet. All green things are cold. Green, quiet things are cold. If something is rough and not nice then it is blue.
Fiona is not cold.
@0: Anne is nice.[(triple1)] Anne is round.[(triple2)] Dave is blue.[(triple3)] Dave is cold.[(triple4 OR ((triple5) -> rule4) OR ((triple5 triple6) -> rule5))] Dave is green.[(triple5)] Dave is quiet.[(triple6)] Fiona is not green.[(triple7)] @1: Anne is rough.[(((triple2 triple1) -> rule1))] @2: Anne is quiet.[(((((triple2 triple1) -> rule1) triple2) -> rule3))] @3: Anne is green.[(((((triple2 triple1) -> rule1) ((((triple2 triple1) -> rule1) triple2) -> rule3)) -> rule2))] @4: Anne is cold.[(((((((triple2 triple1) -> rule1) ((((triple2 triple1) -> rule1) triple2) -> rule3)) -> rule2)) -> rule4) OR ((((((triple2 triple1) -> rule1) ((((triple2 triple1) -> rule1) triple2) -> rule3)) -> rule2) ((((triple2 triple1) -> rule1) triple2) -> rule3)) -> rule5))]