The bear chases the cat. The bear eats the mouse. The bear is round. The bear sees the tiger. The cat eats the tiger. The cat is cold. The cat is round. The cat sees the tiger. The mouse chases the cat. The mouse eats the bear. The mouse eats the cat. The mouse sees the cat. The tiger chases the cat. The tiger chases the mouse. The tiger eats the mouse. The tiger sees the mouse. If the bear is round then the bear sees the mouse. If something sees the cat then the cat eats the tiger. If something is cold and it sees the bear then it eats the cat. If something sees the bear then the bear eats the cat. If the tiger chases the mouse and the mouse sees the tiger then the tiger chases the bear. If something sees the bear then it sees the cat.
The tiger chases the mouse.
@0: The bear chases the cat.[(triple1)] The bear eats the mouse.[(triple2)] The bear is round.[(triple3)] The bear sees the tiger.[(triple4)] The cat eats the tiger.[(triple5 OR ((triple12) -> rule2))] The cat is cold.[(triple6)] The cat is round.[(triple7)] The cat sees the tiger.[(triple8)] The mouse chases the cat.[(triple9)] The mouse eats the bear.[(triple10)] The mouse eats the cat.[(triple11)] The mouse sees the cat.[(triple12)] The tiger chases the cat.[(triple13)] The tiger chases the mouse.[(triple14)] The tiger eats the mouse.[(triple15)] The tiger sees the mouse.[(triple16)] @1: The bear sees the mouse.[(((triple3) -> rule1))]