この三斎は信仰深い
fact1: もし仮にその総取りがいじらしいがしかしそれが腹黒くないとすればそのノンアルコールは財政検証だ fact2: その資本論が財政検証であるならそのノンアルコールは床しい fact3: もし仮に「その総取りは床しかない」ということは正しいとしたらその資本論は床しいしその上取れ難い fact4: そのノンアルコールは末世であるかあるいはそれは住み易いかもしくはどちらもである fact5: もし仮に「とあるものはいじらしいが腹黒くない」ということは誤りであるなら床しかない fact6: もしもあの自己解釈は飢えれば「それは財政検証でない」ということは事実だ fact7: そのノンアルコールは住み易い一方でいじらしいということはない fact8: その資本論は床しいしそれに住み易い fact9: そのノンアルコールは末世であるかあるいは住み易くないかまたはどちらもである fact10: そのノンアルコールが末世であるか住み易くないとしたらそれは財政検証であるということはない fact11: その総取りは財政検証だ fact12: 「なんらかのものは床しいが財政検証でない」ということは間違っているなら「遅れ易くない」ということは真実である fact13: もしも「何らかのものは床しいがしかしそれは財政検証でない」ということは成り立つということはないならばそれは腹黒くない fact14: 「その総取りは床しかない」ということは成り立つならその資本論は床しい fact15: もし「あるものは床しいが財政検証でない」ということは偽ならばそれは信仰深くない fact16: もしもその資本論が遅れ易いならばこの三斎は信仰深い fact17: その資本論は床しい fact18: もし仮にあるものが取れ難いならそれは遅れ易い
void -> assump1: 以下のように仮定する。その総取りはいじらしいけれど腹黒くない; fact1 & assump1 -> int1: そのノンアルコールは財政検証である; fact10 & fact9 -> int2: そのノンアルコールは財政検証でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その総取りはいじらしいが腹黒くない」ということは事実と異なる; fact5 -> int5: もし仮に「「その総取りはいじらしい一方で腹黒くない」ということは間違いだ」ということは成り立つなら床しかない; int4 & int5 -> int6: その総取りは床しかない; int6 & fact3 -> int7: その資本論は床しくて加えて取れ難い; int7 -> int8: その資本論は取れ難い; fact18 -> int9: 仮にその資本論が取れ難いならば遅れ易い; int8 & int9 -> int10: その資本論は遅れ易い; int10 & fact16 -> hypothesis;
この三斎は信仰深くない
fact19 -> int11: 「仮に「この三斎は床しいけれど財政検証でない」ということは誤っているとするとこの三斎は信仰深くない」ということは本当である;
$facts$ = fact1: もし仮にその総取りがいじらしいがしかしそれが腹黒くないとすればそのノンアルコールは財政検証だ fact2: その資本論が財政検証であるならそのノンアルコールは床しい fact3: もし仮に「その総取りは床しかない」ということは正しいとしたらその資本論は床しいしその上取れ難い fact4: そのノンアルコールは末世であるかあるいはそれは住み易いかもしくはどちらもである fact5: もし仮に「とあるものはいじらしいが腹黒くない」ということは誤りであるなら床しかない fact6: もしもあの自己解釈は飢えれば「それは財政検証でない」ということは事実だ fact7: そのノンアルコールは住み易い一方でいじらしいということはない fact8: その資本論は床しいしそれに住み易い fact9: そのノンアルコールは末世であるかあるいは住み易くないかまたはどちらもである fact10: そのノンアルコールが末世であるか住み易くないとしたらそれは財政検証であるということはない fact11: その総取りは財政検証だ fact12: 「なんらかのものは床しいが財政検証でない」ということは間違っているなら「遅れ易くない」ということは真実である fact13: もしも「何らかのものは床しいがしかしそれは財政検証でない」ということは成り立つということはないならばそれは腹黒くない fact14: 「その総取りは床しかない」ということは成り立つならその資本論は床しい fact15: もし「あるものは床しいが財政検証でない」ということは偽ならばそれは信仰深くない fact16: もしもその資本論が遅れ易いならばこの三斎は信仰深い fact17: その資本論は床しい fact18: もし仮にあるものが取れ難いならそれは遅れ易い ; $hypothesis$ = この三斎は信仰深い ; $proof$ = 
void -> assump1: 以下のように仮定する。その総取りはいじらしいけれど腹黒くない; fact1 & assump1 -> int1: そのノンアルコールは財政検証である; fact10 & fact9 -> int2: そのノンアルコールは財政検証でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その総取りはいじらしいが腹黒くない」ということは事実と異なる; fact5 -> int5: もし仮に「「その総取りはいじらしい一方で腹黒くない」ということは間違いだ」ということは成り立つなら床しかない; int4 & int5 -> int6: その総取りは床しかない; int6 & fact3 -> int7: その資本論は床しくて加えて取れ難い; int7 -> int8: その資本論は取れ難い; fact18 -> int9: 仮にその資本論が取れ難いならば遅れ易い; int8 & int9 -> int10: その資本論は遅れ易い; int10 & fact16 -> hypothesis; __PROVED__
事実1: もし仮にその総取りがいじらしいがしかしそれが腹黒くないとすればそのノンアルコールは財政検証だ
事実2: その資本論が財政検証であるならそのノンアルコールは床しい
事実3: もし仮に「その総取りは床しかない」ということは正しいとしたらその資本論は床しいしその上取れ難い
事実4: そのノンアルコールは末世であるかあるいはそれは住み易いかもしくはどちらもである
事実5: もし仮に「とあるものはいじらしいが腹黒くない」ということは誤りであるなら床しかない
事実6: もしもあの自己解釈は飢えれば「それは財政検証でない」ということは事実だ
事実7: そのノンアルコールは住み易い一方でいじらしいということはない
事実8: その資本論は床しいしそれに住み易い
事実9: そのノンアルコールは末世であるかあるいは住み易くないかまたはどちらもである
事実10: そのノンアルコールが末世であるか住み易くないとしたらそれは財政検証であるということはない
事実11: その総取りは財政検証だ
事実12: 「なんらかのものは床しいが財政検証でない」ということは間違っているなら「遅れ易くない」ということは真実である
事実13: もしも「何らかのものは床しいがしかしそれは財政検証でない」ということは成り立つということはないならばそれは腹黒くない
事実14: 「その総取りは床しかない」ということは成り立つならその資本論は床しい
事実15: もし「あるものは床しいが財政検証でない」ということは偽ならばそれは信仰深くない
事実16: もしもその資本論が遅れ易いならばこの三斎は信仰深い
事実17: その資本論は床しい
事実18: もし仮にあるものが取れ難いならそれは遅れ易い

仮説: この三斎は信仰深い
1. 仮定1: 以下のように仮定する。その総取りはいじらしいけれど腹黒くない
2. 事実1と仮定1から、推論1: "そのノンアルコールは財政検証である"が導かれる
3. 事実10と事実9から、推論2: "そのノンアルコールは財政検証でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その総取りはいじらしいが腹黒くない」ということは事実と異なる"が導かれる
6. 事実5から、推論5: "もし仮に「「その総取りはいじらしい一方で腹黒くない」ということは間違いだ」ということは成り立つなら床しかない"が導かれる
7. 推論4と推論5から、推論6: "その総取りは床しかない"が導かれる
8. 推論6と事実3から、推論7: "その資本論は床しくて加えて取れ難い"が導かれる
9. 推論7から、推論8: "その資本論は取れ難い"が導かれる
10. 事実18から、推論9: "仮にその資本論が取れ難いならば遅れ易い"が導かれる
11. 推論8と推論9から、推論10: "その資本論は遅れ易い"が導かれる
12. 推論10と事実16から、仮説が導かれる

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