The bear chases the mouse. The bear is red. The bear is young. The bear visits the rabbit. The lion chases the bear. The lion chases the mouse. The lion needs the rabbit. The lion visits the bear. The lion visits the mouse. The lion visits the rabbit. The mouse does not chase the rabbit. The mouse is young. The mouse needs the lion. The mouse does not visit the lion. The rabbit does not chase the lion. The rabbit is round. If someone needs the mouse and they chase the lion then they are red. If someone is round then they need the bear. If the mouse is green then the mouse needs the bear. If the lion needs the rabbit then the lion chases the bear. If someone visits the mouse and they are red then they do not visit the rabbit. If the rabbit is round and the rabbit does not need the bear then the bear is red.
The lion chases the mouse.
@0: The bear chases the mouse.[(triple1)] The bear is red.[(triple2)] The bear is young.[(triple3)] The bear visits the rabbit.[(triple4)] The lion chases the bear.[(triple5 OR ((triple7) -> rule4))] The lion chases the mouse.[(triple6)] The lion needs the rabbit.[(triple7)] The lion visits the bear.[(triple8)] The lion visits the mouse.[(triple9)] The lion visits the rabbit.[(triple10)] The mouse does not chase the rabbit.[(triple11)] The mouse does not visit the lion.[(triple14)] The mouse is young.[(triple12)] The mouse needs the lion.[(triple13)] The rabbit does not chase the lion.[(triple15)] The rabbit is round.[(triple16)] @1: The rabbit needs the bear.[(((triple16) -> rule2))]