Charlie is big. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Dave is big. Dave is blue. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is round. If something is blue then it is round.
Dave is not quiet.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Charlie is round.[(triple7 OR ((triple2) -> rule1))] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is kind.[(triple10)] Dave is quiet.[(triple11)] Dave is red.[(triple12)] Dave is rough.[(triple13)] Dave is round.[(triple14 OR ((triple9) -> rule1))]