Erin is big. Erin is cold. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Erin is young. If Erin is quiet then Erin is cold.
Erin is not young.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2 OR ((triple4) -> rule1))] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)]