Erin is big. Erin is blue. Erin is cold. Erin is quiet. Erin is rough. Erin is round. Erin is young. If Erin is young and Erin is round then Erin is quiet. All big, rough people are cold.
Erin is not cold.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3 OR ((triple1 triple5) -> rule2))] Erin is quiet.[(triple4 OR ((triple7 triple6) -> rule1))] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is young.[(triple7)]