Anne is furry. Charlie is cold. All red, green things are rough. Quiet, kind things are rough. All kind, red things are green. If something is furry then it is rough. Green, red things are quiet. Rough things are furry. All red, kind things are green. If Charlie is red and Charlie is green then Charlie is cold.
Anne is kind.
@0: Anne is furry.[(triple1)] Charlie is cold.[(triple2)] @1: Anne is rough.[(((triple1) -> rule4))]