Anne is not cold. Erin is big. Gary is kind. Harry is blue. All big people are kind. Cold people are rough. If someone is cold and not rough then they are smart. Big people are not smart. If Anne is smart and Anne is rough then Anne is white. If someone is white and not smart then they are not blue. If someone is kind then they are blue. If someone is smart then they are blue.
Harry is not blue.
@0: Anne is not cold.[(triple1)] Erin is big.[(triple2)] Gary is kind.[(triple3)] Harry is blue.[(triple4)] @1: Erin is kind.[(((triple2) -> rule1))] Erin is not smart.[(((triple2) -> rule4))] Gary is blue.[(((triple3) -> rule7))] @2: Erin is blue.[(((((triple2) -> rule1)) -> rule7))]