The cow visits the tiger. The squirrel needs the tiger. The tiger sees the cow. All green things are not blue. If something visits the cow then the cow is rough. If something sees the tiger then it visits the squirrel. If something needs the tiger then it sees the squirrel. If something is round then it needs the cow. If something sees the squirrel then it does not visit the tiger. If something needs the cow then it visits the tiger. If the cow is green and the cow does not visit the squirrel then the squirrel is round.
The cow visits the tiger.
@0: The cow visits the tiger.[(triple1)] The squirrel needs the tiger.[(triple2)] The tiger sees the cow.[(triple3)] @1: The squirrel sees the squirrel.[(((triple2) -> rule4))] @2: The squirrel does not visit the tiger.[(((((triple2) -> rule4)) -> rule6))]