Bob is furry. Dave is red. Erin is smart. Gary is kind. Red people are young.
Dave is not red.
@0: Bob is furry.[(triple1)] Dave is red.[(triple2)] Erin is smart.[(triple3)] Gary is kind.[(triple4)] @1: Dave is young.[(((triple2) -> rule1))]