The bear eats the cow. The bear likes the mouse. The bear sees the mouse. The cow eats the bear. The cow is red. The cow likes the mouse. The cow likes the rabbit. The mouse eats the bear. The mouse is rough. The mouse likes the bear. The mouse sees the bear. The mouse sees the rabbit. The rabbit eats the bear. The rabbit is big. The rabbit sees the bear. If someone sees the rabbit and the rabbit likes the bear then they are red. If someone is big and they see the bear then they eat the cow. If someone likes the mouse then they eat the mouse. If someone is rough then they are big. If someone eats the mouse and the mouse likes the rabbit then the mouse eats the bear. If someone eats the bear and they like the rabbit then the rabbit eats the mouse. If someone sees the rabbit then the rabbit eats the cow. If the mouse is big and the mouse eats the cow then the cow is big.
The rabbit does not eat the rabbit.
@0: The bear eats the cow.[(triple1)] The bear likes the mouse.[(triple2)] The bear sees the mouse.[(triple3)] The cow eats the bear.[(triple4)] The cow is red.[(triple5)] The cow likes the mouse.[(triple6)] The cow likes the rabbit.[(triple7)] The mouse eats the bear.[(triple8)] The mouse is rough.[(triple9)] The mouse likes the bear.[(triple10)] The mouse sees the bear.[(triple11)] The mouse sees the rabbit.[(triple12)] The rabbit eats the bear.[(triple13)] The rabbit is big.[(triple14)] The rabbit sees the bear.[(triple15)] @1: The bear eats the mouse.[(((triple2) -> rule3))] The cow eats the mouse.[(((triple6) -> rule3))] The mouse is big.[(((triple9) -> rule4))] The rabbit eats the cow.[(((triple12) -> rule7) OR ((triple14 triple15) -> rule2))] The rabbit eats the mouse.[(((triple4 triple7) -> rule6))] @2: The mouse eats the cow.[(((((triple9) -> rule4) triple11) -> rule2))] @3: The cow is big.[(((((triple9) -> rule4) ((((triple9) -> rule4) triple11) -> rule2)) -> rule8))]