The bear does not chase the cow. The cow chases the tiger. The cow is nice. The cow likes the tiger. The cow does not visit the bear. The tiger chases the bear. The tiger chases the cow. The tiger is nice. The tiger is rough. The tiger likes the bear. If the bear visits the tiger and the bear is not blue then the tiger visits the cow. If something is blue then it does not like the tiger. If something likes the cow then the cow is nice. If something chases the cow and the cow chases the tiger then the cow visits the tiger. If something is nice and it does not like the tiger then it chases the tiger. If something chases the tiger and the tiger is not rough then it likes the bear. If something visits the tiger then it likes the bear. If something likes the bear then it visits the cow.
The cow does not like the bear.
@0: The bear does not chase the cow.[(triple1)] The cow chases the tiger.[(triple2)] The cow does not visit the bear.[(triple5)] The cow is nice.[(triple3)] The cow likes the tiger.[(triple4)] The tiger chases the bear.[(triple6)] The tiger chases the cow.[(triple7)] The tiger is nice.[(triple8)] The tiger is rough.[(triple9)] The tiger likes the bear.[(triple10)] @1: The cow visits the tiger.[(((triple7 triple2) -> rule4))] The tiger visits the cow.[(((triple10) -> rule8))] @2: The cow likes the bear.[(((((triple7 triple2) -> rule4)) -> rule7))] @3: The cow visits the cow.[(((((((triple7 triple2) -> rule4)) -> rule7)) -> rule8))]