The cat chases the mouse. The cat chases the tiger. The cat is nice. The cat does not see the mouse. The cat sees the tiger. The lion likes the mouse. The lion does not see the mouse. The mouse does not chase the cat. The mouse is kind. The mouse sees the cat. The tiger is nice. The tiger does not see the mouse. If the lion chases the mouse then the lion is nice. If something chases the cat and it chases the mouse then it sees the cat. If something sees the tiger then the tiger chases the cat. If the mouse chases the cat then the mouse is rough. If the mouse sees the cat and the mouse sees the tiger then the tiger is kind. If something likes the mouse and it likes the cat then the cat chases the tiger. If something likes the tiger and it is not nice then the tiger likes the mouse. If something sees the cat and the cat chases the tiger then it likes the mouse.
The tiger is not kind.
@0: The cat chases the mouse.[(triple1)] The cat chases the tiger.[(triple2)] The cat does not see the mouse.[(triple4)] The cat is nice.[(triple3)] The cat sees the tiger.[(triple5)] The lion does not see the mouse.[(triple7)] The lion likes the mouse.[(triple6)] The mouse does not chase the cat.[(triple8)] The mouse is kind.[(triple9)] The mouse sees the cat.[(triple10)] The tiger does not see the mouse.[(triple12)] The tiger is nice.[(triple11)] @1: The mouse likes the mouse.[(((triple10 triple2) -> rule8))] The tiger chases the cat.[(((triple5) -> rule3))]