この二地点は御寂しいしそれに大賛成する
fact1: この二地点は御知るとすれば「あの一時借り入れ金は熱性痙攣であるがしかし御寂しいということはない」ということは間違いである fact2: もし仮にその甘みが儚くないが障害認定日であるならばこの二地点は熱性痙攣だ fact3: その甘みは御寂しい fact4: もしその危機状況が障害認定日でないとすればその甘みは儚くないが障害認定日である fact5: 仮にその危機状況は気高しとしたら「それは儚いしそれは御寂しくない」ということは本当でない fact6: もし何かは障害認定日であるか熱性痙攣でないとすれば障害認定日だ fact7: もし仮にあの一時借り入れ金が気高しとするとその危機状況は気高し fact8: もしもその危機状況は障害認定日だとすると「あの一時借り入れ金は御知るけど左サイドバックでない」ということは間違いだ fact9: あの一時借り入れ金は御知るがそれは左サイドバックでない fact10: 「「儚いし御寂しくない」ということは誤っている」物があるとすればこの軒瓦は儚くない fact11: あの一時借り入れ金は儚い fact12: あの一時借り入れ金は気高し fact13: 「その危機状況は御寂しくて障害認定日である」ということは成り立たない fact14: 「その甘みは大賛成するとすれば「この二地点が障害認定日だけど御寂しいということはない」ということは間違いである」ということは真実だ fact15: その危機状況は大賛成する fact16: この二地点は気高しし御寂しい fact17: 儚くない物は障害認定日であるかまたは熱性痙攣でない fact18: もし仮にこの二地点が熱性痙攣だとすればそれは大賛成する
void -> assump1: 以下のように仮定する。その危機状況は障害認定日だ; fact8 & assump1 -> int1: 「あの一時借り入れ金は御知る一方でそれは左サイドバックでない」ということは偽である; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: その危機状況は障害認定日でない; int3 & fact4 -> int4: その甘みは儚くないが障害認定日である; int4 & fact2 -> int5: この二地点は熱性痙攣だ; int5 & fact18 -> int6: この二地点は大賛成する; fact16 -> int7: この二地点は御寂しい; int6 & int7 -> hypothesis;
この軒瓦は清ししまた障害認定日である
fact21 -> int8: もし仮にこの軒瓦が障害認定日であるかまたは熱性痙攣でないかあるいはどちらもなら「障害認定日だ」ということは成り立つ; fact23 -> int9: 仮にこの軒瓦が儚くないとすると障害認定日であるかまたはそれは熱性痙攣でないかまたは両方である; fact22 & fact20 -> int10: その危機状況は気高し; fact19 & int10 -> int11: 「その危機状況は儚いがしかし御寂しくない」ということは本当でない; int11 -> int12: 「「「儚くてかつ御寂しいということはない」ということは成り立つ」ということは間違いな」ものはある; int12 & fact24 -> int13: この軒瓦は儚くない; int9 & int13 -> int14: この軒瓦は障害認定日であるかもしくは熱性痙攣でないか両方だ; int8 & int14 -> int15: この軒瓦は障害認定日だ;
$facts$ = fact1: この二地点は御知るとすれば「あの一時借り入れ金は熱性痙攣であるがしかし御寂しいということはない」ということは間違いである fact2: もし仮にその甘みが儚くないが障害認定日であるならばこの二地点は熱性痙攣だ fact3: その甘みは御寂しい fact4: もしその危機状況が障害認定日でないとすればその甘みは儚くないが障害認定日である fact5: 仮にその危機状況は気高しとしたら「それは儚いしそれは御寂しくない」ということは本当でない fact6: もし何かは障害認定日であるか熱性痙攣でないとすれば障害認定日だ fact7: もし仮にあの一時借り入れ金が気高しとするとその危機状況は気高し fact8: もしもその危機状況は障害認定日だとすると「あの一時借り入れ金は御知るけど左サイドバックでない」ということは間違いだ fact9: あの一時借り入れ金は御知るがそれは左サイドバックでない fact10: 「「儚いし御寂しくない」ということは誤っている」物があるとすればこの軒瓦は儚くない fact11: あの一時借り入れ金は儚い fact12: あの一時借り入れ金は気高し fact13: 「その危機状況は御寂しくて障害認定日である」ということは成り立たない fact14: 「その甘みは大賛成するとすれば「この二地点が障害認定日だけど御寂しいということはない」ということは間違いである」ということは真実だ fact15: その危機状況は大賛成する fact16: この二地点は気高しし御寂しい fact17: 儚くない物は障害認定日であるかまたは熱性痙攣でない fact18: もし仮にこの二地点が熱性痙攣だとすればそれは大賛成する ; $hypothesis$ = この二地点は御寂しいしそれに大賛成する ; $proof$ = 
void -> assump1: 以下のように仮定する。その危機状況は障害認定日だ; fact8 & assump1 -> int1: 「あの一時借り入れ金は御知る一方でそれは左サイドバックでない」ということは偽である; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> int3: その危機状況は障害認定日でない; int3 & fact4 -> int4: その甘みは儚くないが障害認定日である; int4 & fact2 -> int5: この二地点は熱性痙攣だ; int5 & fact18 -> int6: この二地点は大賛成する; fact16 -> int7: この二地点は御寂しい; int6 & int7 -> hypothesis; __PROVED__
事実1: この二地点は御知るとすれば「あの一時借り入れ金は熱性痙攣であるがしかし御寂しいということはない」ということは間違いである
事実2: もし仮にその甘みが儚くないが障害認定日であるならばこの二地点は熱性痙攣だ
事実3: その甘みは御寂しい
事実4: もしその危機状況が障害認定日でないとすればその甘みは儚くないが障害認定日である
事実5: 仮にその危機状況は気高しとしたら「それは儚いしそれは御寂しくない」ということは本当でない
事実6: もし何かは障害認定日であるか熱性痙攣でないとすれば障害認定日だ
事実7: もし仮にあの一時借り入れ金が気高しとするとその危機状況は気高し
事実8: もしもその危機状況は障害認定日だとすると「あの一時借り入れ金は御知るけど左サイドバックでない」ということは間違いだ
事実9: あの一時借り入れ金は御知るがそれは左サイドバックでない
事実10: 「「儚いし御寂しくない」ということは誤っている」物があるとすればこの軒瓦は儚くない
事実11: あの一時借り入れ金は儚い
事実12: あの一時借り入れ金は気高し
事実13: 「その危機状況は御寂しくて障害認定日である」ということは成り立たない
事実14: 「その甘みは大賛成するとすれば「この二地点が障害認定日だけど御寂しいということはない」ということは間違いである」ということは真実だ
事実15: その危機状況は大賛成する
事実16: この二地点は気高しし御寂しい
事実17: 儚くない物は障害認定日であるかまたは熱性痙攣でない
事実18: もし仮にこの二地点が熱性痙攣だとすればそれは大賛成する

仮説: この二地点は御寂しいしそれに大賛成する
1. 仮定1: 以下のように仮定する。その危機状況は障害認定日だ
2. 事実8と仮定1から、推論1: "「あの一時借り入れ金は御知る一方でそれは左サイドバックでない」ということは偽である"が導かれる
3. 推論1と事実9から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その危機状況は障害認定日でない"が導かれる
5. 推論3と事実4から、推論4: "その甘みは儚くないが障害認定日である"が導かれる
6. 推論4と事実2から、推論5: "この二地点は熱性痙攣だ"が導かれる
7. 推論5と事実18から、推論6: "この二地点は大賛成する"が導かれる
8. 事実16から、推論7: "この二地点は御寂しい"が導かれる
9. 推論6と推論7から、仮説が導かれる

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