Anne is not big. Anne is kind. Anne is red. Charlie is not rough. Charlie is round. Charlie is young. Erin is not big. Erin is not nice. Erin is red. Erin is rough. Erin is not round. Erin is young. If something is big and nice then it is kind. All rough, red things are young.
Erin is not rough.
@0: Anne is kind.[(triple2)] Anne is not big.[(triple1)] Anne is red.[(triple3)] Charlie is not rough.[(triple4)] Charlie is round.[(triple5)] Charlie is young.[(triple6)] Erin is not big.[(triple7)] Erin is not nice.[(triple8)] Erin is not round.[(triple11)] Erin is red.[(triple9)] Erin is rough.[(triple10)] Erin is young.[(triple12 OR ((triple10 triple9) -> rule2))]