Dave is big. Dave is blue. Dave is furry. Dave is quiet. Dave is rough. Dave is round. Dave is white. If Dave is blue then Dave is furry. If someone is blue then they are quiet. All furry people are blue.
Dave is not round.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple3) -> rule3))] Dave is furry.[(triple3 OR ((triple2) -> rule1))] Dave is quiet.[(triple4 OR ((triple2) -> rule2) OR ((((triple3) -> rule3)) -> rule2))] Dave is rough.[(triple5)] Dave is round.[(triple6)] Dave is white.[(triple7)]