The bear is round. The cat is round. The mouse eats the tiger. The mouse is round. The tiger is red. The tiger likes the cat. The tiger sees the mouse. If the tiger sees the cat and the cat likes the mouse then the mouse eats the cat.
The cat is not round.
@0: The bear is round.[(triple1)] The cat is round.[(triple2)] The mouse eats the tiger.[(triple3)] The mouse is round.[(triple4)] The tiger is red.[(triple5)] The tiger likes the cat.[(triple6)] The tiger sees the mouse.[(triple7)]