Anne is red. Bob is red. Erin is nice. Harry is smart. If Anne is kind and Anne is smart then Anne is red. If someone is red and not blue then they are white. If Erin is blue then Erin is not red.
Bob is not red.
@0: Anne is red.[(triple1)] Bob is red.[(triple2)] Erin is nice.[(triple3)] Harry is smart.[(triple4)]