The bear is cold. The bear visits the mouse. The lion does not chase the bear. The lion chases the rabbit. The lion visits the rabbit. The mouse is cold. The mouse is green. The mouse is nice. The mouse needs the rabbit. The rabbit is cold. The rabbit visits the bear. The rabbit visits the mouse. If someone needs the lion then they visit the mouse. If someone visits the bear and the bear is cold then they chase the lion. If the bear is kind then the bear is not green. If someone visits the mouse then they visit the bear. If someone is cold then they need the mouse. If someone is nice and they visit the bear then they are blue. If someone chases the mouse and they are green then the mouse does not visit the rabbit. If someone is cold and they do not need the mouse then the mouse does not visit the lion.
The lion visits the mouse.
@0: The bear is cold.[(triple1)] The bear visits the mouse.[(triple2)] The lion chases the rabbit.[(triple4)] The lion does not chase the bear.[(triple3)] The lion visits the rabbit.[(triple5)] The mouse is cold.[(triple6)] The mouse is green.[(triple7)] The mouse is nice.[(triple8)] The mouse needs the rabbit.[(triple9)] The rabbit is cold.[(triple10)] The rabbit visits the bear.[(triple11 OR ((triple12) -> rule4))] The rabbit visits the mouse.[(triple12)] @1: The bear needs the mouse.[(((triple1) -> rule5))] The bear visits the bear.[(((triple2) -> rule4))] The mouse needs the mouse.[(((triple6) -> rule5))] The rabbit chases the lion.[(((triple11 triple1) -> rule2) OR ((((triple12) -> rule4) triple1) -> rule2))] The rabbit needs the mouse.[(((triple10) -> rule5))] @2: The bear chases the lion.[(((((triple2) -> rule4) triple1) -> rule2))]