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