Anne is big. Charlie is quiet. Harry is young. All green, young people are white. If Anne is rough and Anne is red then Anne is big. If someone is green and white then they are red. If Anne is green and Anne is big then Anne is rough. All red, green people are rough. All green, big people are quiet.
Charlie is quiet.
@0: Anne is big.[(triple1)] Charlie is quiet.[(triple2)] Harry is young.[(triple3)]