Anne is not blue. Anne is green. Anne is white. Dave is not green. Dave is quiet. Dave is white. Erin is not green. Erin is nice. Erin is quiet. Erin is white. Gary is blue. If someone is white and blue then they are green. If Dave is young then Dave is blue. Blue people are smart. If someone is smart then they are quiet. If Gary is green and Gary is white then Gary is young. If Gary is quiet then Gary is white. If Gary is nice and Gary is green then Gary is smart.
Anne is not quiet.
@0: Anne is green.[(triple2)] Anne is not blue.[(triple1)] Anne is white.[(triple3)] Dave is not green.[(triple4)] Dave is quiet.[(triple5)] Dave is white.[(triple6)] Erin is nice.[(triple8)] Erin is not green.[(triple7)] Erin is quiet.[(triple9)] Erin is white.[(triple10)] Gary is blue.[(triple11)] @1: Gary is smart.[(((triple11) -> rule3))] @2: Gary is quiet.[(((((triple11) -> rule3)) -> rule4))] @3: Gary is white.[(((((((triple11) -> rule3)) -> rule4)) -> rule6))] @4: Gary is green.[(((((((((triple11) -> rule3)) -> rule4)) -> rule6) triple11) -> rule1))] @5: Gary is young.[(((((((((((triple11) -> rule3)) -> rule4)) -> rule6) triple11) -> rule1) ((((((triple11) -> rule3)) -> rule4)) -> rule6)) -> rule5))]