Anne is blue. Anne is furry. Anne is red. Anne is young. Erin is blue. Erin is furry. Erin is nice. Erin is red. Erin is round. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. If someone is nice then they are young. All furry people are red.
Anne is not blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3 OR ((triple2) -> rule2))] Anne is young.[(triple4)] Erin is blue.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is red.[(triple8 OR ((triple6) -> rule2))] Erin is round.[(triple9)] Fiona is blue.[(triple10)] Fiona is furry.[(triple11)] Fiona is nice.[(triple12)] Fiona is quiet.[(triple13)] Fiona is red.[(triple14 OR ((triple11) -> rule2))] Fiona is round.[(triple15)] @1: Erin is young.[(((triple7) -> rule1))] Fiona is young.[(((triple12) -> rule1))]