Charlie is big. Charlie is green. Charlie is not quiet. Charlie is red. Charlie is round. Charlie is not smart. Charlie is young. Dave is big. Dave is green. Dave is quiet. Dave is red. Dave is round. Dave is smart. Dave is young. If someone is quiet and green then they are round. If Dave is big then Dave is young. If someone is round and not quiet then they are red.
Dave is not smart.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is not quiet.[(triple3)] Charlie is not smart.[(triple6)] Charlie is red.[(triple4 OR ((triple5 triple3) -> rule3))] Charlie is round.[(triple5)] Charlie is young.[(triple7)] Dave is big.[(triple8)] Dave is green.[(triple9)] Dave is quiet.[(triple10)] Dave is red.[(triple11)] Dave is round.[(triple12 OR ((triple10 triple9) -> rule1))] Dave is smart.[(triple13)] Dave is young.[(triple14 OR ((triple8) -> rule2))]