Charlie is big. Dave is green. Erin is white. Gary is blue. White people are green. If someone is blue then they are furry. If someone is young then they are round. All round, white people are big. If someone is young and not furry then they are big. Young people are big.
Dave is green.
@0: Charlie is big.[(triple1)] Dave is green.[(triple2)] Erin is white.[(triple3)] Gary is blue.[(triple4)] @1: Erin is green.[(((triple3) -> rule1))] Gary is furry.[(((triple4) -> rule2))]