The bear is big. The bear does not need the lion. The bear needs the rabbit. The bear does not visit the rabbit. The lion is blue. The mouse is big. The mouse is not blue. The mouse does not need the lion. The mouse sees the lion. The mouse visits the bear. The rabbit is cold. The rabbit needs the bear. The rabbit needs the mouse. The rabbit sees the bear. The rabbit does not visit the bear. If the lion is red and the lion visits the bear then the bear is rough. If something is big then it visits the lion. If something sees the rabbit and it does not visit the mouse then the mouse needs the bear.
The bear does not visit the rabbit.
@0: The bear does not need the lion.[(triple2)] The bear does not visit the rabbit.[(triple4)] The bear is big.[(triple1)] The bear needs the rabbit.[(triple3)] The lion is blue.[(triple5)] The mouse does not need the lion.[(triple8)] The mouse is big.[(triple6)] The mouse is not blue.[(triple7)] The mouse sees the lion.[(triple9)] The mouse visits the bear.[(triple10)] The rabbit does not visit the bear.[(triple15)] The rabbit is cold.[(triple11)] The rabbit needs the bear.[(triple12)] The rabbit needs the mouse.[(triple13)] The rabbit sees the bear.[(triple14)] @1: The bear visits the lion.[(((triple1) -> rule2))] The mouse visits the lion.[(((triple6) -> rule2))]