Anne is not big. Anne is blue. Anne is furry. Anne is green. Anne is nice. Bob is nice. Bob is quiet. Erin is not big. Erin is furry. Erin is green. All quiet people are blue. If someone is big and not red then they are blue. Blue, furry people are quiet. All red, blue people are big. All big people are not nice. If Bob is green then Bob is furry.
Erin is not blue.
@0: Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is nice.[(triple5)] Anne is not big.[(triple1)] Bob is nice.[(triple6)] Bob is quiet.[(triple7)] Erin is furry.[(triple9)] Erin is green.[(triple10)] Erin is not big.[(triple8)] @1: Anne is quiet.[(((triple2 triple3) -> rule3))] Bob is blue.[(((triple7) -> rule1))]