The dog is green. The lion chases the squirrel. The lion is big. The lion is green. The lion is kind. The lion visits the rabbit. The lion visits the squirrel. The rabbit chases the squirrel. The rabbit is blue. The rabbit is green. The rabbit visits the lion. The squirrel eats the lion. The squirrel is big. The squirrel is green. The squirrel visits the dog. The squirrel visits the rabbit. If something is big then it visits the rabbit. If something is kind then it visits the squirrel. If the dog is green then the dog visits the lion. If something eats the lion and it eats the rabbit then the rabbit eats the dog. If something eats the dog and the dog chases the squirrel then the dog chases the rabbit. If something eats the lion and it visits the rabbit then the lion is big.
The dog does not visit the rabbit.
@0: The dog is green.[(triple1)] The lion chases the squirrel.[(triple2)] The lion is big.[(triple3 OR ((triple12 triple16) -> rule6) OR ((triple12 ((triple13) -> rule1)) -> rule6))] The lion is green.[(triple4)] The lion is kind.[(triple5)] The lion visits the rabbit.[(triple6 OR ((triple3) -> rule1) OR ((((triple12 triple16) -> rule6)) -> rule1) OR ((((triple12 ((triple13) -> rule1)) -> rule6)) -> rule1))] The lion visits the squirrel.[(triple7 OR ((triple5) -> rule2))] The rabbit chases the squirrel.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is green.[(triple10)] The rabbit visits the lion.[(triple11)] The squirrel eats the lion.[(triple12)] The squirrel is big.[(triple13)] The squirrel is green.[(triple14)] The squirrel visits the dog.[(triple15)] The squirrel visits the rabbit.[(triple16 OR ((triple13) -> rule1))] @1: The dog visits the lion.[(((triple1) -> rule3))]