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