The cat does not like the lion. The cat likes the squirrel. The cow is blue. The cow likes the cat. The cow does not visit the lion. The lion is green. The lion is not rough. The lion likes the squirrel. The lion needs the cat. The lion visits the squirrel. The squirrel likes the cow. The squirrel visits the cat. If the squirrel visits the lion and the lion is green then the squirrel likes the cat. If the cow is kind and the cow does not visit the lion then the lion visits the cat. If someone visits the squirrel then they visit the cow. If someone needs the lion and the lion does not like the squirrel then the squirrel is not rough. If someone likes the cat then the cat does not like the lion. If someone is blue and they visit the cat then they do not need the cat. If someone visits the cow then the cow likes the squirrel. If someone is blue and they do not visit the cat then the cat does not need the squirrel.
The lion does not visit the cat.
@0: The cat does not like the lion.[(triple1 OR ((triple4) -> rule5))] The cat likes the squirrel.[(triple2)] The cow does not visit the lion.[(triple5)] The cow is blue.[(triple3)] The cow likes the cat.[(triple4)] The lion is green.[(triple6)] The lion is not rough.[(triple7)] The lion likes the squirrel.[(triple8)] The lion needs the cat.[(triple9)] The lion visits the squirrel.[(triple10)] The squirrel likes the cow.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The lion visits the cow.[(((triple10) -> rule3))] @2: The cow likes the squirrel.[(((((triple10) -> rule3)) -> rule7))]