Anne is cold. Anne is rough. Anne is white. All round, rough things are cold. If something is young and round then it is big. White things are big. All young things are red. If something is rough and young then it is cold. All round, young things are red. If Anne is round and Anne is cold then Anne is young. If something is round and red then it is cold.
Anne is white.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] @1: Anne is big.[(((triple3) -> rule3))]