translation.en: $answer$ ; $proof$ ; $question$ = The cat is cold. ; $context$ = sent1: The cat chases the dog. sent2: The cat is rough. sent3: The cat is young. sent4: The dog likes the squirrel. sent5: The dog sees the tiger. sent6: The squirrel chases the tiger. sent7: The squirrel is big. sent8: The squirrel is green. sent9: The squirrel likes the dog. sent10: The squirrel sees the dog. sent11: The tiger chases the cat. sent12: The tiger is green. sent13: The tiger likes the dog. sent14: The tiger likes the squirrel. sent15: If something likes the dog then it chases the tiger. sent16: If something is big and it chases the cat then the cat likes the squirrel. sent17: If something sees the cat then the cat is big. sent18: If something likes the squirrel then it sees the dog. sent19: If something is cold and it chases the cat then it sees the cat. sent20: If something sees the tiger then the tiger is big. sent21: Green, big things are young. sent22: Big things are cold.
translation.ro: $answer$ = True ; $proof$ = # sent22%int1 # sent17%int2 # sent19%int3 & # sent22%int4 # sent20%int5 sent5 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.