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