The bear chases the dog. The bear chases the squirrel. The bear chases the tiger. The bear does not need the tiger. The bear visits the dog. The bear visits the tiger. The dog chases the squirrel. The squirrel chases the bear. The tiger is big. The tiger does not need the bear. The tiger needs the dog. If someone chases the dog and they need the squirrel then the squirrel chases the tiger. If the dog needs the bear then the bear chases the dog. If someone chases the bear then they are nice. If the squirrel chases the dog then the dog chases the bear. If someone is nice then they chase the dog. If someone chases the squirrel then the squirrel is big. If someone is cold and not nice then they chase the squirrel.
The bear is not nice.
@0: The bear chases the dog.[(triple1)] The bear chases the squirrel.[(triple2)] The bear chases the tiger.[(triple3)] The bear does not need the tiger.[(triple4)] The bear visits the dog.[(triple5)] The bear visits the tiger.[(triple6)] The dog chases the squirrel.[(triple7)] The squirrel chases the bear.[(triple8)] The tiger does not need the bear.[(triple10)] The tiger is big.[(triple9)] The tiger needs the dog.[(triple11)] @1: The squirrel is big.[(((triple2) -> rule6) OR ((triple7) -> rule6))] The squirrel is nice.[(((triple8) -> rule3))] @2: The squirrel chases the dog.[(((((triple8) -> rule3)) -> rule5))] @3: The dog chases the bear.[(((((((triple8) -> rule3)) -> rule5)) -> rule4))] @4: The dog is nice.[(((((((((triple8) -> rule3)) -> rule5)) -> rule4)) -> rule3))] @5: The dog chases the dog.[(((((((((((triple8) -> rule3)) -> rule5)) -> rule4)) -> rule3)) -> rule5))]