Anne is round. Charlie is nice. Dave is big. Erin is round. All round, cold things are big. If something is cold then it is red. If something is red then it is nice. Round things are red. If Dave is round and Dave is big then Dave is blue. If something is round and nice then it is cold.
Anne is nice.
@0: Anne is round.[(triple1)] Charlie is nice.[(triple2)] Dave is big.[(triple3)] Erin is round.[(triple4)] @1: Anne is red.[(((triple1) -> rule4))] Erin is red.[(((triple4) -> rule4))] @2: Anne is nice.[(((((triple1) -> rule4)) -> rule3))] Erin is nice.[(((((triple4) -> rule4)) -> rule3))] @3: Anne is cold.[(((triple1 ((((triple1) -> rule4)) -> rule3)) -> rule6))] Erin is cold.[(((triple4 ((((triple4) -> rule4)) -> rule3)) -> rule6))] @4: Anne is big.[(((triple1 ((triple1 ((((triple1) -> rule4)) -> rule3)) -> rule6)) -> rule1))] Erin is big.[(((triple4 ((triple4 ((((triple4) -> rule4)) -> rule3)) -> rule6)) -> rule1))]