The mouse chases the rabbit. The mouse is rough. The mouse is round. The mouse likes the rabbit. The mouse sees the rabbit. The rabbit chases the mouse. The rabbit is green. The rabbit is rough. The rabbit likes the mouse. The rabbit sees the mouse. If something chases the rabbit then the rabbit likes the mouse. If something is rough and big then it sees the rabbit. If something likes the mouse and it likes the rabbit then it sees the rabbit.
The rabbit likes the rabbit.
@0: The mouse chases the rabbit.[(triple1)] The mouse is rough.[(triple2)] The mouse is round.[(triple3)] The mouse likes the rabbit.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit chases the mouse.[(triple6)] The rabbit is green.[(triple7)] The rabbit is rough.[(triple8)] The rabbit likes the mouse.[(triple9 OR ((triple1) -> rule1))] The rabbit sees the mouse.[(triple10)]