The mouse is kind. All big, young people are not kind. Blue people are not kind. Nice, blue people are kind. If the mouse is nice then the mouse is young. If the mouse is blue then the mouse is big. Young, kind people are big. Nice, kind people are big. Kind people are big.
The mouse is not kind.
@0: The mouse is kind.[(triple1)] @1: The mouse is big.[(((triple1) -> rule8))]