Erin is big. Erin is cold. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is round. If Erin is not red then Erin is not rough. If someone is cold and not big then they are nice. All red, nice people are rough.
Erin is not rough.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6 OR ((triple5 triple4) -> rule3))] Erin is round.[(triple7)]