The cow is young. The cow needs the rabbit. The rabbit is green. The rabbit needs the cow. The rabbit does not see the cow. The rabbit visits the cow. The tiger is young. The tiger needs the cow. The tiger sees the cow. The tiger does not visit the cow. If something is blue and it sees the rabbit then the rabbit is blue. If something visits the rabbit then it does not see the tiger. If something needs the cow then it visits the tiger. If something visits the tiger then the tiger does not visit the rabbit. If something is young and it does not need the tiger then the tiger sees the cow. If something is big and it does not visit the cow then the cow is green. If something needs the rabbit and it does not visit the tiger then it is big. Green things are round.
The tiger does not visit the rabbit.
@0: The cow is young.[(triple1)] The cow needs the rabbit.[(triple2)] The rabbit does not see the cow.[(triple5)] The rabbit is green.[(triple3)] The rabbit needs the cow.[(triple4)] The rabbit visits the cow.[(triple6)] The tiger does not visit the cow.[(triple10)] The tiger is young.[(triple7)] The tiger needs the cow.[(triple8)] The tiger sees the cow.[(triple9)] @1: The rabbit is round.[(((triple3) -> rule8))] The rabbit visits the tiger.[(((triple4) -> rule3))] The tiger visits the tiger.[(((triple8) -> rule3))] @2: The tiger does not visit the rabbit.[(((((triple4) -> rule3)) -> rule4) OR ((((triple8) -> rule3)) -> rule4))]