the hostage is a FAA.
sent1: the hostage is not a censoring. sent2: the hostage springs. sent3: the platelayer is a supply. sent4: that the spokesman is not a censoring is not false. sent5: if the spokesman is eruptive thing that is Spartan the override does not redden NRC. sent6: if something is not Sicilian but a supply then it is not a spring. sent7: the pabulum reddens NRC. sent8: the override supplies. sent9: the foster-child does censor. sent10: the foster-child is a kind of non-Ambrosian a Spartan. sent11: the spokesman shines style and it reddens NRC if the override is not a spring. sent12: the hostage is a FAA if the foster-child is a spring. sent13: something that reddens NRC is not a censoring and not non-eruptive. sent14: the spokesman is eruptive. sent15: if that something is not Sicilian and does not shine style is not true it does shine style. sent16: that the override is not Sicilian and does not shine style does not hold if it is a kind of a supply. sent17: if the spokesman is not a censoring it is not splenic and it is a Spartan. sent18: the fact that the hostage is not splenic but a FAA does not hold. sent19: something does coat Firenze and is a brioche. sent20: the fact that if the spokesman is not a kind of the supply the spokesman is not eruptive but it does redden NRC is not wrong. sent21: the foster-child springs if there is something such that it does not redden NRC and it shines style.
sent17 & sent4 -> int1: the spokesman is both not splenic and Spartan.; int1 -> int2: the spokesman is not non-Spartan.; int2 & sent14 -> int3: the spokesman is eruptive thing that is a Spartan.; int3 & sent5 -> int4: the override does not redden NRC.; sent15 -> int5: if the fact that the override is not a kind of a Sicilian and it does not shine style is wrong it shine style.; sent16 & sent8 -> int6: the fact that the override is non-Sicilian and does not shine style is false.; int5 & int6 -> int7: the override does shine style.; int4 & int7 -> int8: the override does not redden NRC but it shines style.; int8 -> int9: there is something such that it does not redden NRC and does shine style.; int9 & sent21 -> int10: the foster-child is a spring.; int10 & sent12 -> hypothesis;
the hostage is not a FAA.
sent13 -> int11: if the spokesman does redden NRC then it is not a censoring and is eruptive.; sent6 -> int12: if the override is not a Sicilian but a supply it does not spring.;
$hypothesis$ = the hostage is a FAA. ; $context$ = sent1: the hostage is not a censoring. sent2: the hostage springs. sent3: the platelayer is a supply. sent4: that the spokesman is not a censoring is not false. sent5: if the spokesman is eruptive thing that is Spartan the override does not redden NRC. sent6: if something is not Sicilian but a supply then it is not a spring. sent7: the pabulum reddens NRC. sent8: the override supplies. sent9: the foster-child does censor. sent10: the foster-child is a kind of non-Ambrosian a Spartan. sent11: the spokesman shines style and it reddens NRC if the override is not a spring. sent12: the hostage is a FAA if the foster-child is a spring. sent13: something that reddens NRC is not a censoring and not non-eruptive. sent14: the spokesman is eruptive. sent15: if that something is not Sicilian and does not shine style is not true it does shine style. sent16: that the override is not Sicilian and does not shine style does not hold if it is a kind of a supply. sent17: if the spokesman is not a censoring it is not splenic and it is a Spartan. sent18: the fact that the hostage is not splenic but a FAA does not hold. sent19: something does coat Firenze and is a brioche. sent20: the fact that if the spokesman is not a kind of the supply the spokesman is not eruptive but it does redden NRC is not wrong. sent21: the foster-child springs if there is something such that it does not redden NRC and it shines style. ; $proof$ = 
sent17 & sent4 -> int1: the spokesman is both not splenic and Spartan.; int1 -> int2: the spokesman is not non-Spartan.; int2 & sent14 -> int3: the spokesman is eruptive thing that is a Spartan.; int3 & sent5 -> int4: the override does not redden NRC.; sent15 -> int5: if the fact that the override is not a kind of a Sicilian and it does not shine style is wrong it shine style.; sent16 & sent8 -> int6: the fact that the override is non-Sicilian and does not shine style is false.; int5 & int6 -> int7: the override does shine style.; int4 & int7 -> int8: the override does not redden NRC but it shines style.; int8 -> int9: there is something such that it does not redden NRC and does shine style.; int9 & sent21 -> int10: the foster-child is a spring.; int10 & sent12 -> hypothesis; __PROVED__