Anne is round. Bob is not blue. Charlie is blue. Gary is smart. Furry things are round. If Bob is quiet and Bob is smart then Bob is kind. All quiet things are red.
Anne is not round.
@0: Anne is round.[(triple1)] Bob is not blue.[(triple2)] Charlie is blue.[(triple3)] Gary is smart.[(triple4)]