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.
Charlie is not red.
@0: Anne is round.[(triple1)] Bob is not blue.[(triple2)] Charlie is blue.[(triple3)] Gary is smart.[(triple4)]