Dave is green. Dave is white. Dave is young. Erin is big. Erin is red. Fiona is green. Gary is big. All green people are young. If someone is red and white then they are furry. Young, quiet people are furry.
Erin is not young.
@0: Dave is green.[(triple1)] Dave is white.[(triple2)] Dave is young.[(triple3 OR ((triple1) -> rule1))] Erin is big.[(triple4)] Erin is red.[(triple5)] Fiona is green.[(triple6)] Gary is big.[(triple7)] @1: Fiona is young.[(((triple6) -> rule1))]