The dog does not eat the rabbit. The mouse eats the tiger. The mouse is green. The rabbit does not chase the tiger. The rabbit eats the dog. The rabbit is young. The tiger is green. If something visits the mouse then the mouse is big. If something eats the tiger then the tiger visits the mouse. If the dog is young and the dog does not visit the mouse then the mouse does not visit the rabbit. If something is green and it chases the rabbit then the rabbit does not eat the mouse. If something is green then it visits the dog. If something visits the rabbit and the rabbit is young then it is round. If something is round and it visits the dog then it chases the tiger. If something is big then it visits the rabbit.
The mouse does not visit the rabbit.
@0: The dog does not eat the rabbit.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is green.[(triple3)] The rabbit does not chase the tiger.[(triple4)] The rabbit eats the dog.[(triple5)] The rabbit is young.[(triple6)] The tiger is green.[(triple7)] @1: The mouse visits the dog.[(((triple3) -> rule5))] The tiger visits the dog.[(((triple7) -> rule5))] The tiger visits the mouse.[(((triple2) -> rule2))] @2: The mouse is big.[(((((triple2) -> rule2)) -> rule1))] @3: The mouse visits the rabbit.[(((((((triple2) -> rule2)) -> rule1)) -> rule8))] @4: The mouse is round.[(((((((((triple2) -> rule2)) -> rule1)) -> rule8) triple6) -> rule6))] @5: The mouse chases the tiger.[(((((((((((triple2) -> rule2)) -> rule1)) -> rule8) triple6) -> rule6) ((triple3) -> rule5)) -> rule7))]