The cat eats the dog. The cat is young. The cat needs the rabbit. The dog is young. The dog needs the rabbit. The lion is green. The lion needs the cat. The rabbit chases the cat. The rabbit chases the dog. The rabbit eats the cat. The rabbit needs the cat. The rabbit needs the lion. All green things are red. If something is red and young then it eats the lion. If something eats the cat then the cat is green. If something is blue and it eats the cat then the cat chases the dog. If something eats the rabbit and it needs the lion then the rabbit is red. If something eats the lion then the lion is young. If something is big then it eats the cat. If something eats the rabbit then the rabbit eats the dog.
The lion does not eat the lion.
@0: The cat eats the dog.[(triple1)] The cat is young.[(triple2)] The cat needs the rabbit.[(triple3)] The dog is young.[(triple4)] The dog needs the rabbit.[(triple5)] The lion is green.[(triple6)] The lion needs the cat.[(triple7)] The rabbit chases the cat.[(triple8)] The rabbit chases the dog.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit needs the cat.[(triple11)] The rabbit needs the lion.[(triple12)] @1: The cat is green.[(((triple10) -> rule3))] The lion is red.[(((triple6) -> rule1))] @2: The cat is red.[(((((triple10) -> rule3)) -> rule1))] @3: The cat eats the lion.[(((((((triple10) -> rule3)) -> rule1) triple2) -> rule2))] @4: The lion is young.[(((((((((triple10) -> rule3)) -> rule1) triple2) -> rule2)) -> rule6))] @5: The lion eats the lion.[(((((triple6) -> rule1) ((((((((triple10) -> rule3)) -> rule1) triple2) -> rule2)) -> rule6)) -> rule2))]