The cat likes the lion. The cat likes the rabbit. The cat does not visit the rabbit. The lion eats the rabbit. The lion likes the squirrel. The lion does not visit the squirrel. The rabbit eats the cat. The rabbit does not eat the squirrel. The rabbit is rough. The rabbit likes the cat. The rabbit does not like the lion. The rabbit likes the squirrel. The rabbit visits the cat. The squirrel is rough. The squirrel does not visit the lion. If someone eats the lion then the lion eats the cat. If someone eats the squirrel and they visit the lion then the squirrel likes the rabbit. If someone is red and they visit the squirrel then the squirrel is rough. If someone visits the squirrel then they do not eat the rabbit. If someone eats the cat then they do not visit the rabbit. If someone visits the cat then the cat does not visit the squirrel. If someone eats the squirrel and the squirrel likes the cat then the cat does not eat the rabbit. If someone likes the rabbit then they eat the lion.
The lion visits the lion.
@0: The cat does not visit the rabbit.[(triple3)] The cat likes the lion.[(triple1)] The cat likes the rabbit.[(triple2)] The lion does not visit the squirrel.[(triple6)] The lion eats the rabbit.[(triple4)] The lion likes the squirrel.[(triple5)] The rabbit does not eat the squirrel.[(triple8)] The rabbit does not like the lion.[(triple11)] The rabbit eats the cat.[(triple7)] The rabbit is rough.[(triple9)] The rabbit likes the cat.[(triple10)] The rabbit likes the squirrel.[(triple12)] The rabbit visits the cat.[(triple13)] The squirrel does not visit the lion.[(triple15)] The squirrel is rough.[(triple14)] @1: The cat does not visit the squirrel.[(((triple13) -> rule6))] The cat eats the lion.[(((triple2) -> rule8))] The rabbit does not visit the rabbit.[(((triple7) -> rule5))] @2: The lion eats the cat.[(((((triple2) -> rule8)) -> rule1))] @3: The lion does not visit the rabbit.[(((((((triple2) -> rule8)) -> rule1)) -> rule5))]