The cow eats the rabbit. The cow is cold. The lion eats the rabbit. The lion eats the squirrel. The lion likes the rabbit. The lion likes the squirrel. The lion visits the cow. The lion visits the squirrel. The rabbit visits the cow. The squirrel eats the cow. The squirrel is big. The squirrel likes the rabbit. If something is blue and it visits the cow then the cow eats the rabbit. If something visits the lion then the lion eats the cow. If something is big and it likes the rabbit then the rabbit likes the cow. If something eats the lion then it is blue. If something likes the cow then it likes the lion. If something eats the squirrel then the squirrel likes the lion. If something eats the lion then the lion likes the rabbit. If something visits the cow then the cow is young.
The cow does not eat the rabbit.
@0: The cow eats the rabbit.[(triple1)] The cow is cold.[(triple2)] The lion eats the rabbit.[(triple3)] The lion eats the squirrel.[(triple4)] The lion likes the rabbit.[(triple5)] The lion likes the squirrel.[(triple6)] The lion visits the cow.[(triple7)] The lion visits the squirrel.[(triple8)] The rabbit visits the cow.[(triple9)] The squirrel eats the cow.[(triple10)] The squirrel is big.[(triple11)] The squirrel likes the rabbit.[(triple12)] @1: The cow is young.[(((triple7) -> rule8) OR ((triple9) -> rule8))] The rabbit likes the cow.[(((triple11 triple12) -> rule3))] The squirrel likes the lion.[(((triple4) -> rule6))] @2: The rabbit likes the lion.[(((((triple11 triple12) -> rule3)) -> rule5))]