The cow chases the tiger. The cow eats the mouse. The mouse is not round. The mouse sees the cow. The tiger chases the mouse. The tiger eats the cow. The tiger is rough. The tiger is round. The tiger sees the cow. The tiger sees the mouse. If the tiger eats the mouse then the mouse chases the tiger. If the tiger does not eat the cow and the cow does not eat the tiger then the cow is rough. If something chases the tiger then it is red. If something sees the mouse and the mouse chases the cow then it does not see the cow. If something sees the cow then it eats the mouse. If something sees the tiger then it is nice.
The mouse is not nice.
@0: The cow chases the tiger.[(triple1)] The cow eats the mouse.[(triple2)] The mouse is not round.[(triple3)] The mouse sees the cow.[(triple4)] The tiger chases the mouse.[(triple5)] The tiger eats the cow.[(triple6)] The tiger is rough.[(triple7)] The tiger is round.[(triple8)] The tiger sees the cow.[(triple9)] The tiger sees the mouse.[(triple10)] @1: The cow is red.[(((triple1) -> rule3))] The mouse eats the mouse.[(((triple4) -> rule5))] The tiger eats the mouse.[(((triple9) -> rule5))] @2: The mouse chases the tiger.[(((((triple9) -> rule5)) -> rule1))] @3: The mouse is red.[(((((((triple9) -> rule5)) -> rule1)) -> rule3))]