The cat chases the lion. The cat is kind. The cat is nice. The cow does not eat the cat. The cow visits the cat. The lion chases the cat. The lion eats the cat. The lion is green. The lion visits the cow. The lion visits the mouse. The mouse eats the cow. The mouse is red. If the cat visits the mouse and the cat is red then the mouse is green.
The lion visits the mouse.
@0: The cat chases the lion.[(triple1)] The cat is kind.[(triple2)] The cat is nice.[(triple3)] The cow does not eat the cat.[(triple4)] The cow visits the cat.[(triple5)] The lion chases the cat.[(triple6)] The lion eats the cat.[(triple7)] The lion is green.[(triple8)] The lion visits the cow.[(triple9)] The lion visits the mouse.[(triple10)] The mouse eats the cow.[(triple11)] The mouse is red.[(triple12)]