Dave is quiet. Dave is round. Dave is white. Dave is young. Erin is green. Erin is kind. Erin is quiet. Erin is round. Erin is white. Erin is young. If something is green and white then it is young. White, nice things are quiet. All green things are quiet. Young things are white. If something is nice then it is white. If something is nice then it is round.
Dave is kind.
@0: Dave is quiet.[(triple1)] Dave is round.[(triple2)] Dave is white.[(triple3 OR ((triple4) -> rule4))] Dave is young.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6)] Erin is quiet.[(triple7 OR ((triple5) -> rule3))] Erin is round.[(triple8)] Erin is white.[(triple9 OR ((triple10) -> rule4))] Erin is young.[(triple10 OR ((triple5 triple9) -> rule1))]