translation.en: $answer$ ; $proof$ ; $question$ = The tiger chases the lion. ; $context$ = sent1: The cat chases the tiger. sent2: The cat eats the dog. sent3: The cat is round. sent4: The cat is young. sent5: The cat visits the tiger. sent6: The dog chases the cat. sent7: The dog chases the lion. sent8: The dog chases the tiger. sent9: The dog is young. sent10: The lion chases the cat. sent11: The tiger chases the cat. sent12: The tiger eats the cat. sent13: The tiger is blue. sent14: The tiger is red. sent15: The tiger visits the cat. sent16: The tiger visits the lion. sent17: If something visits the lion then it is green. sent18: If something is red and it visits the lion then the lion eats the tiger. sent19: If the cat is round and the cat eats the lion then the lion chases the cat. sent20: If something is round and red then it visits the dog. sent21: If something visits the dog then it chases the lion. sent22: If the lion is blue and the cat does not eat the lion then the cat is green. sent23: If something eats the tiger and the tiger chases the lion then the lion is blue. sent24: Red things are round.
translation.ro: $answer$ = True ; $proof$ = # sent21%int1 # sent20%int2 & # sent24%int3 sent14 sent14 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.