Charlie is round. Dave is furry. All furry people are kind. All kind people are not round. If someone is cold and not kind then they are not young.
Charlie is not round.
@0: Charlie is round.[(triple1)] Dave is furry.[(triple2)] @1: Dave is kind.[(((triple2) -> rule1))] @2: Dave is not round.[(((((triple2) -> rule1)) -> rule2))]