Bob is not nice. Erin is not smart. Gary is red. Harry is red. If Harry is quiet then Harry is round. If Harry is nice then Harry is round. Smart, nice things are not white. Round, smart things are not white. If something is white and not red then it is nice. If Harry is red and Harry is round then Harry is not smart. If Bob is quiet and Bob is not big then Bob is not smart. If Bob is not red then Bob is white.
Bob is not white.
@0: Bob is not nice.[(triple1)] Erin is not smart.[(triple2)] Gary is red.[(triple3)] Harry is red.[(triple4)]