Anne is young. Fiona is red. Gary is blue. Harry is young. All furry, rough things are red. All round, young things are rough. All red things are young. If something is furry then it is kind. Kind, young things are rough. If something is blue and young then it is round. If Fiona is rough then Fiona is blue. Young, furry things are red.
Gary is not young.
@0: Anne is young.[(triple1)] Fiona is red.[(triple2)] Gary is blue.[(triple3)] Harry is young.[(triple4)] @1: Fiona is young.[(((triple2) -> rule3))]