Anne is kind. Anne is quiet. Dave is furry. Dave is kind. Dave is quiet. Dave is rough. Dave is smart. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Erin is white. Gary is furry. Gary is kind. Gary is white. If something is furry then it is white.
Anne is not white.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Dave is furry.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)] Erin is kind.[(triple8)] Erin is quiet.[(triple9)] Erin is rough.[(triple10)] Erin is round.[(triple11)] Erin is smart.[(triple12)] Erin is white.[(triple13)] Gary is furry.[(triple14)] Gary is kind.[(triple15)] Gary is white.[(triple16 OR ((triple14) -> rule1))] @1: Dave is white.[(((triple3) -> rule1))]