The cat eats the mouse. The cat eats the tiger. The cat is big. The cat is green. The cat is nice. The cat is rough. The cat does not see the mouse. The cat sees the tiger. The cat visits the mouse. The cat visits the tiger. The mouse is not nice. The mouse is rough. The mouse sees the cat. The mouse visits the cat. The tiger is rough. The tiger sees the mouse. If someone is cold then they do not see the cat. All cold people are rough. If someone is big then they eat the tiger. If the cat is nice then the cat does not see the mouse. If the cat sees the tiger then the tiger visits the cat. If someone visits the tiger then the tiger is green. If someone visits the mouse and the mouse is cold then they eat the mouse. If the mouse visits the tiger then the tiger is not big.
The mouse does not see the cat.
@0: The cat does not see the mouse.[(triple7 OR ((triple5) -> rule4))] The cat eats the mouse.[(triple1)] The cat eats the tiger.[(triple2 OR ((triple3) -> rule3))] The cat is big.[(triple3)] The cat is green.[(triple4)] The cat is nice.[(triple5)] The cat is rough.[(triple6)] The cat sees the tiger.[(triple8)] The cat visits the mouse.[(triple9)] The cat visits the tiger.[(triple10)] The mouse is not nice.[(triple11)] The mouse is rough.[(triple12)] The mouse sees the cat.[(triple13)] The mouse visits the cat.[(triple14)] The tiger is rough.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The tiger is green.[(((triple10) -> rule6))] The tiger visits the cat.[(((triple8) -> rule5))]