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