Anne is furry. Anne is smart. Dave is blue. Dave is furry. Dave is smart. Erin is furry. Erin is nice. Erin is rough. Erin is smart. Erin is white. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is rough. All quiet, rough things are white. If something is smart and not white then it is not blue.
Dave is not white.
@0: Anne is furry.[(triple1)] Anne is smart.[(triple2)] Dave is blue.[(triple3)] Dave is furry.[(triple4)] Dave is smart.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is rough.[(triple8)] Erin is smart.[(triple9)] Erin is white.[(triple10)] Fiona is blue.[(triple11)] Fiona is furry.[(triple12)] Fiona is nice.[(triple13)] Fiona is quiet.[(triple14)] Fiona is rough.[(triple15)] @1: Fiona is white.[(((triple14 triple15) -> rule1))]