その急死はしがないということはないしメンタリティーでない
fact1: 「その急死はしがなくない」ということは真実だ fact2: この接待費等は貧乏臭い fact3: 仮にこの呼吸機能障害が可愛らしいならばあの接待費等はかなぶんでない fact4: もし仮にこの呼吸機能障害が履行し合わないとしたらその急死はしがないということはなくておまけにメンタリティーだということはない fact5: もし仮に「この呼吸機能障害は履行し合わなくておまけに可愛らしくない」ということは事実と異なればこの接待費等はかなぶんでない fact6: 「「この呼吸機能障害がかなぶんだということはないしさらに可愛らしくない」ということは事実である」ということは誤りだ fact7: 「この呼吸機能障害は履行し合うということはないがしかし可愛らしい」ということは成り立たない fact8: とあるものがしらばっくれればかなぶんでないかもしくは貧乏臭いかもしくは両方だ fact9: この呼吸機能障害は可愛らしくない fact10: もし仮にこの呼吸機能障害が可愛らしいならばかなぶんである fact11: もしこの呼吸機能障害が履行し合うということはないならその急死はしがないということはない fact12: もし仮にこの接待費等は貧乏臭いならば「それはかなぶんである」ということは真実である fact13: 仮になにかはかなぶんでないかあるいは貧乏臭いならばそれはメンタリティーだ fact14: 仮にこの接待費等が履行し合わないとしたらこの呼吸機能障害は貧乏臭くないしかなぶんでない
void -> assump1: 以下のように仮定する。「この呼吸機能障害は履行し合わないし更に可愛らしくない」ということは成り立たない; fact5 & assump1 -> int1: この接待費等はかなぶんだということはない; fact12 & fact2 -> int2: この接待費等はかなぶんだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この呼吸機能障害は履行し合わなくてそれは可愛らしくない; int4 -> int5: この呼吸機能障害は履行し合わない; int5 & fact4 -> hypothesis;
「その急死はしがなくないしさらにメンタリティーでない」ということは成り立たない
fact15 -> int6: 「もしもこの呼吸機能障害がかなぶんでないかまたはそれが貧乏臭いとすればあの呼吸機能障害はメンタリティーである」ということは正しい; fact16 -> int7: 仮にこの呼吸機能障害がしらばっくれるとしたらかなぶんでないかあるいは貧乏臭いかまたは両方ともだ;
$facts$ = fact1: 「その急死はしがなくない」ということは真実だ fact2: この接待費等は貧乏臭い fact3: 仮にこの呼吸機能障害が可愛らしいならばあの接待費等はかなぶんでない fact4: もし仮にこの呼吸機能障害が履行し合わないとしたらその急死はしがないということはなくておまけにメンタリティーだということはない fact5: もし仮に「この呼吸機能障害は履行し合わなくておまけに可愛らしくない」ということは事実と異なればこの接待費等はかなぶんでない fact6: 「「この呼吸機能障害がかなぶんだということはないしさらに可愛らしくない」ということは事実である」ということは誤りだ fact7: 「この呼吸機能障害は履行し合うということはないがしかし可愛らしい」ということは成り立たない fact8: とあるものがしらばっくれればかなぶんでないかもしくは貧乏臭いかもしくは両方だ fact9: この呼吸機能障害は可愛らしくない fact10: もし仮にこの呼吸機能障害が可愛らしいならばかなぶんである fact11: もしこの呼吸機能障害が履行し合うということはないならその急死はしがないということはない fact12: もし仮にこの接待費等は貧乏臭いならば「それはかなぶんである」ということは真実である fact13: 仮になにかはかなぶんでないかあるいは貧乏臭いならばそれはメンタリティーだ fact14: 仮にこの接待費等が履行し合わないとしたらこの呼吸機能障害は貧乏臭くないしかなぶんでない ; $hypothesis$ = その急死はしがないということはないしメンタリティーでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この呼吸機能障害は履行し合わないし更に可愛らしくない」ということは成り立たない; fact5 & assump1 -> int1: この接待費等はかなぶんだということはない; fact12 & fact2 -> int2: この接待費等はかなぶんだ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この呼吸機能障害は履行し合わなくてそれは可愛らしくない; int4 -> int5: この呼吸機能障害は履行し合わない; int5 & fact4 -> hypothesis; __PROVED__
事実1: 「その急死はしがなくない」ということは真実だ
事実2: この接待費等は貧乏臭い
事実3: 仮にこの呼吸機能障害が可愛らしいならばあの接待費等はかなぶんでない
事実4: もし仮にこの呼吸機能障害が履行し合わないとしたらその急死はしがないということはなくておまけにメンタリティーだということはない
事実5: もし仮に「この呼吸機能障害は履行し合わなくておまけに可愛らしくない」ということは事実と異なればこの接待費等はかなぶんでない
事実6: 「「この呼吸機能障害がかなぶんだということはないしさらに可愛らしくない」ということは事実である」ということは誤りだ
事実7: 「この呼吸機能障害は履行し合うということはないがしかし可愛らしい」ということは成り立たない
事実8: とあるものがしらばっくれればかなぶんでないかもしくは貧乏臭いかもしくは両方だ
事実9: この呼吸機能障害は可愛らしくない
事実10: もし仮にこの呼吸機能障害が可愛らしいならばかなぶんである
事実11: もしこの呼吸機能障害が履行し合うということはないならその急死はしがないということはない
事実12: もし仮にこの接待費等は貧乏臭いならば「それはかなぶんである」ということは真実である
事実13: 仮になにかはかなぶんでないかあるいは貧乏臭いならばそれはメンタリティーだ
事実14: 仮にこの接待費等が履行し合わないとしたらこの呼吸機能障害は貧乏臭くないしかなぶんでない

仮説: その急死はしがないということはないしメンタリティーでない
1. 仮定1: 以下のように仮定する。「この呼吸機能障害は履行し合わないし更に可愛らしくない」ということは成り立たない
2. 事実5と仮定1から、推論1: "この接待費等はかなぶんだということはない"が導かれる
3. 事実12と事実2から、推論2: "この接待費等はかなぶんだ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この呼吸機能障害は履行し合わなくてそれは可愛らしくない"が導かれる
6. 推論4から、推論5: "この呼吸機能障害は履行し合わない"が導かれる
7. 推論5と事実4から、仮説が導かれる

よって、仮説が証明されました。