Anne is cold. Charlie is red. Fiona is not rough. If something is white and red then it is round. If Anne is cold and Anne is not white then Anne is nice. If something is round and white then it is red. All red things are not furry. If something is round and not red then it is not rough. If Charlie is furry and Charlie is not rough then Charlie is not nice.
Anne is not round.
@0: Anne is cold.[(triple1)] Charlie is red.[(triple2)] Fiona is not rough.[(triple3)] @1: Charlie is not furry.[(((triple2) -> rule4))]