Erin is big. Erin is green. Erin is kind. Erin is red. Erin is rough. Erin is round. Erin is smart. If something is smart and rough then it is kind.
Erin is not kind.
@0: Erin is big.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3 OR ((triple7 triple5) -> rule1))] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is smart.[(triple7)]