The dog needs the tiger. The rabbit is red. The squirrel chases the tiger. The tiger chases the rabbit. The tiger chases the squirrel. The tiger is green. The tiger is nice. The tiger is young. The tiger visits the rabbit. The tiger visits the squirrel. If something is green and it chases the dog then the dog chases the rabbit. If something visits the rabbit and it chases the dog then the dog needs the squirrel. If something needs the squirrel then it visits the squirrel. If something chases the squirrel then it visits the dog. If something needs the rabbit then it needs the tiger. If something needs the dog then it needs the rabbit. If something visits the squirrel then it visits the dog. If something is red and it needs the tiger then it chases the squirrel.
The tiger visits the rabbit.
@0: The dog needs the tiger.[(triple1)] The rabbit is red.[(triple2)] The squirrel chases the tiger.[(triple3)] The tiger chases the rabbit.[(triple4)] The tiger chases the squirrel.[(triple5)] The tiger is green.[(triple6)] The tiger is nice.[(triple7)] The tiger is young.[(triple8)] The tiger visits the rabbit.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The tiger visits the dog.[(((triple10) -> rule7) OR ((triple5) -> rule4))]