The cow eats the lion. The cow eats the mouse. The cow eats the tiger. The cow is rough. The cow sees the lion. The cow visits the tiger. The lion eats the tiger. The lion visits the cow. The lion visits the mouse. The lion visits the tiger. The mouse visits the tiger. The tiger eats the mouse. If someone is nice and they eat the tiger then the tiger is nice. If someone visits the cow then they are blue. If someone sees the cow then they visit the mouse. If someone sees the tiger then they are young. If someone sees the cow and the cow eats the tiger then they see the mouse. If someone sees the mouse then the mouse sees the lion. If someone is blue then they see the mouse. If someone visits the tiger and they are green then the tiger sees the cow.
The lion sees the mouse.
@0: The cow eats the lion.[(triple1)] The cow eats the mouse.[(triple2)] The cow eats the tiger.[(triple3)] The cow is rough.[(triple4)] The cow sees the lion.[(triple5)] The cow visits the tiger.[(triple6)] The lion eats the tiger.[(triple7)] The lion visits the cow.[(triple8)] The lion visits the mouse.[(triple9)] The lion visits the tiger.[(triple10)] The mouse visits the tiger.[(triple11)] The tiger eats the mouse.[(triple12)] @1: The lion is blue.[(((triple8) -> rule2))] @2: The lion sees the mouse.[(((((triple8) -> rule2)) -> rule7))] @3: The mouse sees the lion.[(((((((triple8) -> rule2)) -> rule7)) -> rule6))]