仮にあの学区が出会い易いとしたらあの高温プラズマは親しみ易くない
fact1: 「その第一頚椎が主題格子であるとしたらこの手術治療は取り消し得る」ということは成り立つ fact2: もしこの手術治療が出会い易いとしたらあの学区は主題格子である fact3: 「この手術治療は主題格子でないかあるいはそれは主人実朝でないかどちらもだ」ということは偽だとすればあの学区は出会い易くない fact4: もしも「この手術治療は主題格子でないかもしくは主人実朝だ」ということは事実と異なるとすればあの学区は出会い易くない fact5: もし仮にその第一頚椎が取り消し得るとするとこの手術治療は主人実朝である fact6: その第一頚椎は出会い易い fact7: 「もし仮にあの不服申し立てが主題格子であるならばこの手術治療は減らせる」ということは確かだ fact8: もしもその第一頚椎は取り消し得るなら「この手術治療は主題格子でないかまたはそれは主人実朝であるということはない」ということは事実と異なる fact9: 仮に「あの不服申し立ては減らせる」ということは成り立つとしたらその第一頚椎は取り消し得る fact10: あの高温プラズマは主人実朝でない fact11: あの音楽ホールは主人実朝でない fact12: もしもあの学区は主題格子だとすれば「この手術治療は出会い易い」ということは事実だ fact13: あの学区は減らせる fact14: その第一頚椎は主人実朝である fact15: この手術治療は主人実朝だ fact16: あの高温プラズマが親しみ易いとしたらあの不服申し立ては減らせる fact17: その第一頚椎は出易くない
void -> assump2: 以下のように仮定する。あの高温プラズマは親しみ易い; fact16 & assump2 -> int1: あの不服申し立ては減らせる; int1 & fact9 -> int2: その第一頚椎は取り消し得る; int2 & fact8 -> int3: 「この手術治療は主題格子でないかもしくは主人実朝でないかあるいはどちらもだ」ということは成り立たない; int3 & fact3 -> int4: あの学区は出会い易くない; void -> assump1: 以下のように仮定する。あの学区は出会い易い; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「あの高温プラズマは親しみ易くない」ということは事実だ; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 「その第一頚椎が主題格子であるとしたらこの手術治療は取り消し得る」ということは成り立つ fact2: もしこの手術治療が出会い易いとしたらあの学区は主題格子である fact3: 「この手術治療は主題格子でないかあるいはそれは主人実朝でないかどちらもだ」ということは偽だとすればあの学区は出会い易くない fact4: もしも「この手術治療は主題格子でないかもしくは主人実朝だ」ということは事実と異なるとすればあの学区は出会い易くない fact5: もし仮にその第一頚椎が取り消し得るとするとこの手術治療は主人実朝である fact6: その第一頚椎は出会い易い fact7: 「もし仮にあの不服申し立てが主題格子であるならばこの手術治療は減らせる」ということは確かだ fact8: もしもその第一頚椎は取り消し得るなら「この手術治療は主題格子でないかまたはそれは主人実朝であるということはない」ということは事実と異なる fact9: 仮に「あの不服申し立ては減らせる」ということは成り立つとしたらその第一頚椎は取り消し得る fact10: あの高温プラズマは主人実朝でない fact11: あの音楽ホールは主人実朝でない fact12: もしもあの学区は主題格子だとすれば「この手術治療は出会い易い」ということは事実だ fact13: あの学区は減らせる fact14: その第一頚椎は主人実朝である fact15: この手術治療は主人実朝だ fact16: あの高温プラズマが親しみ易いとしたらあの不服申し立ては減らせる fact17: その第一頚椎は出易くない ; $hypothesis$ = 仮にあの学区が出会い易いとしたらあの高温プラズマは親しみ易くない ; $proof$ = 
void -> assump2: 以下のように仮定する。あの高温プラズマは親しみ易い; fact16 & assump2 -> int1: あの不服申し立ては減らせる; int1 & fact9 -> int2: その第一頚椎は取り消し得る; int2 & fact8 -> int3: 「この手術治療は主題格子でないかもしくは主人実朝でないかあるいはどちらもだ」ということは成り立たない; int3 & fact3 -> int4: あの学区は出会い易くない; void -> assump1: 以下のように仮定する。あの学区は出会い易い; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「あの高温プラズマは親しみ易くない」ということは事実だ; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 「その第一頚椎が主題格子であるとしたらこの手術治療は取り消し得る」ということは成り立つ
事実2: もしこの手術治療が出会い易いとしたらあの学区は主題格子である
事実3: 「この手術治療は主題格子でないかあるいはそれは主人実朝でないかどちらもだ」ということは偽だとすればあの学区は出会い易くない
事実4: もしも「この手術治療は主題格子でないかもしくは主人実朝だ」ということは事実と異なるとすればあの学区は出会い易くない
事実5: もし仮にその第一頚椎が取り消し得るとするとこの手術治療は主人実朝である
事実6: その第一頚椎は出会い易い
事実7: 「もし仮にあの不服申し立てが主題格子であるならばこの手術治療は減らせる」ということは確かだ
事実8: もしもその第一頚椎は取り消し得るなら「この手術治療は主題格子でないかまたはそれは主人実朝であるということはない」ということは事実と異なる
事実9: 仮に「あの不服申し立ては減らせる」ということは成り立つとしたらその第一頚椎は取り消し得る
事実10: あの高温プラズマは主人実朝でない
事実11: あの音楽ホールは主人実朝でない
事実12: もしもあの学区は主題格子だとすれば「この手術治療は出会い易い」ということは事実だ
事実13: あの学区は減らせる
事実14: その第一頚椎は主人実朝である
事実15: この手術治療は主人実朝だ
事実16: あの高温プラズマが親しみ易いとしたらあの不服申し立ては減らせる
事実17: その第一頚椎は出易くない

仮説: 仮にあの学区が出会い易いとしたらあの高温プラズマは親しみ易くない
1. 仮定2: 以下のように仮定する。あの高温プラズマは親しみ易い
2. 事実16と仮定2から、推論1: "あの不服申し立ては減らせる"が導かれる
3. 推論1と事実9から、推論2: "その第一頚椎は取り消し得る"が導かれる
4. 推論2と事実8から、推論3: "「この手術治療は主題格子でないかもしくは主人実朝でないかあるいはどちらもだ」ということは成り立たない"が導かれる
5. 推論3と事実3から、推論4: "あの学区は出会い易くない"が導かれる
6. 仮定1: 以下のように仮定する。あの学区は出会い易い
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "「あの高温プラズマは親しみ易くない」ということは事実だ"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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