Erin is not kind. Erin is nice. Erin is round. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is not round. Smart people are furry. All round people are white.
Fiona is furry.
@0: Erin is nice.[(triple2)] Erin is not kind.[(triple1)] Erin is round.[(triple3)] Fiona is furry.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is not round.[(triple7)] @1: Erin is white.[(((triple3) -> rule2))]