The cat eats the mouse. The cat sees the mouse. The lion is blue. The lion is young. The lion visits the mouse. The mouse eats the lion. The mouse eats the tiger. The mouse is cold. The mouse is round. The mouse is young. The tiger is cold. The tiger is young. The tiger sees the mouse. The tiger visits the cat. The tiger visits the mouse. If someone is round and they eat the cat then they are blue. If the cat is blue then the cat visits the lion. If someone eats the tiger and they visit the lion then the tiger eats the mouse. If someone eats the mouse and the mouse sees the lion then the lion eats the tiger. If someone visits the cat and the cat eats the lion then the cat is young. If someone is young then they visit the tiger. If someone is rough and they eat the tiger then the tiger is rough. If someone visits the tiger then they eat the cat.
The cat does not visit the lion.
@0: The cat eats the mouse.[(triple1)] The cat sees the mouse.[(triple2)] The lion is blue.[(triple3)] The lion is young.[(triple4)] The lion visits the mouse.[(triple5)] The mouse eats the lion.[(triple6)] The mouse eats the tiger.[(triple7)] The mouse is cold.[(triple8)] The mouse is round.[(triple9)] The mouse is young.[(triple10)] The tiger is cold.[(triple11)] The tiger is young.[(triple12)] The tiger sees the mouse.[(triple13)] The tiger visits the cat.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The lion visits the tiger.[(((triple4) -> rule6))] The mouse visits the tiger.[(((triple10) -> rule6))] The tiger visits the tiger.[(((triple12) -> rule6))] @2: The lion eats the cat.[(((((triple4) -> rule6)) -> rule8))] The mouse eats the cat.[(((((triple10) -> rule6)) -> rule8))] The tiger eats the cat.[(((((triple12) -> rule6)) -> rule8))] @3: The mouse is blue.[(((triple9 ((((triple10) -> rule6)) -> rule8)) -> rule1))]