translation.en: $answer$ ; $proof$ ; $question$ = The rabbit is round. ; $context$ = sent1: The bald eagle needs the bear. sent2: The bald eagle needs the rabbit. sent3: The bear is cold. sent4: The bear needs the rabbit. sent5: The bear needs the squirrel. sent6: The bear sees the bald eagle. sent7: The bear visits the bald eagle. sent8: The rabbit needs the bear. sent9: The rabbit needs the squirrel. sent10: The rabbit sees the bald eagle. sent11: The rabbit visits the bald eagle. sent12: The rabbit visits the squirrel. sent13: The squirrel needs the bear. sent14: The squirrel visits the bald eagle. sent15: If something is round and it sees the bald eagle then the bald eagle needs the bear. sent16: If something sees the squirrel and it needs the rabbit then the rabbit is cold. sent17: If something is green and rough then it visits the rabbit. sent18: If something is round then it sees the squirrel. sent19: Cold things are round. sent20: If the rabbit sees the bear then the bear sees the rabbit. sent21: If something is young and green then it sees the bald eagle.
translation.ro: $answer$ = True ; $proof$ = # sent19%int1 # sent16%int2 & # sent18%int3 # sent19%int4 sent3 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.