The cow chases the tiger. The cow is round. The cow sees the rabbit. The mouse chases the cow. The mouse does not chase the tiger. The mouse visits the cow. The mouse visits the rabbit. The rabbit visits the mouse. The tiger chases the cow. The tiger visits the mouse. If something sees the mouse and the mouse does not chase the tiger then the mouse is young. If something is big and it chases the rabbit then it is not young. If something chases the tiger then it is red. If something sees the tiger and the tiger visits the rabbit then the tiger chases the cow. Red things are rough. If something chases the tiger and the tiger is round then the tiger sees the mouse. If the tiger is big then the tiger is rough. If something is rough then it visits the mouse.
The cow is round.
@0: The cow chases the tiger.[(triple1)] The cow is round.[(triple2)] The cow sees the rabbit.[(triple3)] The mouse chases the cow.[(triple4)] The mouse does not chase the tiger.[(triple5)] The mouse visits the cow.[(triple6)] The mouse visits the rabbit.[(triple7)] The rabbit visits the mouse.[(triple8)] The tiger chases the cow.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The cow is red.[(((triple1) -> rule3))] @2: The cow is rough.[(((((triple1) -> rule3)) -> rule5))] @3: The cow visits the mouse.[(((((((triple1) -> rule3)) -> rule5)) -> rule8))]