「その脳血管性痴呆は蓄積しなくて憂くない」ということは偽である
fact1: 仮にとあるものは封切るとしたら「憂くないしさらに薄利多売でない」ということは成り立たない fact2: もしも「その六十九式戦闘機は憂くない」ということは成り立つとすれば「その脳血管性痴呆は蓄積するがそれは憂くない」ということは成り立つということはない fact3: もしも「封切る」ものがあるとすればその六十九式戦闘機は封切る fact4: この自害は仕事らしい fact5: 仮にこの自害は仕事らしいとすると「それは軽蔑するということはないが抜け易い」ということは本当だ fact6: 「「世継ぎでないし加えて封切るということはない」ということは成り立つということはない」物はある fact7: 仮にあの血臭が絶対的必要記載事項でないし高しないならばあの海水中は絶対的必要記載事項でない fact8: 仮に「「世継ぎでなくてそれに封切らない」ということは成り立たない」ものがあればその六十九式戦闘機は封切る fact9: あの海水中が懐かしいとすればこの国際交流事業は実測であるということはなくてかつ世継ぎでない fact10: もしなにがしかの物は絶対的必要記載事項でないとしたらそれは精進するし加えて懐かしい fact11: 仮に何かは封切るとすると憂くないし擦れない fact12: その六十九式戦闘機は憂いということはないならば「その脳血管性痴呆は蓄積するということはなくてしかも憂いということはない」ということは誤りである fact13: なにかは曲がり掛けるなら封切る fact14: 仮にその六十九式戦闘機が封切るとすると擦れない fact15: この国際交流事業が封切るとするとその脳血管性痴呆は蓄積しなくて憂くない fact16: もし仮に何らかの物が実測でないしさらにそれが世継ぎだということはないとすれば曲がり掛ける
fact11 -> int1: もしもその六十九式戦闘機が封切れば憂くないし更に擦れない; fact6 & fact8 -> int2: その六十九式戦闘機は封切る; int1 & int2 -> int3: その六十九式戦闘機は憂くないし加えて擦れない; int3 -> int4: その六十九式戦闘機は憂いということはない; int4 & fact12 -> hypothesis;
その脳血管性痴呆は蓄積しないし憂くない
fact18 -> int5: この国際交流事業が曲がり掛けるとしたら封切る; fact20 -> int6: もしもこの国際交流事業が実測でなくて世継ぎでないならばそれは曲がり掛ける; fact22 -> int7: もしもあの海水中は絶対的必要記載事項でないならばそれは精進するしかつ懐かしい; fact24 & fact21 -> int8: この自害は軽蔑しないけれど抜け易い; int8 -> int9: この自害は軽蔑しない; int9 -> int10: 「軽蔑しない」物はある;
$facts$ = fact1: 仮にとあるものは封切るとしたら「憂くないしさらに薄利多売でない」ということは成り立たない fact2: もしも「その六十九式戦闘機は憂くない」ということは成り立つとすれば「その脳血管性痴呆は蓄積するがそれは憂くない」ということは成り立つということはない fact3: もしも「封切る」ものがあるとすればその六十九式戦闘機は封切る fact4: この自害は仕事らしい fact5: 仮にこの自害は仕事らしいとすると「それは軽蔑するということはないが抜け易い」ということは本当だ fact6: 「「世継ぎでないし加えて封切るということはない」ということは成り立つということはない」物はある fact7: 仮にあの血臭が絶対的必要記載事項でないし高しないならばあの海水中は絶対的必要記載事項でない fact8: 仮に「「世継ぎでなくてそれに封切らない」ということは成り立たない」ものがあればその六十九式戦闘機は封切る fact9: あの海水中が懐かしいとすればこの国際交流事業は実測であるということはなくてかつ世継ぎでない fact10: もしなにがしかの物は絶対的必要記載事項でないとしたらそれは精進するし加えて懐かしい fact11: 仮に何かは封切るとすると憂くないし擦れない fact12: その六十九式戦闘機は憂いということはないならば「その脳血管性痴呆は蓄積するということはなくてしかも憂いということはない」ということは誤りである fact13: なにかは曲がり掛けるなら封切る fact14: 仮にその六十九式戦闘機が封切るとすると擦れない fact15: この国際交流事業が封切るとするとその脳血管性痴呆は蓄積しなくて憂くない fact16: もし仮に何らかの物が実測でないしさらにそれが世継ぎだということはないとすれば曲がり掛ける ; $hypothesis$ = 「その脳血管性痴呆は蓄積しなくて憂くない」ということは偽である ; $proof$ = 
fact11 -> int1: もしもその六十九式戦闘機が封切れば憂くないし更に擦れない; fact6 & fact8 -> int2: その六十九式戦闘機は封切る; int1 & int2 -> int3: その六十九式戦闘機は憂くないし加えて擦れない; int3 -> int4: その六十九式戦闘機は憂いということはない; int4 & fact12 -> hypothesis; __PROVED__
事実1: 仮にとあるものは封切るとしたら「憂くないしさらに薄利多売でない」ということは成り立たない
事実2: もしも「その六十九式戦闘機は憂くない」ということは成り立つとすれば「その脳血管性痴呆は蓄積するがそれは憂くない」ということは成り立つということはない
事実3: もしも「封切る」ものがあるとすればその六十九式戦闘機は封切る
事実4: この自害は仕事らしい
事実5: 仮にこの自害は仕事らしいとすると「それは軽蔑するということはないが抜け易い」ということは本当だ
事実6: 「「世継ぎでないし加えて封切るということはない」ということは成り立つということはない」物はある
事実7: 仮にあの血臭が絶対的必要記載事項でないし高しないならばあの海水中は絶対的必要記載事項でない
事実8: 仮に「「世継ぎでなくてそれに封切らない」ということは成り立たない」ものがあればその六十九式戦闘機は封切る
事実9: あの海水中が懐かしいとすればこの国際交流事業は実測であるということはなくてかつ世継ぎでない
事実10: もしなにがしかの物は絶対的必要記載事項でないとしたらそれは精進するし加えて懐かしい
事実11: 仮に何かは封切るとすると憂くないし擦れない
事実12: その六十九式戦闘機は憂いということはないならば「その脳血管性痴呆は蓄積するということはなくてしかも憂いということはない」ということは誤りである
事実13: なにかは曲がり掛けるなら封切る
事実14: 仮にその六十九式戦闘機が封切るとすると擦れない
事実15: この国際交流事業が封切るとするとその脳血管性痴呆は蓄積しなくて憂くない
事実16: もし仮に何らかの物が実測でないしさらにそれが世継ぎだということはないとすれば曲がり掛ける

仮説: 「その脳血管性痴呆は蓄積しなくて憂くない」ということは偽である
1. 事実11から、推論1: "もしもその六十九式戦闘機が封切れば憂くないし更に擦れない"が導かれる
2. 事実6と事実8から、推論2: "その六十九式戦闘機は封切る"が導かれる
3. 推論1と推論2から、推論3: "その六十九式戦闘機は憂くないし加えて擦れない"が導かれる
4. 推論3から、推論4: "その六十九式戦闘機は憂いということはない"が導かれる
5. 推論4と事実12から、仮説が導かれる

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