The cow is cold. The cow sees the lion. The dog is round. The dog sees the lion. The lion eats the dog. The mouse eats the cow. The mouse is nice. If the lion is kind then the lion is round.
The dog does not see the lion.
@0: The cow is cold.[(triple1)] The cow sees the lion.[(triple2)] The dog is round.[(triple3)] The dog sees the lion.[(triple4)] The lion eats the dog.[(triple5)] The mouse eats the cow.[(triple6)] The mouse is nice.[(triple7)]