The cat eats the lion. The cat is rough. The cat likes the lion. The cat likes the mouse. The lion chases the cat. The lion chases the mouse. The lion eats the cat. The lion eats the mouse. The lion is big. The lion is nice. The lion is rough. The lion likes the cat. The mouse chases the cat. The mouse chases the lion. The mouse eats the lion. The mouse likes the cat. If something likes the mouse and it is red then the mouse likes the cat.
The mouse is not nice.
@0: The cat eats the lion.[(triple1)] The cat is rough.[(triple2)] The cat likes the lion.[(triple3)] The cat likes the mouse.[(triple4)] The lion chases the cat.[(triple5)] The lion chases the mouse.[(triple6)] The lion eats the cat.[(triple7)] The lion eats the mouse.[(triple8)] The lion is big.[(triple9)] The lion is nice.[(triple10)] The lion is rough.[(triple11)] The lion likes the cat.[(triple12)] The mouse chases the cat.[(triple13)] The mouse chases the lion.[(triple14)] The mouse eats the lion.[(triple15)] The mouse likes the cat.[(triple16)]