Anne is not blue. Anne is cold. Anne is not round. Anne is young. Dave is big. Erin is big. Erin is kind. Erin is round. Gary is big. Gary is not kind. Gary is round. Gary is not white. All kind, young people are cold. If someone is blue then they are big. If Gary is kind and Gary is big then Gary is blue. All big, cold people are blue. If Gary is not round then Gary is not young. Big people are young. If someone is blue and not cold then they are not white. If someone is young then they are not white.
Dave is not kind.
@0: Anne is cold.[(triple2)] Anne is not blue.[(triple1)] Anne is not round.[(triple3)] Anne is young.[(triple4)] Dave is big.[(triple5)] Erin is big.[(triple6)] Erin is kind.[(triple7)] Erin is round.[(triple8)] Gary is big.[(triple9)] Gary is not kind.[(triple10)] Gary is not white.[(triple12 OR ((((triple9) -> rule6)) -> rule8))] Gary is round.[(triple11)] @1: Anne is not white.[(((triple4) -> rule8))] Dave is young.[(((triple5) -> rule6))] Erin is young.[(((triple6) -> rule6))] Gary is young.[(((triple9) -> rule6))] @2: Dave is not white.[(((((triple5) -> rule6)) -> rule8))] Erin is cold.[(((triple7 ((triple6) -> rule6)) -> rule1))] Erin is not white.[(((((triple6) -> rule6)) -> rule8))] @3: Erin is blue.[(((triple6 ((triple7 ((triple6) -> rule6)) -> rule1)) -> rule4))]