The bear chases the rabbit. The bear eats the rabbit. The bear is kind. The bear sees the lion. The bear sees the rabbit. The lion chases the bear. The lion does not eat the bear. The lion does not eat the rabbit. The lion is big. The lion is rough. The lion does not see the bear. The rabbit chases the lion. The rabbit eats the bear. The rabbit eats the lion. The rabbit is big. The rabbit is not nice. If something sees the bear then it is cold. If something is rough and it chases the bear then it is not cold.
The bear is not cold.
@0: The bear chases the rabbit.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is kind.[(triple3)] The bear sees the lion.[(triple4)] The bear sees the rabbit.[(triple5)] The lion chases the bear.[(triple6)] The lion does not eat the bear.[(triple7)] The lion does not eat the rabbit.[(triple8)] The lion does not see the bear.[(triple11)] The lion is big.[(triple9)] The lion is rough.[(triple10)] The rabbit chases the lion.[(triple12)] The rabbit eats the bear.[(triple13)] The rabbit eats the lion.[(triple14)] The rabbit is big.[(triple15)] The rabbit is not nice.[(triple16)] @1: The lion is not cold.[(((triple10 triple6) -> rule2))]