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