Anne is big. Anne is cold. Anne is not furry. Anne is not nice. Anne is young. Charlie is cold. Charlie is not young. Erin is big. Erin is not nice. Gary is cold. Gary is not furry. Gary is nice. Gary is quiet. Gary is rough. Gary is young. If something is rough and not nice then it is not cold. Nice, quiet things are young.
Erin is not young.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is not furry.[(triple3)] Anne is not nice.[(triple4)] Anne is young.[(triple5)] Charlie is cold.[(triple6)] Charlie is not young.[(triple7)] Erin is big.[(triple8)] Erin is not nice.[(triple9)] Gary is cold.[(triple10)] Gary is nice.[(triple12)] Gary is not furry.[(triple11)] Gary is quiet.[(triple13)] Gary is rough.[(triple14)] Gary is young.[(triple15 OR ((triple12 triple13) -> rule2))]