Charlie is big. Charlie is not rough. Dave is big. Dave is furry. Dave is nice. Dave is rough. Erin is not furry. Erin is not nice. Harry is furry. Harry is not quiet. If Charlie is nice and Charlie is cold then Charlie is big. All red, cold things are not nice. If something is red then it is nice. If Erin is big and Erin is not cold then Erin is rough. If something is furry and not nice then it is big. All rough, nice things are not quiet. If something is big and not nice then it is quiet. Red things are quiet.
Erin is not big.
@0: Charlie is big.[(triple1)] Charlie is not rough.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4)] Dave is nice.[(triple5)] Dave is rough.[(triple6)] Erin is not furry.[(triple7)] Erin is not nice.[(triple8)] Harry is furry.[(triple9)] Harry is not quiet.[(triple10)] @1: Dave is not quiet.[(((triple6 triple5) -> rule6))]