Anne is blue. Anne is furry. Anne is green. Anne is nice. Anne is quiet. Anne is red. Anne is young. Fiona is blue. Fiona is furry. Fiona is green. Fiona is red. Fiona is young. Red things are furry. All quiet things are furry. Furry things are blue.
Fiona is not blue.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule3) OR ((((triple5) -> rule2)) -> rule3) OR ((((triple6) -> rule1)) -> rule3))] Anne is furry.[(triple2 OR ((triple5) -> rule2) OR ((triple6) -> rule1))] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is red.[(triple6)] Anne is young.[(triple7)] Fiona is blue.[(triple8 OR ((triple9) -> rule3) OR ((((triple11) -> rule1)) -> rule3))] Fiona is furry.[(triple9 OR ((triple11) -> rule1))] Fiona is green.[(triple10)] Fiona is red.[(triple11)] Fiona is young.[(triple12)]