Charlie is not big. Charlie is quiet. Charlie is red. Charlie is rough. Dave is big. Dave is blue. Dave is nice. Dave is not rough. Erin is nice. Erin is quiet. Erin is red. Erin is not rough. Fiona is big. Fiona is furry. Fiona is not quiet. Fiona is red. If something is big and quiet then it is not red. All furry, red things are not nice. All big, nice things are not rough.
Dave is quiet.
@0: Charlie is not big.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Charlie is rough.[(triple4)] Dave is big.[(triple5)] Dave is blue.[(triple6)] Dave is nice.[(triple7)] Dave is not rough.[(triple8 OR ((triple5 triple7) -> rule3))] Erin is nice.[(triple9)] Erin is not rough.[(triple12)] Erin is quiet.[(triple10)] Erin is red.[(triple11)] Fiona is big.[(triple13)] Fiona is furry.[(triple14)] Fiona is not quiet.[(triple15)] Fiona is red.[(triple16)] @1: Fiona is not nice.[(((triple14 triple16) -> rule2))]