The bear chases the cow. The bear chases the tiger. The bear is blue. The bear is kind. The bear visits the cow. The cow chases the tiger. The cow needs the bear. The cow visits the bear. The tiger chases the bear. The tiger does not need the bear. The tiger does not visit the bear. The tiger visits the cow. If something visits the tiger then the tiger is not kind. If something chases the bear and the bear does not chase the cow then the bear needs the tiger. If something needs the tiger then it visits the tiger. If something needs the bear and the bear chases the cow then the cow needs the tiger. If the tiger is rough then the tiger needs the bear. If something is kind and it visits the tiger then the tiger is blue.
The tiger is not kind.
@0: The bear chases the cow.[(triple1)] The bear chases the tiger.[(triple2)] The bear is blue.[(triple3)] The bear is kind.[(triple4)] The bear visits the cow.[(triple5)] The cow chases the tiger.[(triple6)] The cow needs the bear.[(triple7)] The cow visits the bear.[(triple8)] The tiger chases the bear.[(triple9)] The tiger does not need the bear.[(triple10)] The tiger does not visit the bear.[(triple11)] The tiger visits the cow.[(triple12)] @1: The cow needs the tiger.[(((triple7 triple1) -> rule4))] @2: The cow visits the tiger.[(((((triple7 triple1) -> rule4)) -> rule3))] @3: The tiger is not kind.[(((((((triple7 triple1) -> rule4)) -> rule3)) -> rule1))]