Anne is kind. Bob is kind. Charlie is not nice. Erin is green. If Erin is big then Erin is red. If someone is kind then they are cold. If someone is big then they are blue. If Bob is blue then Bob is big. Cold people are nice. If someone is cold and not nice then they are green. Green people are red. If Anne is cold and Anne is not nice then Anne is not green.
Erin is not blue.
@0: Anne is kind.[(triple1)] Bob is kind.[(triple2)] Charlie is not nice.[(triple3)] Erin is green.[(triple4)] @1: Anne is cold.[(((triple1) -> rule2))] Bob is cold.[(((triple2) -> rule2))] Erin is red.[(((triple4) -> rule7))] @2: Anne is nice.[(((((triple1) -> rule2)) -> rule5))] Bob is nice.[(((((triple2) -> rule2)) -> rule5))]