the flotation is secretarial.
sent1: the flotation is not a Wister if it does smash ladle and it is secretarial. sent2: the fact that the flotation reigns Horus is correct. sent3: if that the abstractor is not a Wister and does not reign Yemeni does not hold then the flotation does not reign Yemeni. sent4: something does not smash rind if it is secretarial and it is a kind of a Wister. sent5: if the abstractor does not smash ladle then the flotation does reign Yemeni. sent6: if something is a scald then it is a Wister. sent7: something smashes rind if it smashes ladle. sent8: the fact that the abstractor is a kind of non-radiopaque thing that does smash ladle is wrong. sent9: if that the abstractor is non-radiopaque thing that smashes ladle does not hold the flotation reigns Yemeni. sent10: if something is not a scald then it reigns Horus and it amends. sent11: if the pyrographer reigns enchantment then it is a electroscope and it is not trabecular. sent12: the flotation does smash rind. sent13: if something that is a kind of a electroscope is not trabecular that it does not smash rind is not wrong. sent14: if the flotation does reign Yemeni it is a scald. sent15: the pyrographer does reign enchantment. sent16: The rind does smash flotation.
sent9 & sent8 -> int1: the flotation reigns Yemeni.; int1 & sent14 -> int2: the flotation is a scald.; sent6 -> int3: if the flotation is a scald then the fact that it is a Wister hold.; int2 & int3 -> int4: the flotation is a kind of a Wister.; void -> assump1: Let's assume that the flotation is secretarial.; int4 & assump1 -> int5: that the flotation is secretarial and it is a Wister is not false.; sent4 -> int6: if the flotation is secretarial a Wister then it does not smash rind.; int5 & int6 -> int7: the flotation does not smash rind.; int7 & sent12 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the pinon reigns Horus and does amend.
sent10 -> int9: the pinon reigns Horus and amends if it is not a kind of a scald.;
$hypothesis$ = the flotation is secretarial. ; $context$ = sent1: the flotation is not a Wister if it does smash ladle and it is secretarial. sent2: the fact that the flotation reigns Horus is correct. sent3: if that the abstractor is not a Wister and does not reign Yemeni does not hold then the flotation does not reign Yemeni. sent4: something does not smash rind if it is secretarial and it is a kind of a Wister. sent5: if the abstractor does not smash ladle then the flotation does reign Yemeni. sent6: if something is a scald then it is a Wister. sent7: something smashes rind if it smashes ladle. sent8: the fact that the abstractor is a kind of non-radiopaque thing that does smash ladle is wrong. sent9: if that the abstractor is non-radiopaque thing that smashes ladle does not hold the flotation reigns Yemeni. sent10: if something is not a scald then it reigns Horus and it amends. sent11: if the pyrographer reigns enchantment then it is a electroscope and it is not trabecular. sent12: the flotation does smash rind. sent13: if something that is a kind of a electroscope is not trabecular that it does not smash rind is not wrong. sent14: if the flotation does reign Yemeni it is a scald. sent15: the pyrographer does reign enchantment. sent16: The rind does smash flotation. ; $proof$ = 
sent9 & sent8 -> int1: the flotation reigns Yemeni.; int1 & sent14 -> int2: the flotation is a scald.; sent6 -> int3: if the flotation is a scald then the fact that it is a Wister hold.; int2 & int3 -> int4: the flotation is a kind of a Wister.; void -> assump1: Let's assume that the flotation is secretarial.; int4 & assump1 -> int5: that the flotation is secretarial and it is a Wister is not false.; sent4 -> int6: if the flotation is secretarial a Wister then it does not smash rind.; int5 & int6 -> int7: the flotation does not smash rind.; int7 & sent12 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__