Charlie is cold. Dave is big. Dave is cold. If something is young then it is quiet. If Dave is quiet then Dave is red. All cold things are young.
Charlie is not furry.
@0: Charlie is cold.[(triple1)] Dave is big.[(triple2)] Dave is cold.[(triple3)] @1: Charlie is young.[(((triple1) -> rule3))] Dave is young.[(((triple3) -> rule3))] @2: Charlie is quiet.[(((((triple1) -> rule3)) -> rule1))] Dave is quiet.[(((((triple3) -> rule3)) -> rule1))] @3: Dave is red.[(((((((triple3) -> rule3)) -> rule1)) -> rule2))]