Bob is not kind. Erin is kind. If Erin is kind then Erin is not nice. All green people are nice. If someone is big and not kind then they are white. If someone is cold and not nice then they are white. If someone is kind and not nice then they are cold. If someone is white then they are red. If someone is nice and not kind then they are not red. All white, green people are not red.
Erin is green.
@0: Bob is not kind.[(triple1)] Erin is kind.[(triple2)] @1: Erin is not nice.[(((triple2) -> rule1))] @2: Erin is cold.[(((triple2 ((triple2) -> rule1)) -> rule5))] @3: Erin is white.[(((((triple2 ((triple2) -> rule1)) -> rule5) ((triple2) -> rule1)) -> rule4))] @4: Erin is red.[(((((((triple2 ((triple2) -> rule1)) -> rule5) ((triple2) -> rule1)) -> rule4)) -> rule6))]