The cat is round. The cow eats the cat. The cow eats the rabbit. The cow is nice. The cow visits the rabbit. The dog eats the cow. The dog visits the cat. The dog visits the cow. The rabbit is nice. The rabbit sees the cow. If the cat visits the cow then the cat sees the rabbit. If the dog is not rough then the dog does not eat the rabbit. If someone is red then they see the cat. If someone eats the rabbit then the rabbit is red. If someone is rough then they see the cow. If the cow visits the dog and the cow sees the cat then the cat sees the cow. If someone is nice and they do not eat the rabbit then the rabbit visits the cow. If someone visits the cow and they do not see the rabbit then they visit the dog.
The cat does not see the rabbit.
@0: The cat is round.[(triple1)] The cow eats the cat.[(triple2)] The cow eats the rabbit.[(triple3)] The cow is nice.[(triple4)] The cow visits the rabbit.[(triple5)] The dog eats the cow.[(triple6)] The dog visits the cat.[(triple7)] The dog visits the cow.[(triple8)] The rabbit is nice.[(triple9)] The rabbit sees the cow.[(triple10)] @1: The rabbit is red.[(((triple3) -> rule4))] @2: The rabbit sees the cat.[(((((triple3) -> rule4)) -> rule3))]