Anne is furry. Anne is red. Anne is smart. Erin is big. Erin is furry. Erin is red. Erin is smart. Fiona is big. Fiona is furry. Fiona is nice. Fiona is red. Fiona is round. If someone is furry and not big then they are nice. If someone is nice and not round then they are white. Red people are furry. If Anne is not red then Anne is white. If someone is red and not nice then they are smart. If someone is furry then they are smart.
Erin is not white.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule3))] Anne is red.[(triple2)] Anne is smart.[(triple3 OR ((triple1) -> rule6) OR ((((triple2) -> rule3)) -> rule6))] Erin is big.[(triple4)] Erin is furry.[(triple5 OR ((triple6) -> rule3))] Erin is red.[(triple6)] Erin is smart.[(triple7 OR ((triple5) -> rule6) OR ((((triple6) -> rule3)) -> rule6))] Fiona is big.[(triple8)] Fiona is furry.[(triple9 OR ((triple11) -> rule3))] Fiona is nice.[(triple10)] Fiona is red.[(triple11)] Fiona is round.[(triple12)] @1: Fiona is smart.[(((triple9) -> rule6) OR ((((triple11) -> rule3)) -> rule6))]