Anne is not young. Bob is not furry. Fiona is young. Furry things are not cold. If something is cold and not young then it is red. All cold things are red. All young things are not furry. Cold, rough things are blue. Red things are blue. If Bob is rough and Bob is red then Bob is furry. If Bob is not blue then Bob is big.
Fiona is not young.
@0: Anne is not young.[(triple1)] Bob is not furry.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is not furry.[(((triple3) -> rule4))]