Anne is furry. Dave is kind. Erin is big. Fiona is not blue. Blue people are big. Kind people are young.
Fiona is young.
@0: Anne is furry.[(triple1)] Dave is kind.[(triple2)] Erin is big.[(triple3)] Fiona is not blue.[(triple4)] @1: Dave is young.[(((triple2) -> rule2))]