The bear eats the lion. The bear is blue. The bear is green. The bear does not like the squirrel. The bear needs the squirrel. The lion is cold. The lion is not green. The squirrel needs the lion. The tiger is blue. The tiger likes the squirrel. If someone is blue then they do not eat the bear.
The tiger does not eat the bear.
@0: The bear does not like the squirrel.[(triple4)] The bear eats the lion.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear needs the squirrel.[(triple5)] The lion is cold.[(triple6)] The lion is not green.[(triple7)] The squirrel needs the lion.[(triple8)] The tiger is blue.[(triple9)] The tiger likes the squirrel.[(triple10)] @1: The bear does not eat the bear.[(((triple2) -> rule1))] The tiger does not eat the bear.[(((triple9) -> rule1))]