The cat is green. The cat needs the dog. The cat needs the lion. The cat visits the dog. The cow eats the dog. The cow is blue. The dog eats the cow. The dog is young. The dog needs the lion. The lion eats the cow. The lion eats the dog. The lion is blue. The lion is young. The lion visits the cow. The lion visits the dog. If the cow visits the cat then the cat eats the dog. If the lion needs the cat and the cat needs the dog then the dog is green. If something eats the cow then it eats the lion. If something visits the lion and the lion is blue then it is young. If something needs the cat and the cat is green then the cat eats the cow. If something visits the cow then it needs the cat. If the cat needs the lion and the lion needs the cat then the cat is round. If the lion eats the dog and the lion needs the cat then the cat visits the dog.
The dog needs the cat.
@0: The cat is green.[(triple1)] The cat needs the dog.[(triple2)] The cat needs the lion.[(triple3)] The cat visits the dog.[(triple4 OR ((triple11 ((triple14) -> rule6)) -> rule8))] The cow eats the dog.[(triple5)] The cow is blue.[(triple6)] The dog eats the cow.[(triple7)] The dog is young.[(triple8)] The dog needs the lion.[(triple9)] The lion eats the cow.[(triple10)] The lion eats the dog.[(triple11)] The lion is blue.[(triple12)] The lion is young.[(triple13)] The lion visits the cow.[(triple14)] The lion visits the dog.[(triple15)] @1: The dog eats the lion.[(((triple7) -> rule3))] The lion eats the lion.[(((triple10) -> rule3))] The lion needs the cat.[(((triple14) -> rule6))] @2: The cat eats the cow.[(((((triple14) -> rule6) triple1) -> rule5))] The cat is round.[(((triple3 ((triple14) -> rule6)) -> rule7))] The dog is green.[(((((triple14) -> rule6) triple2) -> rule2))] @3: The cat eats the lion.[(((((((triple14) -> rule6) triple1) -> rule5)) -> rule3))]