Dave is kind. Dave is rough. Dave is white. Dave is young. Erin is kind. Erin is not quiet. Erin is rough. Erin is round. Erin is white. Erin is not young. If something is kind then it is round. Quiet, kind things are not rough. All furry, young things are rough. If something is rough and quiet then it is not white. All kind, round things are white. If something is young then it is kind.
Dave is furry.
@0: Dave is kind.[(triple1 OR ((triple4) -> rule6))] Dave is rough.[(triple2)] Dave is white.[(triple3 OR ((triple1 ((triple1) -> rule1)) -> rule5) OR ((((triple4) -> rule6) ((triple1) -> rule1)) -> rule5) OR ((triple1 ((((triple4) -> rule6)) -> rule1)) -> rule5) OR ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule1)) -> rule5))] Dave is young.[(triple4)] Erin is kind.[(triple5)] Erin is not quiet.[(triple6)] Erin is not young.[(triple10)] Erin is rough.[(triple7)] Erin is round.[(triple8 OR ((triple5) -> rule1))] Erin is white.[(triple9 OR ((triple5 triple8) -> rule5) OR ((triple5 ((triple5) -> rule1)) -> rule5))] @1: Dave is round.[(((triple1) -> rule1) OR ((((triple4) -> rule6)) -> rule1))]