Bob is red. Erin is white. Harry is not cold. All red, nice people are green. If someone is nice then they are not green. If someone is white and red then they are green. If Bob is green and Bob is kind then Bob is not cold. White, kind people are young. If Erin is white and Erin is green then Erin is not red. If Harry is not cold then Harry is not white. If Bob is kind then Bob is red.
Harry is not cold.
@0: Bob is red.[(triple1)] Erin is white.[(triple2)] Harry is not cold.[(triple3)] @1: Harry is not white.[(((triple3) -> rule7))]