Anne is big. Charlie is red. Dave is rough. Gary is rough. If Dave is quiet then Dave is nice. If something is red and not blue then it is round. Blue, round things are quiet. If something is red then it is quiet. If Gary is blue then Gary is round. If Anne is not red and Anne is not blue then Anne is not quiet. If something is nice and not round then it is rough. If something is blue then it is rough.
Dave is not rough.
@0: Anne is big.[(triple1)] Charlie is red.[(triple2)] Dave is rough.[(triple3)] Gary is rough.[(triple4)] @1: Charlie is quiet.[(((triple2) -> rule4))]