The cat eats the dog. The cat eats the rabbit. The cat is green. The cat is red. The cat is young. The cat needs the dog. The cat needs the rabbit. The cat sees the dog. The dog eats the cat. The dog eats the rabbit. The rabbit eats the cat. The rabbit is young. If something needs the dog and it is young then the dog eats the cat. If something is green and it needs the cat then the cat eats the dog. If something is big and it sees the cat then the cat sees the rabbit. If something sees the dog then the dog eats the rabbit. If something is big then it is green. If the rabbit needs the cat and the rabbit eats the cat then the rabbit needs the dog.
The dog eats the rabbit.
@0: The cat eats the dog.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is green.[(triple3)] The cat is red.[(triple4)] The cat is young.[(triple5)] The cat needs the dog.[(triple6)] The cat needs the rabbit.[(triple7)] The cat sees the dog.[(triple8)] The dog eats the cat.[(triple9 OR ((triple6 triple5) -> rule1))] The dog eats the rabbit.[(triple10 OR ((triple8) -> rule4))] The rabbit eats the cat.[(triple11)] The rabbit is young.[(triple12)]