The cat eats the dog. The cat is not round. The cow is not blue. The cow is not red. The cow visits the dog. The dog does not eat the cow. The dog likes the cow. If someone likes the cow and they visit the dog then the dog visits the cat. If the dog is nice then the dog is not blue. If someone eats the dog then they are nice. If someone visits the dog then they eat the cat. If the cat visits the cow then the cow does not like the dog. If someone eats the cat then the cat is blue. If someone is blue then they visit the cow. If the cat visits the cow then the cat visits the dog.
The dog does not eat the cat.
@0: The cat eats the dog.[(triple1)] The cat is not round.[(triple2)] The cow is not blue.[(triple3)] The cow is not red.[(triple4)] The cow visits the dog.[(triple5)] The dog does not eat the cow.[(triple6)] The dog likes the cow.[(triple7)] @1: The cat is nice.[(((triple1) -> rule3))] The cow eats the cat.[(((triple5) -> rule4))] @2: The cat is blue.[(((((triple5) -> rule4)) -> rule6))] @3: The cat visits the cow.[(((((((triple5) -> rule4)) -> rule6)) -> rule7))] @4: The cat visits the dog.[(((((((((triple5) -> rule4)) -> rule6)) -> rule7)) -> rule8))] The cow does not like the dog.[(((((((((triple5) -> rule4)) -> rule6)) -> rule7)) -> rule5))] @5: The cat eats the cat.[(((((((((((triple5) -> rule4)) -> rule6)) -> rule7)) -> rule8)) -> rule4))]