The bear is big. The dog eats the bear. The dog eats the lion. The dog sees the bear. The dog visits the bear. The lion sees the dog. The rabbit is cold. If the rabbit does not eat the lion and the rabbit is not green then the lion is rough. If the lion visits the bear and the rabbit does not visit the lion then the rabbit is cold.
The lion is not rough.
@0: The bear is big.[(triple1)] The dog eats the bear.[(triple2)] The dog eats the lion.[(triple3)] The dog sees the bear.[(triple4)] The dog visits the bear.[(triple5)] The lion sees the dog.[(triple6)] The rabbit is cold.[(triple7)]