Bob is not big. Charlie is young. Dave is not cold. Gary is red. All red, big people are furry. Red people are big.
Gary is furry.
@0: Bob is not big.[(triple1)] Charlie is young.[(triple2)] Dave is not cold.[(triple3)] Gary is red.[(triple4)] @1: Gary is big.[(((triple4) -> rule2))] @2: Gary is furry.[(((triple4 ((triple4) -> rule2)) -> rule1))]