if the hell-kite is not a counterfeit the weatherboard marvels and is a oubliette.
sent1: if that something is not a counterfeit but non-cooling is false it does non-cooling. sent2: if the hell-kite is not non-cooling and it is a demonstrative then the Methodists is not a demonstrative. sent3: the hell-kite is a kind of a cooling if the weatherboard cooling. sent4: if something is not a kind of a cooling and it is non-counterfeit it is not a yaws. sent5: if the hell-kite is a kind of a demonstrative the weatherboard marvels and it is a counterfeit. sent6: the hell-kite is undemonstrative but not cooling. sent7: the hell-kite does not deaminate pauperization and it does not marvel. sent8: if the weatherboard is counterfeit then that the hell-kite is a yaws and it is a demonstrative is not incorrect. sent9: if the fact that the hell-kite is not a kind of a yaws hold the weatherboard marvels. sent10: the weatherboard is a oubliette.
sent6 -> int1: that the hell-kite does not cool is not false.; void -> assump1: Let's assume that the hell-kite is not counterfeit.; int1 & assump1 -> int2: the hell-kite is not a cooling and is not a counterfeit.; sent4 -> int3: the hell-kite is not a kind of a yaws if it does not cool and it is not counterfeit.; int2 & int3 -> int4: the hell-kite is not a yaws.; int4 & sent9 -> int5: the weatherboard does marvel.; int5 & sent10 -> int6: the weatherboard does marvel and it is a oubliette.; [assump1] & int6 -> hypothesis;
the Methodists is a yaws.
sent1 -> int7: if the fact that the weatherboard is not counterfeit and it is non-cooling does not hold then it is non-cooling.;
$hypothesis$ = if the hell-kite is not a counterfeit the weatherboard marvels and is a oubliette. ; $context$ = sent1: if that something is not a counterfeit but non-cooling is false it does non-cooling. sent2: if the hell-kite is not non-cooling and it is a demonstrative then the Methodists is not a demonstrative. sent3: the hell-kite is a kind of a cooling if the weatherboard cooling. sent4: if something is not a kind of a cooling and it is non-counterfeit it is not a yaws. sent5: if the hell-kite is a kind of a demonstrative the weatherboard marvels and it is a counterfeit. sent6: the hell-kite is undemonstrative but not cooling. sent7: the hell-kite does not deaminate pauperization and it does not marvel. sent8: if the weatherboard is counterfeit then that the hell-kite is a yaws and it is a demonstrative is not incorrect. sent9: if the fact that the hell-kite is not a kind of a yaws hold the weatherboard marvels. sent10: the weatherboard is a oubliette. ; $proof$ = 
sent6 -> int1: that the hell-kite does not cool is not false.; void -> assump1: Let's assume that the hell-kite is not counterfeit.; int1 & assump1 -> int2: the hell-kite is not a cooling and is not a counterfeit.; sent4 -> int3: the hell-kite is not a kind of a yaws if it does not cool and it is not counterfeit.; int2 & int3 -> int4: the hell-kite is not a yaws.; int4 & sent9 -> int5: the weatherboard does marvel.; int5 & sent10 -> int6: the weatherboard does marvel and it is a oubliette.; [assump1] & int6 -> hypothesis; __PROVED__