Anne is blue. Anne is furry. Anne is red. Anne is white. Charlie is blue. Charlie is furry. Charlie is smart. Dave is not blue. Dave is red. Erin is blue. Erin is red. Erin is smart. If someone is smart and green then they are white. If someone is white and smart then they are not quiet. Red, quiet people are blue. All furry people are not green. If someone is quiet then they are red. Quiet people are furry. If someone is blue then they are smart. If Erin is red and Erin is green then Erin is blue.
Erin is quiet.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4)] Charlie is blue.[(triple5)] Charlie is furry.[(triple6)] Charlie is smart.[(triple7 OR ((triple5) -> rule7))] Dave is not blue.[(triple8)] Dave is red.[(triple9)] Erin is blue.[(triple10)] Erin is red.[(triple11)] Erin is smart.[(triple12 OR ((triple10) -> rule7))] @1: Anne is not green.[(((triple2) -> rule4))] Anne is smart.[(((triple1) -> rule7))] Charlie is not green.[(((triple6) -> rule4))] @2: Anne is not quiet.[(((triple4 ((triple1) -> rule7)) -> rule2))]