The dog is green. The dog is kind. The dog sees the rabbit. The rabbit chases the dog. The rabbit is green. The rabbit sees the dog. The rabbit sees the tiger. The rabbit visits the dog. The tiger is young. The tiger sees the rabbit. If something is blue and it chases the dog then the dog is blue. If something sees the dog then the dog is young. If something is young then it visits the rabbit. If the tiger is nice then the tiger sees the dog. If something sees the rabbit and the rabbit sees the dog then the dog visits the tiger. If something is blue then it sees the rabbit. If something sees the tiger then the tiger chases the dog. If something visits the dog then the dog chases the tiger.
The tiger is not young.
@0: The dog is green.[(triple1)] The dog is kind.[(triple2)] The dog sees the rabbit.[(triple3)] The rabbit chases the dog.[(triple4)] The rabbit is green.[(triple5)] The rabbit sees the dog.[(triple6)] The rabbit sees the tiger.[(triple7)] The rabbit visits the dog.[(triple8)] The tiger is young.[(triple9)] The tiger sees the rabbit.[(triple10)] @1: The dog chases the tiger.[(((triple8) -> rule8))] The dog is young.[(((triple6) -> rule2))] The dog visits the tiger.[(((triple10 triple6) -> rule5) OR ((triple3 triple6) -> rule5))] The tiger chases the dog.[(((triple7) -> rule7))] The tiger visits the rabbit.[(((triple9) -> rule3))] @2: The dog visits the rabbit.[(((((triple6) -> rule2)) -> rule3))]