the canton does not coarsen.
sent1: if something that does not glaze topee does ogle transplant then it does not coarsen. sent2: the canton does ogle transplant if something that is not hemodynamic is fallible. sent3: if that the cityscape does not ogle isogon and it is nonthermal does not hold then that the canton does not glaze topee hold. sent4: the don does not subtilize crusted. sent5: if something ogles isogon it does not ogle gorgerin and is not a thermal. sent6: if something harpoons that the cityscape does not ogle isogon and is not a thermal does not hold. sent7: the rudder is a kind of a harpoon if that the don ogles gorgerin hold. sent8: The crusted does not subtilize don. sent9: something is non-hemodynamic thing that is fallible. sent10: if something is a harpoon then the fact that the cityscape does not ogle isogon and is a kind of a thermal is incorrect. sent11: if the cityscape is a thermal the canton does not glaze topee. sent12: if something does not grasp don and is not a kind of a corkscrew then it does ogle gorgerin. sent13: the don does not grasp don and is not a corkscrew if it does not subtilize crusted.
sent12 -> int1: the don does ogle gorgerin if it does not grasp don and it is not a corkscrew.; sent13 & sent4 -> int2: the don does not grasp don and it is not a corkscrew.; int1 & int2 -> int3: the don does ogle gorgerin.; int3 & sent7 -> int4: that the rudder is a harpoon is not false.; int4 -> int5: there is something such that it is a harpoon.; int5 & sent6 -> int6: that the cityscape does not ogle isogon and it is not a thermal is not true.; int6 & sent3 -> int7: the canton does not glaze topee.; sent9 & sent2 -> int8: the canton ogles transplant.; int7 & int8 -> int9: the canton does not glaze topee and ogles transplant.; sent1 -> int10: that the canton does not coarsen is true if it does not glaze topee and does ogle transplant.; int9 & int10 -> hypothesis;
the canton coarsens.
sent5 -> int11: if the rudder does ogle isogon it does not ogle gorgerin and it is not a thermal.;
$hypothesis$ = the canton does not coarsen. ; $context$ = sent1: if something that does not glaze topee does ogle transplant then it does not coarsen. sent2: the canton does ogle transplant if something that is not hemodynamic is fallible. sent3: if that the cityscape does not ogle isogon and it is nonthermal does not hold then that the canton does not glaze topee hold. sent4: the don does not subtilize crusted. sent5: if something ogles isogon it does not ogle gorgerin and is not a thermal. sent6: if something harpoons that the cityscape does not ogle isogon and is not a thermal does not hold. sent7: the rudder is a kind of a harpoon if that the don ogles gorgerin hold. sent8: The crusted does not subtilize don. sent9: something is non-hemodynamic thing that is fallible. sent10: if something is a harpoon then the fact that the cityscape does not ogle isogon and is a kind of a thermal is incorrect. sent11: if the cityscape is a thermal the canton does not glaze topee. sent12: if something does not grasp don and is not a kind of a corkscrew then it does ogle gorgerin. sent13: the don does not grasp don and is not a corkscrew if it does not subtilize crusted. ; $proof$ = 
sent12 -> int1: the don does ogle gorgerin if it does not grasp don and it is not a corkscrew.; sent13 & sent4 -> int2: the don does not grasp don and it is not a corkscrew.; int1 & int2 -> int3: the don does ogle gorgerin.; int3 & sent7 -> int4: that the rudder is a harpoon is not false.; int4 -> int5: there is something such that it is a harpoon.; int5 & sent6 -> int6: that the cityscape does not ogle isogon and it is not a thermal is not true.; int6 & sent3 -> int7: the canton does not glaze topee.; sent9 & sent2 -> int8: the canton ogles transplant.; int7 & int8 -> int9: the canton does not glaze topee and ogles transplant.; sent1 -> int10: that the canton does not coarsen is true if it does not glaze topee and does ogle transplant.; int9 & int10 -> hypothesis; __PROVED__