Anne is furry. Anne is kind. Anne is rough. Anne is white. Dave is big. Dave is furry. Dave is rough. Dave is smart. Dave is white. Erin is big. Erin is cold. Erin is furry. Erin is kind. Erin is rough. Erin is smart. Furry things are cold. If Erin is white and Erin is smart then Erin is cold. If something is kind then it is white.
Dave is kind.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Anne is white.[(triple4 OR ((triple2) -> rule3))] Dave is big.[(triple5)] Dave is furry.[(triple6)] Dave is rough.[(triple7)] Dave is smart.[(triple8)] Dave is white.[(triple9)] Erin is big.[(triple10)] Erin is cold.[(triple11 OR ((triple12) -> rule1) OR ((((triple13) -> rule3) triple15) -> rule2))] Erin is furry.[(triple12)] Erin is kind.[(triple13)] Erin is rough.[(triple14)] Erin is smart.[(triple15)] @1: Anne is cold.[(((triple1) -> rule1))] Dave is cold.[(((triple6) -> rule1))] Erin is white.[(((triple13) -> rule3))]