Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is white. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is white. Erin is furry. Erin is white. Gary is kind. Gary is nice. Gary is red. If something is green then it is nice. Kind things are red.
Erin is green.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is red.[(triple4)] Anne is white.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9 OR ((triple7) -> rule1))] Dave is red.[(triple10 OR ((triple8) -> rule2))] Dave is white.[(triple11)] Erin is furry.[(triple12)] Erin is white.[(triple13)] Gary is kind.[(triple14)] Gary is nice.[(triple15)] Gary is red.[(triple16 OR ((triple14) -> rule2))] @1: Anne is nice.[(((triple3) -> rule1))]