Erin is big. Erin is furry. Erin is kind. Erin is nice. Erin is white. Erin is young. Gary is not furry. All big things are nice. Kind, big things are young.
Erin is not young.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4 OR ((triple1) -> rule1))] Erin is white.[(triple5)] Erin is young.[(triple6 OR ((triple3 triple1) -> rule2))] Gary is not furry.[(triple7)]