Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is young. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is red. All red things are furry. If something is blue and red then it is green. Red things are blue.
Anne is not blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is quiet.[(triple4)] Anne is young.[(triple5)] Fiona is blue.[(triple6 OR ((triple10) -> rule3))] Fiona is cold.[(triple7)] Fiona is furry.[(triple8 OR ((triple10) -> rule1))] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] @1: Fiona is green.[(((triple6 triple10) -> rule2) OR ((((triple10) -> rule3) triple10) -> rule2))]