The cow chases the mouse. The cow chases the tiger. The cow is big. The cow sees the rabbit. The cow sees the tiger. The mouse eats the cow. The mouse eats the tiger. The mouse is nice. The mouse is red. The rabbit chases the tiger. The tiger chases the mouse. The tiger eats the rabbit. The tiger is big. The tiger is blue. The tiger is nice. If someone is nice then they see the cow.
The rabbit does not see the cow.
@0: The cow chases the mouse.[(triple1)] The cow chases the tiger.[(triple2)] The cow is big.[(triple3)] The cow sees the rabbit.[(triple4)] The cow sees the tiger.[(triple5)] The mouse eats the cow.[(triple6)] The mouse eats the tiger.[(triple7)] The mouse is nice.[(triple8)] The mouse is red.[(triple9)] The rabbit chases the tiger.[(triple10)] The tiger chases the mouse.[(triple11)] The tiger eats the rabbit.[(triple12)] The tiger is big.[(triple13)] The tiger is blue.[(triple14)] The tiger is nice.[(triple15)] @1: The mouse sees the cow.[(((triple8) -> rule1))] The tiger sees the cow.[(((triple15) -> rule1))]