Anne is not cold. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is not white. Dave is quiet. Erin is cold. Erin is green. Erin is quiet. Erin is not red. Erin is white. Red, quiet things are green. If Dave is not quiet and Dave is not red then Dave is not white. If Bob is white then Bob is rough. If something is red then it is rough. If Erin is quiet and Erin is not red then Erin is furry. If something is quiet and not rough then it is not cold. If something is red and not white then it is not furry. If something is cold then it is furry.
Erin is not red.
@0: Anne is not cold.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple2) -> rule8))] Bob is green.[(triple4)] Bob is not white.[(triple6)] Bob is quiet.[(triple5)] Dave is quiet.[(triple7)] Erin is cold.[(triple8)] Erin is green.[(triple9)] Erin is not red.[(triple11)] Erin is quiet.[(triple10)] Erin is white.[(triple12)] @1: Erin is furry.[(((triple8) -> rule8) OR ((triple10 triple11) -> rule5))]