The cat eats the tiger. The cat is green. The cat is round. The cat visits the tiger. The cow eats the mouse. The cow visits the cat. The mouse does not chase the cat. The mouse is not big. The mouse visits the cat. The tiger chases the mouse. The tiger eats the cat. The tiger eats the mouse. The tiger is not blue. The tiger is kind. The tiger visits the cow. If someone chases the mouse and the mouse is blue then they do not chase the tiger. If someone visits the mouse and they are kind then the mouse eats the cat. If someone is kind and round then they eat the tiger. If the mouse visits the tiger and the tiger eats the cat then the mouse is big. If someone eats the cat then they visit the mouse. If someone chases the mouse and they are blue then the mouse eats the tiger.
The mouse does not eat the cat.
@0: The cat eats the tiger.[(triple1)] The cat is green.[(triple2)] The cat is round.[(triple3)] The cat visits the tiger.[(triple4)] The cow eats the mouse.[(triple5)] The cow visits the cat.[(triple6)] The mouse does not chase the cat.[(triple7)] The mouse is not big.[(triple8)] The mouse visits the cat.[(triple9)] The tiger chases the mouse.[(triple10)] The tiger eats the cat.[(triple11)] The tiger eats the mouse.[(triple12)] The tiger is kind.[(triple14)] The tiger is not blue.[(triple13)] The tiger visits the cow.[(triple15)] @1: The tiger visits the mouse.[(((triple11) -> rule5))] @2: The mouse eats the cat.[(((((triple11) -> rule5) triple14) -> rule2))] @3: The mouse visits the mouse.[(((((((triple11) -> rule5) triple14) -> rule2)) -> rule5))]