Anne is green. Anne is young. Bob is not big. Bob is green. Bob is young. Charlie is rough. Fiona is green. All big things are young. If Anne is big then Anne is young.
Anne is young.
@0: Anne is green.[(triple1)] Anne is young.[(triple2)] Bob is green.[(triple4)] Bob is not big.[(triple3)] Bob is young.[(triple5)] Charlie is rough.[(triple6)] Fiona is green.[(triple7)]