The bear eats the lion. The bear is blue. The bear is round. The bear likes the lion. The bear likes the squirrel. The bear visits the lion. The lion likes the squirrel. The lion visits the bear. The lion visits the squirrel. The squirrel likes the lion. If something visits the squirrel then the squirrel likes the lion. If the lion is round then the lion is young. If something visits the squirrel and the squirrel is blue then it eats the lion. If something visits the squirrel then the squirrel likes the bear. If something is nice then it visits the bear. If something likes the bear then it is nice.
The lion is not blue.
@0: The bear eats the lion.[(triple1)] The bear is blue.[(triple2)] The bear is round.[(triple3)] The bear likes the lion.[(triple4)] The bear likes the squirrel.[(triple5)] The bear visits the lion.[(triple6)] The lion likes the squirrel.[(triple7)] The lion visits the bear.[(triple8)] The lion visits the squirrel.[(triple9)] The squirrel likes the lion.[(triple10 OR ((triple9) -> rule1))] @1: The squirrel likes the bear.[(((triple9) -> rule4))] @2: The squirrel is nice.[(((((triple9) -> rule4)) -> rule6))] @3: The squirrel visits the bear.[(((((((triple9) -> rule4)) -> rule6)) -> rule5))]