Anne is nice. Fiona is big. Fiona is round. Gary is not young. Harry is not big. Harry is green. Harry is rough. If someone is nice and green then they are kind. If someone is young then they are rough. If someone is green and not round then they are not rough. If someone is green and not round then they are young. All kind people are not young. All nice, young people are green.
Fiona is not round.
@0: Anne is nice.[(triple1)] Fiona is big.[(triple2)] Fiona is round.[(triple3)] Gary is not young.[(triple4)] Harry is green.[(triple6)] Harry is not big.[(triple5)] Harry is rough.[(triple7)]