The bear eats the rabbit. The bear is green. The bear likes the mouse. The bear needs the cat. The bear needs the mouse. The cat eats the mouse. The cat does not eat the rabbit. The cat is green. The cat needs the mouse. The mouse is big. The mouse needs the cat. The rabbit eats the cat. The rabbit is big. The rabbit is round. The rabbit likes the bear. The rabbit likes the cat. If the rabbit likes the mouse and the mouse needs the cat then the cat does not eat the rabbit. If something eats the cat then the cat is not big. If something likes the mouse and it is not round then the mouse is not rough. If something is big then it eats the mouse. If the cat eats the mouse and the mouse is cold then the mouse likes the cat. If something needs the rabbit and it eats the mouse then it does not like the mouse.
The cat eats the mouse.
@0: The bear eats the rabbit.[(triple1)] The bear is green.[(triple2)] The bear likes the mouse.[(triple3)] The bear needs the cat.[(triple4)] The bear needs the mouse.[(triple5)] The cat does not eat the rabbit.[(triple7)] The cat eats the mouse.[(triple6)] The cat is green.[(triple8)] The cat needs the mouse.[(triple9)] The mouse is big.[(triple10)] The mouse needs the cat.[(triple11)] The rabbit eats the cat.[(triple12)] The rabbit is big.[(triple13)] The rabbit is round.[(triple14)] The rabbit likes the bear.[(triple15)] The rabbit likes the cat.[(triple16)] @1: The cat is not big.[(((triple12) -> rule2))] The mouse eats the mouse.[(((triple10) -> rule4))] The rabbit eats the mouse.[(((triple13) -> rule4))]