The cow sees the mouse. The cow visits the rabbit. The lion is green. The lion is kind. The mouse sees the rabbit. The rabbit likes the cow. The rabbit sees the mouse. If something sees the mouse then it likes the rabbit. If something visits the lion and it sees the cow then the cow likes the rabbit. If something is kind then it visits the mouse. If the cow likes the mouse and the mouse visits the rabbit then the mouse likes the rabbit. If the cow likes the lion and the lion is rough then the lion visits the cow. If something visits the cow then the cow visits the lion. If something sees the rabbit then the rabbit is kind. If the lion visits the mouse then the lion is rough.
The rabbit visits the cow.
@0: The cow sees the mouse.[(triple1)] The cow visits the rabbit.[(triple2)] The lion is green.[(triple3)] The lion is kind.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit likes the cow.[(triple6)] The rabbit sees the mouse.[(triple7)] @1: The cow likes the rabbit.[(((triple1) -> rule1))] The lion visits the mouse.[(((triple4) -> rule3))] The rabbit is kind.[(((triple5) -> rule7))] The rabbit likes the rabbit.[(((triple7) -> rule1))] @2: The lion is rough.[(((((triple4) -> rule3)) -> rule8))] The rabbit visits the mouse.[(((((triple5) -> rule7)) -> rule3))]