The bear chases the squirrel. The bear is nice. The bear likes the dog. The dog chases the squirrel. The dog is red. The dog likes the squirrel. The dog likes the tiger. The dog sees the bear. The dog sees the tiger. The squirrel chases the dog. The squirrel likes the tiger. The squirrel sees the tiger. The tiger chases the bear. The tiger chases the dog. The tiger likes the bear. If someone is nice then they see the squirrel. If someone likes the tiger then the tiger is nice. If someone sees the bear then they like the squirrel. If someone sees the squirrel and the squirrel sees the tiger then the squirrel chases the dog. If someone likes the squirrel then the squirrel is red. If the bear sees the dog then the bear is red.
The squirrel is not red.
@0: The bear chases the squirrel.[(triple1)] The bear is nice.[(triple2)] The bear likes the dog.[(triple3)] The dog chases the squirrel.[(triple4)] The dog is red.[(triple5)] The dog likes the squirrel.[(triple6 OR ((triple8) -> rule3))] The dog likes the tiger.[(triple7)] The dog sees the bear.[(triple8)] The dog sees the tiger.[(triple9)] The squirrel chases the dog.[(triple10 OR ((((triple2) -> rule1) triple12) -> rule4) OR ((((((triple11) -> rule2)) -> rule1) triple12) -> rule4) OR ((((((triple7) -> rule2)) -> rule1) triple12) -> rule4))] The squirrel likes the tiger.[(triple11)] The squirrel sees the tiger.[(triple12)] The tiger chases the bear.[(triple13)] The tiger chases the dog.[(triple14)] The tiger likes the bear.[(triple15)] @1: The bear sees the squirrel.[(((triple2) -> rule1))] The squirrel is red.[(((triple6) -> rule5) OR ((((triple8) -> rule3)) -> rule5))] The tiger is nice.[(((triple11) -> rule2) OR ((triple7) -> rule2))] @2: The tiger sees the squirrel.[(((((triple11) -> rule2)) -> rule1) OR ((((triple7) -> rule2)) -> rule1))]