Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is rough. Anne is white. Charlie is quiet. Charlie is white. Dave is cold. Dave is quiet. Dave is red. Dave is rough. Dave is white. Erin is cold. Erin is green. Erin is quiet. If Dave is quiet then Dave is rough. If something is cold and white then it is furry.
Erin is rough.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple1 triple6) -> rule2))] Anne is green.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Charlie is quiet.[(triple7)] Charlie is white.[(triple8)] Dave is cold.[(triple9)] Dave is quiet.[(triple10)] Dave is red.[(triple11)] Dave is rough.[(triple12 OR ((triple10) -> rule1))] Dave is white.[(triple13)] Erin is cold.[(triple14)] Erin is green.[(triple15)] Erin is quiet.[(triple16)] @1: Dave is furry.[(((triple9 triple13) -> rule2))]