何かは飛び火しない
fact1: 「「あの各財は分厚いしかつ飛び火する」ということは偽である」ということは本当であるとすればあの分析・設計は第七章であるということはない fact2: 「「あの分析・設計は甲斐甲斐しいし飛び火する」ということは誤っている」ということは本当である fact3: あのＴＮＭ分類は分厚くない fact4: あの分析・設計は分厚くない fact5: 仮にあの各財は甲斐甲斐しかないとしたら「それは飛び火するしまた分厚い」ということは誤りだ fact6: あの分析・設計はしょっぱくないとすると「新装するし生易しい」ということは誤りだ fact7: もし仮にあの各財が第七章でないとするとあの分析・設計は飛び火するということはない fact8: あの各財は分厚くない fact9: 「あの各財は甲斐甲斐しいし第七章だ」ということは偽であるとすれば「あの分析・設計は飛び火しない」ということは偽だということはない fact10: もしもあの各財は分厚くないならば「それは甲斐甲斐しいしかつそれは第七章だ」ということは成り立たない fact11: このカメラマンＫ氏は甲斐甲斐しかない fact12: 「幽体だということはない」物はある fact13: あの分析・設計は甲斐甲斐しかない fact14: 「あの各財は第七章で更に飛び火する」ということは成り立たないとすればあの分析・設計は分厚くない fact15: 「飛び火する」ものはある fact16: 何らかのものは分厚くない fact17: あの各財は頷くということはない fact18: この近視手術は甲斐甲斐しかない fact19: 「あの各財は住めるしまたネイティブらしい」ということは誤りである fact20: 「あの分析・設計は第七章であるし飛び火する」ということは成り立たない fact21: 「あの各財はＡ得点であるということはない」ということは確かだ
fact10 & fact8 -> int1: 「あの各財は甲斐甲斐しいしさらに第七章だ」ということは嘘だ; int1 & fact9 -> int2: 「あの分析・設計は飛び火しない」ということは成り立つ; int2 -> hypothesis;
$facts$ = fact1: 「「あの各財は分厚いしかつ飛び火する」ということは偽である」ということは本当であるとすればあの分析・設計は第七章であるということはない fact2: 「「あの分析・設計は甲斐甲斐しいし飛び火する」ということは誤っている」ということは本当である fact3: あのＴＮＭ分類は分厚くない fact4: あの分析・設計は分厚くない fact5: 仮にあの各財は甲斐甲斐しかないとしたら「それは飛び火するしまた分厚い」ということは誤りだ fact6: あの分析・設計はしょっぱくないとすると「新装するし生易しい」ということは誤りだ fact7: もし仮にあの各財が第七章でないとするとあの分析・設計は飛び火するということはない fact8: あの各財は分厚くない fact9: 「あの各財は甲斐甲斐しいし第七章だ」ということは偽であるとすれば「あの分析・設計は飛び火しない」ということは偽だということはない fact10: もしもあの各財は分厚くないならば「それは甲斐甲斐しいしかつそれは第七章だ」ということは成り立たない fact11: このカメラマンＫ氏は甲斐甲斐しかない fact12: 「幽体だということはない」物はある fact13: あの分析・設計は甲斐甲斐しかない fact14: 「あの各財は第七章で更に飛び火する」ということは成り立たないとすればあの分析・設計は分厚くない fact15: 「飛び火する」ものはある fact16: 何らかのものは分厚くない fact17: あの各財は頷くということはない fact18: この近視手術は甲斐甲斐しかない fact19: 「あの各財は住めるしまたネイティブらしい」ということは誤りである fact20: 「あの分析・設計は第七章であるし飛び火する」ということは成り立たない fact21: 「あの各財はＡ得点であるということはない」ということは確かだ ; $hypothesis$ = 何かは飛び火しない ; $proof$ = 
fact10 & fact8 -> int1: 「あの各財は甲斐甲斐しいしさらに第七章だ」ということは嘘だ; int1 & fact9 -> int2: 「あの分析・設計は飛び火しない」ということは成り立つ; int2 -> hypothesis; __PROVED__
事実1: 「「あの各財は分厚いしかつ飛び火する」ということは偽である」ということは本当であるとすればあの分析・設計は第七章であるということはない
事実2: 「「あの分析・設計は甲斐甲斐しいし飛び火する」ということは誤っている」ということは本当である
事実3: あのＴＮＭ分類は分厚くない
事実4: あの分析・設計は分厚くない
事実5: 仮にあの各財は甲斐甲斐しかないとしたら「それは飛び火するしまた分厚い」ということは誤りだ
事実6: あの分析・設計はしょっぱくないとすると「新装するし生易しい」ということは誤りだ
事実7: もし仮にあの各財が第七章でないとするとあの分析・設計は飛び火するということはない
事実8: あの各財は分厚くない
事実9: 「あの各財は甲斐甲斐しいし第七章だ」ということは偽であるとすれば「あの分析・設計は飛び火しない」ということは偽だということはない
事実10: もしもあの各財は分厚くないならば「それは甲斐甲斐しいしかつそれは第七章だ」ということは成り立たない
事実11: このカメラマンＫ氏は甲斐甲斐しかない
事実12: 「幽体だということはない」物はある
事実13: あの分析・設計は甲斐甲斐しかない
事実14: 「あの各財は第七章で更に飛び火する」ということは成り立たないとすればあの分析・設計は分厚くない
事実15: 「飛び火する」ものはある
事実16: 何らかのものは分厚くない
事実17: あの各財は頷くということはない
事実18: この近視手術は甲斐甲斐しかない
事実19: 「あの各財は住めるしまたネイティブらしい」ということは誤りである
事実20: 「あの分析・設計は第七章であるし飛び火する」ということは成り立たない
事実21: 「あの各財はＡ得点であるということはない」ということは確かだ

仮説: 何かは飛び火しない
1. 事実10と事実8から、推論1: "「あの各財は甲斐甲斐しいしさらに第七章だ」ということは嘘だ"が導かれる
2. 推論1と事実9から、推論2: "「あの分析・設計は飛び火しない」ということは成り立つ"が導かれる
3. 推論2から、仮説が導かれる

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