Anne is red. Dave is white. Fiona is blue. Kind, red things are rough. All red things are rough. If something is quiet then it is kind. If Anne is big and Anne is kind then Anne is red. If Dave is blue then Dave is quiet. Big things are kind.
Anne is not kind.
@0: Anne is red.[(triple1)] Dave is white.[(triple2)] Fiona is blue.[(triple3)] @1: Anne is rough.[(((triple1) -> rule2))]