Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is rough. Anne is white. Erin is cold. Erin is furry. Erin is kind. Erin is red. Erin is rough. Erin is white. All rough things are furry. All red things are not quiet. If Anne is quiet and Anne is not rough then Anne is cold.
Anne is not cold.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple5) -> rule1))] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Erin is cold.[(triple7)] Erin is furry.[(triple8 OR ((triple11) -> rule1))] Erin is kind.[(triple9)] Erin is red.[(triple10)] Erin is rough.[(triple11)] Erin is white.[(triple12)] @1: Erin is not quiet.[(((triple10) -> rule2))]