The bear chases the cow. The bear visits the cow. The cow chases the bear. The cow is blue. The cow is not red. The cow is round. The cow likes the bear. If the cow visits the bear and the cow is young then the cow is round. If something visits the cow and it chases the bear then the bear is blue. If something chases the cow and it visits the bear then it likes the cow. If something likes the bear then it likes the cow. All young things are not blue. If the cow is blue and the cow visits the bear then the cow chases the bear. If the bear likes the cow and the bear chases the cow then the bear is young. If something chases the cow then it chases the bear.
The bear is young.
@0: The bear chases the cow.[(triple1)] The bear visits the cow.[(triple2)] The cow chases the bear.[(triple3)] The cow is blue.[(triple4)] The cow is not red.[(triple5)] The cow is round.[(triple6)] The cow likes the bear.[(triple7)] @1: The bear chases the bear.[(((triple1) -> rule8))] The cow likes the cow.[(((triple7) -> rule4))] @2: The bear is blue.[(((triple2 ((triple1) -> rule8)) -> rule2))]