Anne is kind. Anne is nice. Anne is quiet. Bob is not big. Fiona is big. Fiona is kind. Fiona is not nice. Fiona is red. Gary is nice. Gary is quiet. If something is big and not kind then it is quiet. If something is young and not quiet then it is green. If Anne is green and Anne is not kind then Anne is young.
Bob is not green.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Bob is not big.[(triple4)] Fiona is big.[(triple5)] Fiona is kind.[(triple6)] Fiona is not nice.[(triple7)] Fiona is red.[(triple8)] Gary is nice.[(triple9)] Gary is quiet.[(triple10)]