Bob is nice. Erin is cold. Harry is blue. All cold, green things are not blue. If something is big then it is not blue. If something is green and not nice then it is not blue. If something is green then it is big. All round things are big. All cold things are round. If something is green and not kind then it is cold. If Harry is not green and Harry is not round then Harry is blue.
Erin is not kind.
@0: Bob is nice.[(triple1)] Erin is cold.[(triple2)] Harry is blue.[(triple3)] @1: Erin is round.[(((triple2) -> rule6))] @2: Erin is big.[(((((triple2) -> rule6)) -> rule5))] @3: Erin is not blue.[(((((((triple2) -> rule6)) -> rule5)) -> rule2))]