Charlie is green. Erin is kind. Erin is red. If Erin is young and Erin is kind then Erin is round. All big, red things are young. Kind things are big.
Charlie is big.
@0: Charlie is green.[(triple1)] Erin is kind.[(triple2)] Erin is red.[(triple3)] @1: Erin is big.[(((triple2) -> rule3))] @2: Erin is young.[(((((triple2) -> rule3) triple3) -> rule2))] @3: Erin is round.[(((((((triple2) -> rule3) triple3) -> rule2) triple2) -> rule1))]