translation.en: $answer$ ; $proof$ ; $question$ = The dog is cold. ; $context$ = sent1: The bear is green. sent2: The bear likes the cat. sent3: The bear likes the dog. sent4: The bear visits the dog. sent5: The cat is young. sent6: The cat sees the bear. sent7: The cat sees the dog. sent8: The cat visits the bear. sent9: The cat visits the mouse. sent10: The dog is round. sent11: The dog likes the bear. sent12: The dog likes the mouse. sent13: The dog visits the mouse. sent14: The mouse is big. sent15: The mouse is cold. sent16: The mouse is round. sent17: If something visits the mouse and the mouse visits the dog then it is cold. sent18: If something likes the cat then it visits the dog. sent19: If something is cold then it likes the cat. sent20: If something is green then it sees the dog. sent21: If something likes the mouse then it sees the cat. sent22: If something is green and cold then it likes the cat. sent23: If something is big and it visits the bear then the bear is green.
translation.ro: $answer$ = True ; $proof$ = # sent17%int1 & sent13 # sent18%int2 # sent19%int3 sent15 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.