Dave is big. Dave is furry. Dave is kind. Dave is nice. Erin is big. Erin is blue. Erin is furry. Nice people are blue. All white, kind people are big. Big people are white. White people are blue. All kind, white people are young. Furry, white people are kind.
Erin is not kind.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple2 ((triple1) -> rule3)) -> rule6))] Dave is nice.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6 OR ((((triple5) -> rule3)) -> rule4))] Erin is furry.[(triple7)] @1: Dave is blue.[(((triple4) -> rule1) OR ((((triple1) -> rule3)) -> rule4))] Dave is white.[(((triple1) -> rule3))] Erin is white.[(((triple5) -> rule3))] @2: Dave is young.[(((triple3 ((triple1) -> rule3)) -> rule5) OR ((((triple2 ((triple1) -> rule3)) -> rule6) ((triple1) -> rule3)) -> rule5))] Erin is kind.[(((triple7 ((triple5) -> rule3)) -> rule6))] @3: Erin is young.[(((((triple7 ((triple5) -> rule3)) -> rule6) ((triple5) -> rule3)) -> rule5))]