Anne is big. Anne is furry. Charlie is big. Charlie is furry. Charlie is green. Charlie is smart. Harry is smart. Big, red things are green. Red things are round.
Charlie is not smart.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Charlie is big.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Charlie is smart.[(triple6)] Harry is smart.[(triple7)]