The bear eats the dog. The bear does not eat the lion. The bear is round. The bear likes the dog. The dog is not kind. The dog likes the squirrel. The dog sees the lion. The lion is blue. The lion is not kind. The lion likes the dog. The lion sees the bear. The lion sees the dog. The lion does not see the squirrel. The squirrel eats the dog. The squirrel is not blue. The squirrel does not like the dog. If the squirrel eats the dog then the squirrel does not see the dog. If someone sees the squirrel then the squirrel is blue. If someone sees the squirrel then the squirrel eats the bear. If someone sees the bear then the bear is young. If someone is round and young then they eat the squirrel. If someone is green then they see the bear.
The dog is blue.
@0: The bear does not eat the lion.[(triple2)] The bear eats the dog.[(triple1)] The bear is round.[(triple3)] The bear likes the dog.[(triple4)] The dog is not kind.[(triple5)] The dog likes the squirrel.[(triple6)] The dog sees the lion.[(triple7)] The lion does not see the squirrel.[(triple13)] The lion is blue.[(triple8)] The lion is not kind.[(triple9)] The lion likes the dog.[(triple10)] The lion sees the bear.[(triple11)] The lion sees the dog.[(triple12)] The squirrel does not like the dog.[(triple16)] The squirrel eats the dog.[(triple14)] The squirrel is not blue.[(triple15)] @1: The bear is young.[(((triple11) -> rule4))] The squirrel does not see the dog.[(((triple14) -> rule1))] @2: The bear eats the squirrel.[(((triple3 ((triple11) -> rule4)) -> rule5))]