Dave is big. Dave is blue. Dave is nice. Dave is not quiet. Dave is rough. Dave is round. Dave is smart. All big, nice things are not quiet. Quiet things are round. If something is round and not rough then it is blue. If Dave is nice then Dave is blue. If Dave is big and Dave is not nice then Dave is not blue. All quiet, round things are big. If Dave is nice then Dave is big. If something is nice and not big then it is smart.
Dave is not round.
@0: Dave is big.[(triple1 OR ((triple3) -> rule7))] Dave is blue.[(triple2 OR ((triple3) -> rule4))] Dave is nice.[(triple3)] Dave is not quiet.[(triple4 OR ((triple1 triple3) -> rule1) OR ((((triple3) -> rule7) triple3) -> rule1))] Dave is rough.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7)]