Anne is furry. Anne is green. Anne is rough. Anne is smart. Bob is cold. Bob is furry. Bob is green. Bob is not nice. Bob is red. Erin is not cold. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is rough. Erin is smart. If someone is green then they are red. All cold, furry people are rough. If Anne is green and Anne is not red then Anne is not furry.
Bob is furry.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Bob is cold.[(triple5)] Bob is furry.[(triple6)] Bob is green.[(triple7)] Bob is not nice.[(triple8)] Bob is red.[(triple9 OR ((triple7) -> rule1))] Erin is furry.[(triple11)] Erin is green.[(triple12)] Erin is nice.[(triple13)] Erin is not cold.[(triple10)] Erin is red.[(triple14 OR ((triple12) -> rule1))] Erin is rough.[(triple15)] Erin is smart.[(triple16)] @1: Anne is red.[(((triple2) -> rule1))] Bob is rough.[(((triple5 triple6) -> rule2))]