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