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