The bear likes the mouse. The bear visits the mouse. The cat chases the lion. The cat chases the mouse. The cat is green. The cat likes the bear. The cat likes the mouse. The cat visits the bear. The cat visits the lion. The lion chases the cat. The lion chases the mouse. The lion visits the mouse. The mouse chases the lion. The mouse likes the bear. The mouse likes the lion. If something likes the lion and it chases the mouse then the mouse visits the bear. If something is kind and young then it chases the cat. If something likes the mouse then it visits the mouse. If something chases the bear then the bear is green. If something chases the bear and it likes the cat then it visits the cat. If something chases the lion and it visits the mouse then it is kind. If something is cold then it likes the mouse. Young things are red.
The lion is not kind.
@0: The bear likes the mouse.[(triple1)] The bear visits the mouse.[(triple2 OR ((triple1) -> rule3))] The cat chases the lion.[(triple3)] The cat chases the mouse.[(triple4)] The cat is green.[(triple5)] The cat likes the bear.[(triple6)] The cat likes the mouse.[(triple7)] The cat visits the bear.[(triple8)] The cat visits the lion.[(triple9)] The lion chases the cat.[(triple10)] The lion chases the mouse.[(triple11)] The lion visits the mouse.[(triple12)] The mouse chases the lion.[(triple13)] The mouse likes the bear.[(triple14)] The mouse likes the lion.[(triple15)] @1: The cat visits the mouse.[(((triple7) -> rule3))] @2: The cat is kind.[(((triple3 ((triple7) -> rule3)) -> rule6))]