Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is round. All cold, blue people are big.
Erin is not big.
@0: Erin is big.[(triple1 OR ((triple3 triple2) -> rule1))] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is round.[(triple7)]