Anne is big. Anne is not kind. Anne is nice. Anne is quiet. Anne is young. Dave is big. Dave is green. Dave is not kind. Dave is nice. Erin is kind. Erin is nice. Erin is quiet. Erin is smart. Erin is not young. Fiona is kind. Fiona is quiet. If Anne is green and Anne is not quiet then Anne is not smart. If someone is green and not quiet then they are not young.
Anne is young.
@0: Anne is big.[(triple1)] Anne is nice.[(triple3)] Anne is not kind.[(triple2)] Anne is quiet.[(triple4)] Anne is young.[(triple5)] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is nice.[(triple9)] Dave is not kind.[(triple8)] Erin is kind.[(triple10)] Erin is nice.[(triple11)] Erin is not young.[(triple14)] Erin is quiet.[(triple12)] Erin is smart.[(triple13)] Fiona is kind.[(triple15)] Fiona is quiet.[(triple16)]