Erin is big. Erin is cold. Erin is nice. Erin is quiet. Erin is round. Erin is smart. Erin is young. Young people are nice. If Erin is not young then Erin is nice. If someone is young and not nice then they are not cold. Cold people are round. Young, smart people are big. If someone is quiet and not round then they are smart.
Erin is smart.
@0: Erin is big.[(triple1 OR ((triple7 triple6) -> rule5))] Erin is cold.[(triple2)] Erin is nice.[(triple3 OR ((triple7) -> rule1))] Erin is quiet.[(triple4)] Erin is round.[(triple5 OR ((triple2) -> rule4))] Erin is smart.[(triple6)] Erin is young.[(triple7)]