The bear is blue. The bear is young. The bear does not visit the rabbit. The lion chases the bear. The lion is not blue. The lion is not cold. The mouse chases the bear. The mouse is young. The mouse visits the bear. The mouse visits the lion. The rabbit chases the bear. The rabbit chases the lion. The rabbit is not green. The rabbit is young. The rabbit visits the bear. If someone visits the lion and they are not cold then they are young. If someone chases the bear then they are rough. If the bear chases the lion and the lion is cold then the lion chases the bear. If the rabbit is not cold then the rabbit does not see the bear. If the rabbit chases the lion and the rabbit visits the mouse then the rabbit visits the lion. If someone is rough then they visit the lion. If the lion is not blue then the lion visits the mouse. If someone chases the lion then they visit the mouse.
The mouse does not visit the mouse.
@0: The bear does not visit the rabbit.[(triple3)] The bear is blue.[(triple1)] The bear is young.[(triple2)] The lion chases the bear.[(triple4)] The lion is not blue.[(triple5)] The lion is not cold.[(triple6)] The mouse chases the bear.[(triple7)] The mouse is young.[(triple8)] The mouse visits the bear.[(triple9)] The mouse visits the lion.[(triple10 OR ((((triple7) -> rule2)) -> rule6))] The rabbit chases the bear.[(triple11)] The rabbit chases the lion.[(triple12)] The rabbit is not green.[(triple13)] The rabbit is young.[(triple14)] The rabbit visits the bear.[(triple15)] @1: The lion is rough.[(((triple4) -> rule2))] The lion visits the mouse.[(((triple5) -> rule7))] The mouse is rough.[(((triple7) -> rule2))] The rabbit is rough.[(((triple11) -> rule2))] The rabbit visits the mouse.[(((triple12) -> rule8))] @2: The lion visits the lion.[(((((triple4) -> rule2)) -> rule6))] The rabbit visits the lion.[(((((triple11) -> rule2)) -> rule6) OR ((triple12 ((triple12) -> rule8)) -> rule5))] @3: The lion is young.[(((((((triple4) -> rule2)) -> rule6) triple6) -> rule1))]