translation.en: $answer$ ; $proof$ ; $question$ = The rabbit is young. ; $context$ = sent1: The cow is young. sent2: The cow sees the lion. sent3: The dog likes the cow. sent4: The dog likes the rabbit. sent5: The dog sees the rabbit. sent6: The lion is young. sent7: The lion sees the cow. sent8: The lion sees the dog. sent9: The lion sees the rabbit. sent10: The rabbit is round. sent11: The rabbit likes the cow. sent12: If someone visits the rabbit then the rabbit likes the lion. sent13: If someone likes the rabbit and the rabbit is red then the rabbit is big. sent14: If someone likes the lion and they see the rabbit then the lion likes the rabbit. sent15: If someone is young then they like the rabbit. sent16: If someone is young then they see the lion. sent17: If the lion is big then the lion visits the dog. sent18: If the rabbit likes the lion then the rabbit is young. sent19: If someone is young and they like the rabbit then they visit the rabbit.
translation.ro: $answer$ = True ; $proof$ = # sent18%int1 # sent12%int2 # sent19%int3 & sent1 # sent15%int4 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.