Anne is round. Bob is red. Gary is not red. Harry is red. If Harry is quiet and Harry is rough then Harry is not furry.
Bob is red.
@0: Anne is round.[(triple1)] Bob is red.[(triple2)] Gary is not red.[(triple3)] Harry is red.[(triple4)]