The cat eats the rabbit. The cat is blue. The cow eats the mouse. The cow is not round. The cow does not see the cat. The cow sees the mouse. The cow does not see the rabbit. The cow visits the cat. The mouse is nice. The mouse visits the cat. The mouse visits the cow. The mouse visits the rabbit. The rabbit is nice. The rabbit sees the cat. The rabbit visits the cow. If the mouse is green and the mouse is cold then the mouse visits the cow. If something visits the mouse and the mouse sees the cow then it does not see the cat. If the mouse is round and the mouse sees the cow then the mouse does not eat the rabbit. If something visits the cow then the cow eats the mouse. If the mouse is round and the mouse visits the rabbit then the mouse sees the cat. If something visits the cow and it is not nice then it does not see the cow.
The mouse visits the cow.
@0: The cat eats the rabbit.[(triple1)] The cat is blue.[(triple2)] The cow does not see the cat.[(triple5)] The cow does not see the rabbit.[(triple7)] The cow eats the mouse.[(triple3 OR ((triple11) -> rule4) OR ((triple15) -> rule4))] The cow is not round.[(triple4)] The cow sees the mouse.[(triple6)] The cow visits the cat.[(triple8)] The mouse is nice.[(triple9)] The mouse visits the cat.[(triple10)] The mouse visits the cow.[(triple11)] The mouse visits the rabbit.[(triple12)] The rabbit is nice.[(triple13)] The rabbit sees the cat.[(triple14)] The rabbit visits the cow.[(triple15)]