The bear likes the squirrel. The bear sees the lion. The dog is round. The dog sees the lion. The lion eats the bear. The lion is blue. The lion is green. The lion sees the dog. The squirrel eats the bear. The squirrel does not eat the dog. The squirrel is round. The squirrel sees the dog. If something eats the lion and it is green then it eats the dog. All round things are blue. All nice things are blue. If the dog eats the squirrel then the dog likes the bear. If something is blue then it eats the squirrel. If something likes the bear then the bear is blue. If the bear does not eat the squirrel then the bear does not eat the dog.
The squirrel is nice.
@0: The bear likes the squirrel.[(triple1)] The bear sees the lion.[(triple2)] The dog is round.[(triple3)] The dog sees the lion.[(triple4)] The lion eats the bear.[(triple5)] The lion is blue.[(triple6)] The lion is green.[(triple7)] The lion sees the dog.[(triple8)] The squirrel does not eat the dog.[(triple10)] The squirrel eats the bear.[(triple9)] The squirrel is round.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The dog is blue.[(((triple3) -> rule2))] The lion eats the squirrel.[(((triple6) -> rule5))] The squirrel is blue.[(((triple11) -> rule2))] @2: The dog eats the squirrel.[(((((triple3) -> rule2)) -> rule5))] The squirrel eats the squirrel.[(((((triple11) -> rule2)) -> rule5))] @3: The dog likes the bear.[(((((((triple3) -> rule2)) -> rule5)) -> rule4))] @4: The bear is blue.[(((((((((triple3) -> rule2)) -> rule5)) -> rule4)) -> rule6))] @5: The bear eats the squirrel.[(((((((((((triple3) -> rule2)) -> rule5)) -> rule4)) -> rule6)) -> rule5))]