The bear is nice. The bear does not like the tiger. The cow is big. The cow visits the bear. The cow visits the tiger. The tiger does not see the bear. The tiger visits the bear. If something visits the bear and it does not like the cow then it sees the bear. If something is red then it visits the tiger.
The cow is big.
@0: The bear does not like the tiger.[(triple2)] The bear is nice.[(triple1)] The cow is big.[(triple3)] The cow visits the bear.[(triple4)] The cow visits the tiger.[(triple5)] The tiger does not see the bear.[(triple6)] The tiger visits the bear.[(triple7)]