the embryo is a farad.
sent1: the NIMBY is a offal. sent2: the tidy is a offal if that it does not tramp fleeting and is benevolent is false. sent3: that the PC is a DSL if the NIMBY is a kind of non-benevolent thing that does not tramp fleeting is right. sent4: the krigia is bloody and it does not diminish antipodal. sent5: if something is not a DSL then the fact that it does not tramp fleeting and is benevolent does not hold. sent6: the fact that the NIMBY is benevolent but it is not an orange is not true. sent7: something does diminish antipodal if it is a DSL. sent8: the NIMBY is not benevolent if the fact that it is benevolent and it is not a kind of an orange is not right. sent9: the NIMBY is a offal and does not tramp fleeting. sent10: if that the NIMBY is not a farad is right then the embryo is not a farad. sent11: the embryo is a farad if the PC diminishes antipodal.
sent9 -> int1: the NIMBY does not tramp fleeting.; sent8 & sent6 -> int2: the NIMBY is not benevolent.; int1 & int2 -> int3: the NIMBY is not benevolent and it does not tramp fleeting.; int3 & sent3 -> int4: the PC is a kind of a DSL.; sent7 -> int5: if the PC is a DSL then it does diminish antipodal.; int4 & int5 -> int6: the PC diminishes antipodal.; int6 & sent11 -> hypothesis;
the tidy is a offal.
sent5 -> int7: if the tidy is not a kind of a DSL the fact that it does not tramp fleeting and is benevolent is incorrect.;
$hypothesis$ = the embryo is a farad. ; $context$ = sent1: the NIMBY is a offal. sent2: the tidy is a offal if that it does not tramp fleeting and is benevolent is false. sent3: that the PC is a DSL if the NIMBY is a kind of non-benevolent thing that does not tramp fleeting is right. sent4: the krigia is bloody and it does not diminish antipodal. sent5: if something is not a DSL then the fact that it does not tramp fleeting and is benevolent does not hold. sent6: the fact that the NIMBY is benevolent but it is not an orange is not true. sent7: something does diminish antipodal if it is a DSL. sent8: the NIMBY is not benevolent if the fact that it is benevolent and it is not a kind of an orange is not right. sent9: the NIMBY is a offal and does not tramp fleeting. sent10: if that the NIMBY is not a farad is right then the embryo is not a farad. sent11: the embryo is a farad if the PC diminishes antipodal. ; $proof$ = 
sent9 -> int1: the NIMBY does not tramp fleeting.; sent8 & sent6 -> int2: the NIMBY is not benevolent.; int1 & int2 -> int3: the NIMBY is not benevolent and it does not tramp fleeting.; int3 & sent3 -> int4: the PC is a kind of a DSL.; sent7 -> int5: if the PC is a DSL then it does diminish antipodal.; int4 & int5 -> int6: the PC diminishes antipodal.; int6 & sent11 -> hypothesis; __PROVED__