The bear chases the mouse. The bear likes the cat. The bear visits the cat. The cat is nice. The cat is round. The cat visits the cow. The cow chases the cat. The cow likes the cat. The cow visits the mouse. The mouse is nice. The mouse is young. The mouse visits the cow. If something visits the cow then it chases the bear. If something likes the mouse and it visits the cat then the mouse is cold.
The bear does not like the cat.
@0: The bear chases the mouse.[(triple1)] The bear likes the cat.[(triple2)] The bear visits the cat.[(triple3)] The cat is nice.[(triple4)] The cat is round.[(triple5)] The cat visits the cow.[(triple6)] The cow chases the cat.[(triple7)] The cow likes the cat.[(triple8)] The cow visits the mouse.[(triple9)] The mouse is nice.[(triple10)] The mouse is young.[(triple11)] The mouse visits the cow.[(triple12)] @1: The cat chases the bear.[(((triple6) -> rule1))] The mouse chases the bear.[(((triple12) -> rule1))]