The bear chases the lion. The bear is nice. The bear likes the squirrel. The bear visits the lion. The lion is cold. The lion is nice. The lion is red. The lion likes the bear. The lion visits the bear. The lion visits the squirrel. The squirrel chases the lion. The squirrel is round. The squirrel likes the bear. The squirrel visits the bear. The squirrel visits the lion. If someone chases the lion then the lion is blue.
The squirrel is not red.
@0: The bear chases the lion.[(triple1)] The bear is nice.[(triple2)] The bear likes the squirrel.[(triple3)] The bear visits the lion.[(triple4)] The lion is cold.[(triple5)] The lion is nice.[(triple6)] The lion is red.[(triple7)] The lion likes the bear.[(triple8)] The lion visits the bear.[(triple9)] The lion visits the squirrel.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel is round.[(triple12)] The squirrel likes the bear.[(triple13)] The squirrel visits the bear.[(triple14)] The squirrel visits the lion.[(triple15)] @1: The lion is blue.[(((triple1) -> rule1) OR ((triple11) -> rule1))]