Charlie is big. Charlie is blue. Charlie is not green. Charlie is quiet. Charlie is white. Dave is big. Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is round. Dave is white. Harry is big. Harry is green. Harry is not nice. Harry is quiet. If someone is big and not blue then they are green. Blue people are round. If someone is nice and not quiet then they are round.
Charlie is nice.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is not green.[(triple3)] Charlie is quiet.[(triple4)] Charlie is white.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9)] Dave is quiet.[(triple10)] Dave is round.[(triple11 OR ((triple7) -> rule2))] Dave is white.[(triple12)] Harry is big.[(triple13)] Harry is green.[(triple14)] Harry is not nice.[(triple15)] Harry is quiet.[(triple16)] @1: Charlie is round.[(((triple2) -> rule2))]