translation.en: $answer$ ; $proof$ ; $question$ = The squirrel is not cold. ; $context$ = sent1: The bear chases the cow. sent2: The bear chases the lion. sent3: The bear chases the squirrel. sent4: The bear is round. sent5: The bear visits the cow. sent6: The bear visits the lion. sent7: The bear visits the squirrel. sent8: The cow chases the squirrel. sent9: The cow needs the squirrel. sent10: The cow visits the lion. sent11: The lion is kind. sent12: The lion visits the bear. sent13: The squirrel chases the lion. sent14: The squirrel needs the bear. sent15: If something visits the lion then it is kind. sent16: All kind things are cold. sent17: If something is cold and it visits the squirrel then the squirrel visits the lion. sent18: If something chases the cow and the cow is rough then it is young. sent19: If something chases the cow then the cow is cold.
translation.ro: $answer$ = False ; $proof$ = # sent16%int1 # sent15%int2 # sent17%int3 & # sent16%int4 # sent15%int5 sent6 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.