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