The cow is not rough. The cow sees the tiger. The squirrel is not nice. The squirrel is rough. The tiger is nice. The tiger visits the cow. The tiger visits the squirrel. If the tiger sees the cow then the cow sees the tiger. If something sees the cow and it is not cold then the cow does not visit the squirrel.
The tiger does not need the tiger.
@0: The cow is not rough.[(triple1)] The cow sees the tiger.[(triple2)] The squirrel is not nice.[(triple3)] The squirrel is rough.[(triple4)] The tiger is nice.[(triple5)] The tiger visits the cow.[(triple6)] The tiger visits the squirrel.[(triple7)]