Charlie is big. Charlie is furry. Charlie is young. Red people are cold. All cold people are kind. Big, furry people are red.
Charlie is cold.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is young.[(triple3)] @1: Charlie is red.[(((triple1 triple2) -> rule3))] @2: Charlie is cold.[(((((triple1 triple2) -> rule3)) -> rule1))] @3: Charlie is kind.[(((((((triple1 triple2) -> rule3)) -> rule1)) -> rule2))]