Charlie is furry. Charlie is quiet. Charlie is rough. All round things are nice. If something is quiet then it is not nice. All rough, nice things are quiet. All nice, quiet things are rough. If something is quiet and not green then it is not rough. If Charlie is round then Charlie is not furry.
Charlie is rough.
@0: Charlie is furry.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] @1: Charlie is not nice.[(((triple2) -> rule2))]