Dave is big. Dave is kind. Dave is nice. Dave is quiet. Dave is white. Erin is kind. Erin is nice. Erin is rough. Erin is white. Erin is young. Nice things are white. All quiet, young things are kind. All big, nice things are quiet. Young, quiet things are rough. All nice, young things are kind. White things are young.
Dave is not kind.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2 OR ((triple3 ((triple5) -> rule6)) -> rule5) OR ((triple4 ((triple5) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule3) ((triple5) -> rule6)) -> rule2) OR ((triple3 ((((triple3) -> rule1)) -> rule6)) -> rule5) OR ((triple4 ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((triple1 triple3) -> rule3) ((((triple3) -> rule1)) -> rule6)) -> rule2))] Dave is nice.[(triple3)] Dave is quiet.[(triple4 OR ((triple1 triple3) -> rule3))] Dave is white.[(triple5 OR ((triple3) -> rule1))] Erin is kind.[(triple6 OR ((triple7 triple10) -> rule5) OR ((triple7 ((triple9) -> rule6)) -> rule5) OR ((triple7 ((((triple7) -> rule1)) -> rule6)) -> rule5))] Erin is nice.[(triple7)] Erin is rough.[(triple8)] Erin is white.[(triple9 OR ((triple7) -> rule1))] Erin is young.[(triple10 OR ((triple9) -> rule6) OR ((((triple7) -> rule1)) -> rule6))] @1: Dave is young.[(((triple5) -> rule6) OR ((((triple3) -> rule1)) -> rule6))] @2: Dave is rough.[(((((triple5) -> rule6) triple4) -> rule4) OR ((((triple5) -> rule6) ((triple1 triple3) -> rule3)) -> rule4) OR ((((((triple3) -> rule1)) -> rule6) triple4) -> rule4) OR ((((((triple3) -> rule1)) -> rule6) ((triple1 triple3) -> rule3)) -> rule4))]