Anne is smart. Dave is red. Erin is furry. Fiona is green. If Anne is round then Anne is not red. If someone is green then they are not smart. All round, white people are furry. If someone is green then they are round. If someone is round then they are white. If someone is smart and not furry then they are nice.
Fiona is furry.
@0: Anne is smart.[(triple1)] Dave is red.[(triple2)] Erin is furry.[(triple3)] Fiona is green.[(triple4)] @1: Fiona is not smart.[(((triple4) -> rule2))] Fiona is round.[(((triple4) -> rule4))] @2: Fiona is white.[(((((triple4) -> rule4)) -> rule5))] @3: Fiona is furry.[(((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule5)) -> rule3))]