The mouse is big. The mouse is red. The mouse is rough. If someone is rough and not big then they are not red. All cold people are red. If the mouse is red and the mouse is big then the mouse is not kind.
The mouse does not eat the mouse.
@0: The mouse is big.[(triple1)] The mouse is red.[(triple2)] The mouse is rough.[(triple3)] @1: The mouse is not kind.[(((triple2 triple1) -> rule3))]