Bob is rough. Dave is nice. Dave is quiet. Dave is not rough. Dave is round. Dave is white. Erin is furry. Young people are furry. Round people are young. If someone is nice and not rough then they are white.
Bob is not rough.
@0: Bob is rough.[(triple1)] Dave is nice.[(triple2)] Dave is not rough.[(triple4)] Dave is quiet.[(triple3)] Dave is round.[(triple5)] Dave is white.[(triple6 OR ((triple2 triple4) -> rule3))] Erin is furry.[(triple7)] @1: Dave is young.[(((triple5) -> rule2))] @2: Dave is furry.[(((((triple5) -> rule2)) -> rule1))]