The bear eats the lion. The bear is big. The bear visits the rabbit. The lion eats the rabbit. The lion is young. The lion sees the bear. The lion visits the rabbit. The rabbit eats the bear. The rabbit is green. The rabbit is nice. The rabbit sees the lion. The rabbit visits the lion. If the lion is nice then the lion is cold.
The rabbit is not green.
@0: The bear eats the lion.[(triple1)] The bear is big.[(triple2)] The bear visits the rabbit.[(triple3)] The lion eats the rabbit.[(triple4)] The lion is young.[(triple5)] The lion sees the bear.[(triple6)] The lion visits the rabbit.[(triple7)] The rabbit eats the bear.[(triple8)] The rabbit is green.[(triple9)] The rabbit is nice.[(triple10)] The rabbit sees the lion.[(triple11)] The rabbit visits the lion.[(triple12)]