The mouse is rough. The mouse likes the rabbit. The mouse likes the tiger. The mouse does not need the rabbit. The rabbit does not chase the mouse. The rabbit chases the tiger. The rabbit is round. The rabbit likes the mouse. The rabbit does not like the tiger. The rabbit needs the tiger. The tiger chases the rabbit. The tiger is not rough. The tiger is round. The tiger likes the mouse. The tiger likes the rabbit. If someone likes the tiger and they are rough then the tiger is not rough. If someone chases the mouse then the mouse does not chase the rabbit. If someone needs the mouse and the mouse does not like the tiger then they are not rough. If someone needs the rabbit then the rabbit is not rough. If someone is big and round then they need the mouse. If someone is round and they chase the rabbit then they need the rabbit.
The rabbit does not like the rabbit.
@0: The mouse does not need the rabbit.[(triple4)] The mouse is rough.[(triple1)] The mouse likes the rabbit.[(triple2)] The mouse likes the tiger.[(triple3)] The rabbit chases the tiger.[(triple6)] The rabbit does not chase the mouse.[(triple5)] The rabbit does not like the tiger.[(triple9)] The rabbit is round.[(triple7)] The rabbit likes the mouse.[(triple8)] The rabbit needs the tiger.[(triple10)] The tiger chases the rabbit.[(triple11)] The tiger is not rough.[(triple12 OR ((triple3 triple1) -> rule1))] The tiger is round.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger likes the rabbit.[(triple15)] @1: The tiger needs the rabbit.[(((triple13 triple11) -> rule6))] @2: The rabbit is not rough.[(((((triple13 triple11) -> rule6)) -> rule4))]