Anne is young. Erin is nice. Gary is cold. Harry is nice. All white things are cold. If something is quiet and white then it is nice. If something is round and young then it is nice. All white, cold things are round. If something is nice then it is round. If something is round then it is white. Quiet things are cold. If Anne is nice and Anne is young then Anne is quiet.
Erin is not cold.
@0: Anne is young.[(triple1)] Erin is nice.[(triple2)] Gary is cold.[(triple3)] Harry is nice.[(triple4)] @1: Erin is round.[(((triple2) -> rule5))] Harry is round.[(((triple4) -> rule5))] @2: Erin is white.[(((((triple2) -> rule5)) -> rule6))] Harry is white.[(((((triple4) -> rule5)) -> rule6))] @3: Erin is cold.[(((((((triple2) -> rule5)) -> rule6)) -> rule1))] Harry is cold.[(((((((triple4) -> rule5)) -> rule6)) -> rule1))]