Anne is furry. Anne is quiet. Anne is red. Anne is white. Charlie is nice. Charlie is young. Erin is furry. Erin is quiet. Erin is young. Fiona is furry. Fiona is nice. Fiona is red. Red things are quiet. If Anne is blue then Anne is red. If something is nice then it is blue.
Fiona is white.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2 OR ((triple3) -> rule1))] Anne is red.[(triple3)] Anne is white.[(triple4)] Charlie is nice.[(triple5)] Charlie is young.[(triple6)] Erin is furry.[(triple7)] Erin is quiet.[(triple8)] Erin is young.[(triple9)] Fiona is furry.[(triple10)] Fiona is nice.[(triple11)] Fiona is red.[(triple12)] @1: Charlie is blue.[(((triple5) -> rule3))] Fiona is blue.[(((triple11) -> rule3))] Fiona is quiet.[(((triple12) -> rule1))]