The bear likes the cow. The cow does not eat the mouse. The cow eats the squirrel. The cow is big. The cow is blue. The cow is round. The cow likes the bear. The cow does not like the mouse. The cow visits the mouse. The cow visits the squirrel. The mouse visits the cow. The squirrel is blue. The squirrel is not green. The squirrel likes the mouse. The squirrel visits the bear. The squirrel visits the cow. If the bear likes the cow and the bear does not eat the squirrel then the bear likes the mouse. If something likes the cow and it visits the cow then it is big. If something is big then it is blue. If the cow visits the squirrel and the cow does not like the mouse then the squirrel eats the cow. If something is green and it does not visit the mouse then it visits the cow. If something likes the cow and the cow likes the bear then the cow does not eat the mouse. If something visits the squirrel and the squirrel does not visit the bear then the squirrel is blue. If something visits the mouse and it visits the squirrel then the mouse likes the cow.
The cow does not eat the bear.
@0: The bear likes the cow.[(triple1)] The cow does not eat the mouse.[(triple2 OR ((triple1 triple7) -> rule6) OR ((((triple9 triple10) -> rule8) triple7) -> rule6))] The cow does not like the mouse.[(triple8)] The cow eats the squirrel.[(triple3)] The cow is big.[(triple4)] The cow is blue.[(triple5 OR ((triple4) -> rule3))] The cow is round.[(triple6)] The cow likes the bear.[(triple7)] The cow visits the mouse.[(triple9)] The cow visits the squirrel.[(triple10)] The mouse visits the cow.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is not green.[(triple13)] The squirrel likes the mouse.[(triple14)] The squirrel visits the bear.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The mouse likes the cow.[(((triple9 triple10) -> rule8))] The squirrel eats the cow.[(((triple10 triple8) -> rule4))] @2: The mouse is big.[(((((triple9 triple10) -> rule8) triple11) -> rule2))] @3: The mouse is blue.[(((((((triple9 triple10) -> rule8) triple11) -> rule2)) -> rule3))]