The bear chases the mouse. The bear chases the rabbit. The bear is big. The bear likes the mouse. The bear visits the rabbit. The mouse chases the bear. The mouse is big. The mouse is kind. The mouse likes the bear. The mouse likes the rabbit. The mouse visits the rabbit. The rabbit chases the mouse. The rabbit is big. The rabbit is young. The rabbit likes the bear. If something chases the rabbit then the rabbit chases the mouse. If something likes the rabbit and it is kind then the rabbit visits the bear. If something chases the bear and the bear visits the mouse then the mouse is red. If something is young then it visits the bear. If the bear visits the mouse and the bear is red then the mouse chases the bear. If something is red then it visits the bear. If something visits the rabbit then the rabbit is young. If the bear visits the rabbit and the rabbit likes the mouse then the rabbit is young.
The rabbit chases the mouse.
@0: The bear chases the mouse.[(triple1)] The bear chases the rabbit.[(triple2)] The bear is big.[(triple3)] The bear likes the mouse.[(triple4)] The bear visits the rabbit.[(triple5)] The mouse chases the bear.[(triple6)] The mouse is big.[(triple7)] The mouse is kind.[(triple8)] The mouse likes the bear.[(triple9)] The mouse likes the rabbit.[(triple10)] The mouse visits the rabbit.[(triple11)] The rabbit chases the mouse.[(triple12 OR ((triple2) -> rule1))] The rabbit is big.[(triple13)] The rabbit is young.[(triple14 OR ((triple11) -> rule7) OR ((triple5) -> rule7))] The rabbit likes the bear.[(triple15)] @1: The rabbit visits the bear.[(((triple14) -> rule4) OR ((triple10 triple8) -> rule2) OR ((((triple11) -> rule7)) -> rule4) OR ((((triple5) -> rule7)) -> rule4))]