Bob is cold. Dave is quiet. Erin is big. All furry, cold people are young. Quiet people are big.
Erin is not young.
@0: Bob is cold.[(triple1)] Dave is quiet.[(triple2)] Erin is big.[(triple3)] @1: Dave is big.[(((triple2) -> rule2))]