The cat is blue. The cat is rough. The cat needs the lion. The lion eats the rabbit. The lion is not blue. The lion is green. The lion needs the cat. The lion needs the rabbit. The lion visits the cat. The rabbit is blue. The rabbit is rough. The rabbit is young. The rabbit needs the cat. The rabbit does not need the lion. The rabbit visits the cat. If something is green and it eats the cat then it needs the rabbit. If something eats the cat and it does not eat the rabbit then it does not eat the lion. If something needs the lion and it visits the rabbit then the lion is rough. If something eats the lion then it visits the rabbit. If something visits the cat then the cat eats the lion. If something needs the rabbit and it does not visit the cat then the cat needs the lion. If the lion needs the rabbit then the rabbit does not eat the cat. If something is young and it needs the lion then the lion visits the rabbit.
The cat does not visit the lion.
@0: The cat is blue.[(triple1)] The cat is rough.[(triple2)] The cat needs the lion.[(triple3)] The lion eats the rabbit.[(triple4)] The lion is green.[(triple6)] The lion is not blue.[(triple5)] The lion needs the cat.[(triple7)] The lion needs the rabbit.[(triple8)] The lion visits the cat.[(triple9)] The rabbit does not need the lion.[(triple14)] The rabbit is blue.[(triple10)] The rabbit is rough.[(triple11)] The rabbit is young.[(triple12)] The rabbit needs the cat.[(triple13)] The rabbit visits the cat.[(triple15)] @1: The cat eats the lion.[(((triple15) -> rule5) OR ((triple9) -> rule5))] The rabbit does not eat the cat.[(((triple8) -> rule7))] @2: The cat visits the rabbit.[(((((triple15) -> rule5)) -> rule4) OR ((((triple9) -> rule5)) -> rule4))] @3: The lion is rough.[(((triple3 ((((triple15) -> rule5)) -> rule4)) -> rule3) OR ((triple3 ((((triple9) -> rule5)) -> rule4)) -> rule3))]