Dave is not furry. Dave is kind. Dave is nice. Dave is round. Dave is young. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is round. Erin is white. Erin is young. Round things are green. All young things are green. All kind, green things are white.
Erin is not furry.
@0: Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is not furry.[(triple1)] Dave is round.[(triple4)] Dave is young.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7 OR ((triple10) -> rule1) OR ((triple12) -> rule2))] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is round.[(triple10)] Erin is white.[(triple11 OR ((triple8 triple7) -> rule3) OR ((triple8 ((triple10) -> rule1)) -> rule3) OR ((triple8 ((triple12) -> rule2)) -> rule3))] Erin is young.[(triple12)] @1: Dave is green.[(((triple4) -> rule1) OR ((triple5) -> rule2))] @2: Dave is white.[(((triple2 ((triple4) -> rule1)) -> rule3) OR ((triple2 ((triple5) -> rule2)) -> rule3))]