translation.en: $answer$ ; $proof$ ; $question$ = Dave is quiet. ; $context$ = sent1: Charlie is blue. sent2: Charlie is cold. sent3: Charlie is kind. sent4: Charlie is nice. sent5: Charlie is quiet. sent6: Charlie is red. sent7: Dave is cold. sent8: Erin is cold. sent9: Erin is nice. sent10: Erin is red. sent11: Harry is red. sent12: If Dave is cold then Dave is red. sent13: If someone is kind then they are blue. sent14: Cold, nice people are blue. sent15: All red people are nice. sent16: All nice, blue people are quiet. sent17: If Charlie is nice then Charlie is blue. sent18: Kind people are red. sent19: If someone is red and quiet then they are rough. sent20: If Charlie is quiet and Charlie is not nice then Charlie is rough.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 & # sent15%int3 # sent12%int4 sent7 # sent14%int2 & sent7 # sent15%int3 # sent12%int4 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.