Anne is furry. Bob is red. Erin is quiet. Fiona is not furry. All quiet, green things are not red.
Bob is red.
@0: Anne is furry.[(triple1)] Bob is red.[(triple2)] Erin is quiet.[(triple3)] Fiona is not furry.[(triple4)]