Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is rough. Anne is white. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is red. Erin is rough. Erin is white. Green, furry people are blue.
Erin is green.
@0: Anne is blue.[(triple1 OR ((triple4 triple3) -> rule1))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is red.[(triple5)] Anne is rough.[(triple6)] Anne is white.[(triple7)] Erin is blue.[(triple8 OR ((triple11 triple10) -> rule1))] Erin is cold.[(triple9)] Erin is furry.[(triple10)] Erin is green.[(triple11)] Erin is red.[(triple12)] Erin is rough.[(triple13)] Erin is white.[(triple14)]