translation.en: $answer$ ; $proof$ ; $question$ = Bob is furry. ; $context$ = sent1: Bob is blue. sent2: Bob is nice. sent3: Dave is big. sent4: Dave is blue. sent5: Dave is cold. sent6: Dave is furry. sent7: Dave is green. sent8: Dave is nice. sent9: Dave is white. sent10: Erin is furry. sent11: Erin is green. sent12: Erin is white. sent13: Gary is big. sent14: Gary is green. sent15: Gary is nice. sent16: Gary is white. sent17: If Dave is nice then Dave is furry. sent18: Blue, furry things are green. sent19: Cold things are furry. sent20: If something is nice then it is cold. sent21: Furry things are cold. sent22: White things are big. sent23: If something is green and blue then it is white.
translation.ro: $answer$ = True ; $proof$ = # sent19%int1 # sent20%int2 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.