Dave is rough. Fiona is quiet. Gary is furry. If Dave is quiet and Dave is not rough then Dave is not green. All rough people are not blue. If someone is big and not blue then they are not green. If someone is quiet and not green then they are red. If someone is rough then they are red. Rough, big people are not red. If someone is big and not green then they are furry. If someone is big and not quiet then they are furry.
Fiona is not red.
@0: Dave is rough.[(triple1)] Fiona is quiet.[(triple2)] Gary is furry.[(triple3)] @1: Dave is not blue.[(((triple1) -> rule2))] Dave is red.[(((triple1) -> rule5))]