Anne is furry. Charlie is smart. Fiona is red. Harry is round. Red, white people are smart. All furry, smart people are red. White, round people are red.
Anne is not smart.
@0: Anne is furry.[(triple1)] Charlie is smart.[(triple2)] Fiona is red.[(triple3)] Harry is round.[(triple4)]