The cat eats the dog. The cat is big. The cat is green. The cat is red. The cat is young. The cat needs the dog. The cat does not visit the dog. The dog eats the cat. The dog is big. The dog is young. The dog needs the cat. The dog visits the cat. If the cat visits the dog then the cat is big. If someone needs the cat then they visit the cat. If someone needs the dog then the dog eats the cat. If someone is young then they need the cat. If someone visits the dog then they eat the dog. If the cat is cold and the cat is not big then the cat eats the dog.
The cat visits the cat.
@0: The cat does not visit the dog.[(triple7)] The cat eats the dog.[(triple1)] The cat is big.[(triple2)] The cat is green.[(triple3)] The cat is red.[(triple4)] The cat is young.[(triple5)] The cat needs the dog.[(triple6)] The dog eats the cat.[(triple8 OR ((triple6) -> rule3))] The dog is big.[(triple9)] The dog is young.[(triple10)] The dog needs the cat.[(triple11 OR ((triple10) -> rule4))] The dog visits the cat.[(triple12 OR ((triple11) -> rule2) OR ((((triple10) -> rule4)) -> rule2))] @1: The cat needs the cat.[(((triple5) -> rule4))] @2: The cat visits the cat.[(((((triple5) -> rule4)) -> rule2))]