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