Charlie is cold. Dave is white. Gary is red. All big people are not rough. If someone is rough then they are red. Cold, rough people are big. If Charlie is not red then Charlie is not smart. Smart people are quiet. All red people are quiet.
Dave is not white.
@0: Charlie is cold.[(triple1)] Dave is white.[(triple2)] Gary is red.[(triple3)] @1: Gary is quiet.[(((triple3) -> rule6))]