Bob is cold. Charlie is quiet. Erin is quiet. Harry is big. All big, round things are green. Cold, red things are green. White, cold things are big. Cold things are big. If something is big then it is red. If something is red and not white then it is not round.
Bob is red.
@0: Bob is cold.[(triple1)] Charlie is quiet.[(triple2)] Erin is quiet.[(triple3)] Harry is big.[(triple4)] @1: Bob is big.[(((triple1) -> rule4))] Harry is red.[(((triple4) -> rule5))] @2: Bob is red.[(((((triple1) -> rule4)) -> rule5))] @3: Bob is green.[(((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule2))]