Bob is furry. Bob is quiet. Bob is red. Erin is big. Gary is big. Gary is kind. Gary is young. If someone is red then they are big.
Gary is furry.
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Erin is big.[(triple4)] Gary is big.[(triple5)] Gary is kind.[(triple6)] Gary is young.[(triple7)] @1: Bob is big.[(((triple3) -> rule1))]