Charlie is not kind. Erin is red. If someone is red then they are kind. If someone is red and not young then they are rough. If someone is kind then they are big.
Charlie is kind.
@0: Charlie is not kind.[(triple1)] Erin is red.[(triple2)] @1: Erin is kind.[(((triple2) -> rule1))] @2: Erin is big.[(((((triple2) -> rule1)) -> rule3))]