Anne is cold. Anne is furry. Anne is green. Anne is kind. Charlie is green. Charlie is rough. Charlie is not round. Dave is cold. Dave is green. Dave is kind. Dave is rough. Erin is cold. Erin is not furry. Erin is green. Erin is kind. Erin is round. If someone is furry and not cold then they are not kind. If Charlie is rough then Charlie is kind. If someone is young then they are not round. If someone is cold and not young then they are round. If someone is green and not young then they are round. All cold, green people are rough. If someone is cold then they are green. All young, cold people are green.
Dave is not cold.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple1) -> rule7))] Anne is kind.[(triple4)] Charlie is green.[(triple5)] Charlie is not round.[(triple7)] Charlie is rough.[(triple6)] Dave is cold.[(triple8)] Dave is green.[(triple9 OR ((triple8) -> rule7))] Dave is kind.[(triple10)] Dave is rough.[(triple11 OR ((triple8 triple9) -> rule6) OR ((triple8 ((triple8) -> rule7)) -> rule6))] Erin is cold.[(triple12)] Erin is green.[(triple14 OR ((triple12) -> rule7))] Erin is kind.[(triple15)] Erin is not furry.[(triple13)] Erin is round.[(triple16)] @1: Anne is rough.[(((triple1 triple3) -> rule6) OR ((triple1 ((triple1) -> rule7)) -> rule6))] Charlie is kind.[(((triple6) -> rule2))] Erin is rough.[(((triple12 triple14) -> rule6) OR ((triple12 ((triple12) -> rule7)) -> rule6))]