Anne is big. Anne is rough. Anne is smart. Anne is not young. Bob is green. Fiona is not big. Fiona is not smart. If something is nice and not young then it is not big. If something is green and big then it is not rough. If something is young and cold then it is green. If something is big and young then it is not green. If Bob is young and Bob is not cold then Bob is not big. If something is green and not rough then it is smart. If something is green and not big then it is smart. All green, rough things are smart.
Fiona is not smart.
@0: Anne is big.[(triple1)] Anne is not young.[(triple4)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Bob is green.[(triple5)] Fiona is not big.[(triple6)] Fiona is not smart.[(triple7)]