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