Erin is big. Erin is cold. Erin is red. Erin is round. Erin is smart. Erin is white. Erin is young. If someone is red and not young then they are white. If someone is red and round then they are cold. If Erin is not white then Erin is big.
Erin is not smart.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2 OR ((triple3 triple4) -> rule2))] Erin is red.[(triple3)] Erin is round.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)]