Anne is cold. Anne is furry. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is young. Erin is cold. Erin is furry. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is young. Red people are cold. If Anne is nice then Anne is cold.
Erin is not nice.
@0: Anne is cold.[(triple1 OR ((triple3) -> rule2) OR ((triple4) -> rule1))] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7)] Erin is cold.[(triple8 OR ((triple11) -> rule1))] Erin is furry.[(triple9)] Erin is nice.[(triple10)] Erin is red.[(triple11)] Erin is rough.[(triple12)] Erin is round.[(triple13)] Erin is young.[(triple14)]