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