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