Anne is big. Anne is kind. Anne is nice. Anne is not red. Anne is rough. Anne is not smart. Anne is young. Gary is big. Gary is not nice. Gary is young. If Gary is rough and Gary is not smart then Gary is young. If something is smart then it is young. If something is red and kind then it is rough. If something is nice and not kind then it is not rough. Rough, kind things are big. Smart things are not red.
Anne is not young.
@0: Anne is big.[(triple1 OR ((triple5 triple2) -> rule5))] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not red.[(triple4)] Anne is not smart.[(triple6)] Anne is rough.[(triple5)] Anne is young.[(triple7)] Gary is big.[(triple8)] Gary is not nice.[(triple9)] Gary is young.[(triple10)]