Bob is furry. Bob is not quiet. Dave is furry. Dave is quiet. Dave is rough. Erin is not quiet. Erin is rough. Erin is not round. Erin is white. Fiona is nice. Fiona is quiet. Fiona is rough. Green things are not nice. White things are nice. If Erin is quiet then Erin is not white. Quiet things are round. If something is green then it is furry. If something is nice and rough then it is furry.
Dave is quiet.
@0: Bob is furry.[(triple1)] Bob is not quiet.[(triple2)] Dave is furry.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Erin is not quiet.[(triple6)] Erin is not round.[(triple8)] Erin is rough.[(triple7)] Erin is white.[(triple9)] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12)] @1: Dave is round.[(((triple4) -> rule4))] Erin is nice.[(((triple9) -> rule2))] Fiona is furry.[(((triple10 triple12) -> rule6))] Fiona is round.[(((triple11) -> rule4))] @2: Erin is furry.[(((((triple9) -> rule2) triple7) -> rule6))]