その慈恩寺は品胎児であるということはない
fact1: 「不正義でない」ものはある fact2: もし仮にしても良くない物が着慣れないならそれは国際理解教育でない fact3: そのＨＣＶキャリアは馬鹿でかい fact4: このホイッスルはエラーチェックでないとすれば「そのＨＣＶキャリアはしても良いかあるいは着慣れないかまたは両方ともだ」ということは間違いだ fact5: あの国体維持は品胎児でない fact6: もしも「何らかの物は不正義でないが冷たい」ということは正しいとしたらこの側弯症はページ内だ fact7: 「不正義でないしおまけに冷たい」ものはある fact8: 仮にある物がページ内でないとすればそれは不正義であるか冷たいか両方である fact9: 仮にそのＨＣＶキャリアが馬鹿でかいならばあの幢相はエラーチェックだということはない fact10: 「「エラーチェックであるしその上馬鹿でかい」ということは間違っている」物はある fact11: 仮にこの側弯症がページ内だとしたらあの国体維持はしても良い fact12: もし仮に「あの国体維持は国際理解教育でないがページ内だ」ということは成り立たないとするとこの側弯症はページ内でない fact13: もし「「エラーチェックであるしその上馬鹿でかい」ということは間違っている」ものがあるとしたらこのホイッスルはエラーチェックでない fact14: なにかは不正義でおまけに冷たい fact15: 仮にあの国体維持がしても良いならばその慈恩寺はしても良くないしまた着慣れない fact16: もしその慈恩寺が国際理解教育でないけれど品胎児であるとしたらこの幢相はエラーチェックだ
fact7 & fact6 -> int1: この側弯症はページ内である; int1 & fact11 -> int2: あの国体維持はしても良い; int2 & fact15 -> int3: その慈恩寺はしても良くないししかも着慣れない; fact2 -> int4: 仮にその慈恩寺がしても良くないしまた着慣れるということはないならそれは国際理解教育でない; int3 & int4 -> int5: その慈恩寺は国際理解教育であるということはない; void -> assump1: 以下のように仮定する。その慈恩寺は品胎児である; int5 & assump1 -> int6: その慈恩寺は国際理解教育でないけど品胎児だ; int6 & fact16 -> int7: 「この幢相はエラーチェックである」ということは成り立つ; fact9 & fact3 -> int8: この幢相はエラーチェックでない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その慈恩寺は品胎児である
fact18 -> int10: もしも「この側弯症はページ内でない」ということは事実ならそれは不正義であるかもしくは冷たい; fact17 & fact20 -> int11: このホイッスルはエラーチェックでない; fact19 & int11 -> int12: 「そのＨＣＶキャリアはしても良いか着慣れない」ということは事実であるということはない; int12 -> int13: 「「しても良いか着慣れない」ということは誤りである」物はある;
$facts$ = fact1: 「不正義でない」ものはある fact2: もし仮にしても良くない物が着慣れないならそれは国際理解教育でない fact3: そのＨＣＶキャリアは馬鹿でかい fact4: このホイッスルはエラーチェックでないとすれば「そのＨＣＶキャリアはしても良いかあるいは着慣れないかまたは両方ともだ」ということは間違いだ fact5: あの国体維持は品胎児でない fact6: もしも「何らかの物は不正義でないが冷たい」ということは正しいとしたらこの側弯症はページ内だ fact7: 「不正義でないしおまけに冷たい」ものはある fact8: 仮にある物がページ内でないとすればそれは不正義であるか冷たいか両方である fact9: 仮にそのＨＣＶキャリアが馬鹿でかいならばあの幢相はエラーチェックだということはない fact10: 「「エラーチェックであるしその上馬鹿でかい」ということは間違っている」物はある fact11: 仮にこの側弯症がページ内だとしたらあの国体維持はしても良い fact12: もし仮に「あの国体維持は国際理解教育でないがページ内だ」ということは成り立たないとするとこの側弯症はページ内でない fact13: もし「「エラーチェックであるしその上馬鹿でかい」ということは間違っている」ものがあるとしたらこのホイッスルはエラーチェックでない fact14: なにかは不正義でおまけに冷たい fact15: 仮にあの国体維持がしても良いならばその慈恩寺はしても良くないしまた着慣れない fact16: もしその慈恩寺が国際理解教育でないけれど品胎児であるとしたらこの幢相はエラーチェックだ ; $hypothesis$ = その慈恩寺は品胎児であるということはない ; $proof$ = 
fact7 & fact6 -> int1: この側弯症はページ内である; int1 & fact11 -> int2: あの国体維持はしても良い; int2 & fact15 -> int3: その慈恩寺はしても良くないししかも着慣れない; fact2 -> int4: 仮にその慈恩寺がしても良くないしまた着慣れるということはないならそれは国際理解教育でない; int3 & int4 -> int5: その慈恩寺は国際理解教育であるということはない; void -> assump1: 以下のように仮定する。その慈恩寺は品胎児である; int5 & assump1 -> int6: その慈恩寺は国際理解教育でないけど品胎児だ; int6 & fact16 -> int7: 「この幢相はエラーチェックである」ということは成り立つ; fact9 & fact3 -> int8: この幢相はエラーチェックでない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: 「不正義でない」ものはある
事実2: もし仮にしても良くない物が着慣れないならそれは国際理解教育でない
事実3: そのＨＣＶキャリアは馬鹿でかい
事実4: このホイッスルはエラーチェックでないとすれば「そのＨＣＶキャリアはしても良いかあるいは着慣れないかまたは両方ともだ」ということは間違いだ
事実5: あの国体維持は品胎児でない
事実6: もしも「何らかの物は不正義でないが冷たい」ということは正しいとしたらこの側弯症はページ内だ
事実7: 「不正義でないしおまけに冷たい」ものはある
事実8: 仮にある物がページ内でないとすればそれは不正義であるか冷たいか両方である
事実9: 仮にそのＨＣＶキャリアが馬鹿でかいならばあの幢相はエラーチェックだということはない
事実10: 「「エラーチェックであるしその上馬鹿でかい」ということは間違っている」物はある
事実11: 仮にこの側弯症がページ内だとしたらあの国体維持はしても良い
事実12: もし仮に「あの国体維持は国際理解教育でないがページ内だ」ということは成り立たないとするとこの側弯症はページ内でない
事実13: もし「「エラーチェックであるしその上馬鹿でかい」ということは間違っている」ものがあるとしたらこのホイッスルはエラーチェックでない
事実14: なにかは不正義でおまけに冷たい
事実15: 仮にあの国体維持がしても良いならばその慈恩寺はしても良くないしまた着慣れない
事実16: もしその慈恩寺が国際理解教育でないけれど品胎児であるとしたらこの幢相はエラーチェックだ

仮説: その慈恩寺は品胎児であるということはない
1. 事実7と事実6から、推論1: "この側弯症はページ内である"が導かれる
2. 推論1と事実11から、推論2: "あの国体維持はしても良い"が導かれる
3. 推論2と事実15から、推論3: "その慈恩寺はしても良くないししかも着慣れない"が導かれる
4. 事実2から、推論4: "仮にその慈恩寺がしても良くないしまた着慣れるということはないならそれは国際理解教育でない"が導かれる
5. 推論3と推論4から、推論5: "その慈恩寺は国際理解教育であるということはない"が導かれる
6. 仮定1: 以下のように仮定する。その慈恩寺は品胎児である
7. 推論5と仮定1から、推論6: "その慈恩寺は国際理解教育でないけど品胎児だ"が導かれる
8. 推論6と事実16から、推論7: "「この幢相はエラーチェックである」ということは成り立つ"が導かれる
9. 事実9と事実3から、推論8: "この幢相はエラーチェックでない"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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