The mouse chases the rabbit. The mouse is big. The mouse is young. The mouse likes the rabbit. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit is big. The rabbit is kind. The rabbit is nice. The rabbit is young. The rabbit likes the mouse. The rabbit visits the mouse. If something is big and it chases the mouse then it is not rough.
The mouse is rough.
@0: The mouse chases the rabbit.[(triple1)] The mouse is big.[(triple2)] The mouse is young.[(triple3)] The mouse likes the rabbit.[(triple4)] The mouse visits the rabbit.[(triple5)] The rabbit chases the mouse.[(triple6)] The rabbit is big.[(triple7)] The rabbit is kind.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is young.[(triple10)] The rabbit likes the mouse.[(triple11)] The rabbit visits the mouse.[(triple12)] @1: The rabbit is not rough.[(((triple7 triple6) -> rule1))]