The lion sees the mouse. The mouse likes the rabbit. The rabbit is green. The tiger is not kind. If the rabbit does not like the tiger then the rabbit does not see the mouse. If something likes the rabbit then the rabbit chases the mouse. If something chases the rabbit then it likes the lion. If something sees the rabbit then it sees the mouse. If the tiger chases the rabbit and the tiger is green then the rabbit sees the lion. If something chases the mouse then the mouse chases the rabbit. If something sees the mouse then the mouse is rough. If something likes the rabbit and it does not see the mouse then it is not rough.
The mouse is not rough.
@0: The lion sees the mouse.[(triple1)] The mouse likes the rabbit.[(triple2)] The rabbit is green.[(triple3)] The tiger is not kind.[(triple4)] @1: The mouse is rough.[(((triple1) -> rule7))] The rabbit chases the mouse.[(((triple2) -> rule2))] @2: The mouse chases the rabbit.[(((((triple2) -> rule2)) -> rule6))] @3: The mouse likes the lion.[(((((((triple2) -> rule2)) -> rule6)) -> rule3))]