Anne is cold. Erin is white. Harry is blue. Big, red things are kind. If something is quiet and white then it is blue. If Erin is blue and Erin is white then Erin is red. If Erin is cold then Erin is big. If something is quiet and kind then it is red. All white things are quiet. All red, white things are quiet. Red, blue things are big.
Harry is not quiet.
@0: Anne is cold.[(triple1)] Erin is white.[(triple2)] Harry is blue.[(triple3)] @1: Erin is quiet.[(((triple2) -> rule6))] @2: Erin is blue.[(((((triple2) -> rule6) triple2) -> rule2))] @3: Erin is red.[(((((((triple2) -> rule6) triple2) -> rule2) triple2) -> rule3))] @4: Erin is big.[(((((((((triple2) -> rule6) triple2) -> rule2) triple2) -> rule3) ((((triple2) -> rule6) triple2) -> rule2)) -> rule8))] @5: Erin is kind.[(((((((((((triple2) -> rule6) triple2) -> rule2) triple2) -> rule3) ((((triple2) -> rule6) triple2) -> rule2)) -> rule8) ((((((triple2) -> rule6) triple2) -> rule2) triple2) -> rule3)) -> rule1))]