Anne is not blue. Anne is cold. Anne is red. Anne is smart. Bob is not blue. Bob is not cold. Bob is kind. Bob is nice. Bob is not red. Bob is smart. Bob is white. Erin is blue. Erin is cold. Gary is kind. Gary is nice. Gary is not red. All blue people are red. If someone is kind and blue then they are red. If Erin is not kind then Erin is nice. If Erin is blue and Erin is white then Erin is nice. Red people are white. If someone is white and not red then they are smart.
Erin is not white.
@0: Anne is cold.[(triple2)] Anne is not blue.[(triple1)] Anne is red.[(triple3)] Anne is smart.[(triple4)] Bob is kind.[(triple7)] Bob is nice.[(triple8)] Bob is not blue.[(triple5)] Bob is not cold.[(triple6)] Bob is not red.[(triple9)] Bob is smart.[(triple10 OR ((triple11 triple9) -> rule6))] Bob is white.[(triple11)] Erin is blue.[(triple12)] Erin is cold.[(triple13)] Gary is kind.[(triple14)] Gary is nice.[(triple15)] Gary is not red.[(triple16)] @1: Anne is white.[(((triple3) -> rule5))] Erin is red.[(((triple12) -> rule1))] @2: Erin is white.[(((((triple12) -> rule1)) -> rule5))] @3: Erin is nice.[(((triple12 ((((triple12) -> rule1)) -> rule5)) -> rule4))]