The cat sees the tiger. The mouse eats the tiger. The mouse sees the cat. The tiger eats the cat. The tiger eats the mouse. The tiger is rough. The tiger sees the cat. If someone is young and they eat the tiger then the tiger sees the mouse. If someone eats the tiger then the tiger eats the cat.
The tiger does not see the mouse.
@0: The cat sees the tiger.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse sees the cat.[(triple3)] The tiger eats the cat.[(triple4 OR ((triple2) -> rule2))] The tiger eats the mouse.[(triple5)] The tiger is rough.[(triple6)] The tiger sees the cat.[(triple7)]