Bob is not blue. Bob is cold. Bob is white. Erin is blue. Erin is cold. Erin is nice. Erin is white. Erin is young. Harry is blue. Harry is young. If Bob is white then Bob is not nice. If Bob is nice and Bob is white then Bob is green. If Erin is young and Erin is nice then Erin is blue. If something is nice and not white then it is not blue. If something is furry and not blue then it is cold. If Harry is cold and Harry is not white then Harry is not young.
Harry is not blue.
@0: Bob is cold.[(triple2)] Bob is not blue.[(triple1)] Bob is white.[(triple3)] Erin is blue.[(triple4 OR ((triple8 triple6) -> rule3))] Erin is cold.[(triple5)] Erin is nice.[(triple6)] Erin is white.[(triple7)] Erin is young.[(triple8)] Harry is blue.[(triple9)] Harry is young.[(triple10)] @1: Bob is not nice.[(((triple3) -> rule1))]