The cat is rough. The cat does not visit the rabbit. The lion chases the rabbit. The lion chases the squirrel. The lion eats the cat. The lion is nice. The rabbit chases the lion. The rabbit eats the cat. The rabbit is nice. The rabbit does not visit the cat. The squirrel chases the cat. The squirrel eats the lion. If someone is nice then they do not visit the rabbit. If someone eats the squirrel then the squirrel is nice. If someone visits the squirrel and they visit the cat then they are red. If someone chases the rabbit and they visit the cat then the cat eats the rabbit. If the lion chases the cat then the cat chases the lion. If someone eats the cat then the cat eats the squirrel.
The squirrel does not visit the lion.
@0: The cat does not visit the rabbit.[(triple2)] The cat is rough.[(triple1)] The lion chases the rabbit.[(triple3)] The lion chases the squirrel.[(triple4)] The lion eats the cat.[(triple5)] The lion is nice.[(triple6)] The rabbit chases the lion.[(triple7)] The rabbit does not visit the cat.[(triple10)] The rabbit eats the cat.[(triple8)] The rabbit is nice.[(triple9)] The squirrel chases the cat.[(triple11)] The squirrel eats the lion.[(triple12)] @1: The cat eats the squirrel.[(((triple5) -> rule6) OR ((triple8) -> rule6))] The lion does not visit the rabbit.[(((triple6) -> rule1))] The rabbit does not visit the rabbit.[(((triple9) -> rule1))] @2: The squirrel is nice.[(((((triple5) -> rule6)) -> rule2) OR ((((triple8) -> rule6)) -> rule2))] @3: The squirrel does not visit the rabbit.[(((((((triple5) -> rule6)) -> rule2)) -> rule1) OR ((((((triple8) -> rule6)) -> rule2)) -> rule1))]