The bear chases the dog. The bear is cold. The bear is green. The bear is nice. The bear sees the dog. The bear sees the lion. The bear sees the squirrel. The dog eats the squirrel. The lion chases the bear. The lion chases the dog. The lion eats the bear. The lion eats the squirrel. The lion is red. The squirrel chases the bear. The squirrel chases the dog. The squirrel is cold. If someone sees the bear and they are cold then the bear chases the lion. If someone chases the dog then the dog sees the bear. If someone is cold then they are green. If someone sees the bear then the bear eats the dog. If someone eats the squirrel and the squirrel sees the lion then the squirrel eats the dog. If someone chases the dog then the dog sees the squirrel.
The lion is not green.
@0: The bear chases the dog.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3 OR ((triple2) -> rule3))] The bear is nice.[(triple4)] The bear sees the dog.[(triple5)] The bear sees the lion.[(triple6)] The bear sees the squirrel.[(triple7)] The dog eats the squirrel.[(triple8)] The lion chases the bear.[(triple9)] The lion chases the dog.[(triple10)] The lion eats the bear.[(triple11)] The lion eats the squirrel.[(triple12)] The lion is red.[(triple13)] The squirrel chases the bear.[(triple14)] The squirrel chases the dog.[(triple15)] The squirrel is cold.[(triple16)] @1: The dog sees the bear.[(((triple1) -> rule2) OR ((triple10) -> rule2) OR ((triple15) -> rule2))] The dog sees the squirrel.[(((triple1) -> rule6) OR ((triple10) -> rule6) OR ((triple15) -> rule6))] The squirrel is green.[(((triple16) -> rule3))] @2: The bear eats the dog.[(((((triple1) -> rule2)) -> rule4) OR ((((triple10) -> rule2)) -> rule4) OR ((((triple15) -> rule2)) -> rule4))]