The bear is green. The bear likes the mouse. The cat is rough. The cat visits the bear. The cat visits the mouse. The lion is green. The mouse chases the lion. If someone is rough then they like the mouse. If the lion visits the mouse and the lion does not like the cat then the lion visits the cat. If someone visits the mouse then they are not big. If the cat is rough then the cat chases the lion. If someone chases the mouse and they are green then they visit the bear. If the bear is young then the bear does not chase the lion. If the mouse visits the bear then the mouse does not visit the cat. If someone likes the bear and they like the lion then the lion is green.
The mouse visits the bear.
@0: The bear is green.[(triple1)] The bear likes the mouse.[(triple2)] The cat is rough.[(triple3)] The cat visits the bear.[(triple4)] The cat visits the mouse.[(triple5)] The lion is green.[(triple6)] The mouse chases the lion.[(triple7)] @1: The cat chases the lion.[(((triple3) -> rule4))] The cat is not big.[(((triple5) -> rule3))] The cat likes the mouse.[(((triple3) -> rule1))]