Anne is furry. Anne is green. Anne is nice. Anne is rough. Bob is furry. Bob is green. Bob is smart. Fiona is green. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. If something is furry and round then it is smart.
Anne is not smart.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Bob is furry.[(triple5)] Bob is green.[(triple6)] Bob is smart.[(triple7)] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Fiona is smart.[(triple12)]