「あの山脈は果てし無くない」ということは正しい
fact1: もし「ある物は気弱いがしかし埋納しない」ということは誤っていれば「それは気弱くない」ということは真実である fact2: もしもあの山脈は気弱くないけれど埋納すればそれは比較し難くない fact3: 仮にある物は果てし無いということはないならば「それは気弱いしそれは埋納しない」ということは確かでない fact4: 比較し難くないものが自己紹介するとすればそれは果てし無い fact5: その弟君は擽ったい fact6: その新型戦車は自己紹介しない fact7: 擽ったいものは埋納しない fact8: あの穴開けは自己紹介しない fact9: その新型戦車が気弱くないならあの山脈はパスワード管理だということはないかそれは呼び出しメッセージだ fact10: 比較し難いということはない物はアメリカっぽいし自己紹介する fact11: 「この国民国家形成は果てし無くないけれど擽ったい」ということは嘘だ fact12: もし仮にこの国民国家形成は比較し難いということはないとすると「アメリカっぽいししかもパスワード管理である」ということは確かだということはない fact13: 仮にとあるものは呼び出しメッセージでなくてまた気弱いということはないとすれば果てし無くない fact14: もしも「「アメリカっぽくて加えてパスワード管理である」ということは間違いである」物があるとしたらあの山脈は呼び出しメッセージであるということはない fact15: 「「呼び出しメッセージでない」ということは本当である」物はある fact16: あの山脈は擽ったくない fact17: 擽ったいものは気弱いということはないししかも埋納しない fact18: もしもその弟君が気弱くないししかも埋納しないならあの山脈は気弱くない fact19: もしその新型戦車が自己紹介するということはないならばこの国民国家形成は比較し難くない fact20: もし仮に何らかの物がパスワード管理であるということはないかもしくは呼び出しメッセージならばそれは比較し難くない
fact19 & fact6 -> int1: この国民国家形成は比較し難くない; int1 & fact12 -> int2: 「この国民国家形成はアメリカっぽいしさらにパスワード管理である」ということは誤りである; int2 -> int3: 「「アメリカっぽいしかつパスワード管理だ」ということは間違っている」物はある; int3 & fact14 -> int4: あの山脈は呼び出しメッセージでない; fact17 -> int5: もし仮にその弟君が擽ったいなら気弱くないしかつ埋納しない; int5 & fact5 -> int6: その弟君は気弱くないし更に埋納しない; int6 & fact18 -> int7: あの山脈は気弱くない; int4 & int7 -> int8: あの山脈は呼び出しメッセージでなくてかつ気弱くない; fact13 -> int9: もし仮にあの山脈は呼び出しメッセージでなくて気弱くないとすれば果てし無くない; int8 & int9 -> hypothesis;
あの山脈はアメリカっぽい
fact21 -> int10: もし「あの山脈は比較し難くない」ということは嘘だということはないとすればそれはアメリカっぽいしまた自己紹介する; fact23 -> int11: あの山脈はパスワード管理でないかあるいは呼び出しメッセージであるかまたは両方であるならば比較し難いということはない; fact25 -> int12: 「その新型戦車は気弱いけど埋納しない」ということは間違いであるならそれは気弱くない; fact26 -> int13: もしもその新型戦車は果てし無いということはないなら「気弱いけど埋納するということはない」ということは成り立たない;
$facts$ = fact1: もし「ある物は気弱いがしかし埋納しない」ということは誤っていれば「それは気弱くない」ということは真実である fact2: もしもあの山脈は気弱くないけれど埋納すればそれは比較し難くない fact3: 仮にある物は果てし無いということはないならば「それは気弱いしそれは埋納しない」ということは確かでない fact4: 比較し難くないものが自己紹介するとすればそれは果てし無い fact5: その弟君は擽ったい fact6: その新型戦車は自己紹介しない fact7: 擽ったいものは埋納しない fact8: あの穴開けは自己紹介しない fact9: その新型戦車が気弱くないならあの山脈はパスワード管理だということはないかそれは呼び出しメッセージだ fact10: 比較し難いということはない物はアメリカっぽいし自己紹介する fact11: 「この国民国家形成は果てし無くないけれど擽ったい」ということは嘘だ fact12: もし仮にこの国民国家形成は比較し難いということはないとすると「アメリカっぽいししかもパスワード管理である」ということは確かだということはない fact13: 仮にとあるものは呼び出しメッセージでなくてまた気弱いということはないとすれば果てし無くない fact14: もしも「「アメリカっぽくて加えてパスワード管理である」ということは間違いである」物があるとしたらあの山脈は呼び出しメッセージであるということはない fact15: 「「呼び出しメッセージでない」ということは本当である」物はある fact16: あの山脈は擽ったくない fact17: 擽ったいものは気弱いということはないししかも埋納しない fact18: もしもその弟君が気弱くないししかも埋納しないならあの山脈は気弱くない fact19: もしその新型戦車が自己紹介するということはないならばこの国民国家形成は比較し難くない fact20: もし仮に何らかの物がパスワード管理であるということはないかもしくは呼び出しメッセージならばそれは比較し難くない ; $hypothesis$ = 「あの山脈は果てし無くない」ということは正しい ; $proof$ = 
fact19 & fact6 -> int1: この国民国家形成は比較し難くない; int1 & fact12 -> int2: 「この国民国家形成はアメリカっぽいしさらにパスワード管理である」ということは誤りである; int2 -> int3: 「「アメリカっぽいしかつパスワード管理だ」ということは間違っている」物はある; int3 & fact14 -> int4: あの山脈は呼び出しメッセージでない; fact17 -> int5: もし仮にその弟君が擽ったいなら気弱くないしかつ埋納しない; int5 & fact5 -> int6: その弟君は気弱くないし更に埋納しない; int6 & fact18 -> int7: あの山脈は気弱くない; int4 & int7 -> int8: あの山脈は呼び出しメッセージでなくてかつ気弱くない; fact13 -> int9: もし仮にあの山脈は呼び出しメッセージでなくて気弱くないとすれば果てし無くない; int8 & int9 -> hypothesis; __PROVED__
事実1: もし「ある物は気弱いがしかし埋納しない」ということは誤っていれば「それは気弱くない」ということは真実である
事実2: もしもあの山脈は気弱くないけれど埋納すればそれは比較し難くない
事実3: 仮にある物は果てし無いということはないならば「それは気弱いしそれは埋納しない」ということは確かでない
事実4: 比較し難くないものが自己紹介するとすればそれは果てし無い
事実5: その弟君は擽ったい
事実6: その新型戦車は自己紹介しない
事実7: 擽ったいものは埋納しない
事実8: あの穴開けは自己紹介しない
事実9: その新型戦車が気弱くないならあの山脈はパスワード管理だということはないかそれは呼び出しメッセージだ
事実10: 比較し難いということはない物はアメリカっぽいし自己紹介する
事実11: 「この国民国家形成は果てし無くないけれど擽ったい」ということは嘘だ
事実12: もし仮にこの国民国家形成は比較し難いということはないとすると「アメリカっぽいししかもパスワード管理である」ということは確かだということはない
事実13: 仮にとあるものは呼び出しメッセージでなくてまた気弱いということはないとすれば果てし無くない
事実14: もしも「「アメリカっぽくて加えてパスワード管理である」ということは間違いである」物があるとしたらあの山脈は呼び出しメッセージであるということはない
事実15: 「「呼び出しメッセージでない」ということは本当である」物はある
事実16: あの山脈は擽ったくない
事実17: 擽ったいものは気弱いということはないししかも埋納しない
事実18: もしもその弟君が気弱くないししかも埋納しないならあの山脈は気弱くない
事実19: もしその新型戦車が自己紹介するということはないならばこの国民国家形成は比較し難くない
事実20: もし仮に何らかの物がパスワード管理であるということはないかもしくは呼び出しメッセージならばそれは比較し難くない

仮説: 「あの山脈は果てし無くない」ということは正しい
1. 事実19と事実6から、推論1: "この国民国家形成は比較し難くない"が導かれる
2. 推論1と事実12から、推論2: "「この国民国家形成はアメリカっぽいしさらにパスワード管理である」ということは誤りである"が導かれる
3. 推論2から、推論3: "「「アメリカっぽいしかつパスワード管理だ」ということは間違っている」物はある"が導かれる
4. 推論3と事実14から、推論4: "あの山脈は呼び出しメッセージでない"が導かれる
5. 事実17から、推論5: "もし仮にその弟君が擽ったいなら気弱くないしかつ埋納しない"が導かれる
6. 推論5と事実5から、推論6: "その弟君は気弱くないし更に埋納しない"が導かれる
7. 推論6と事実18から、推論7: "あの山脈は気弱くない"が導かれる
8. 推論4と推論7から、推論8: "あの山脈は呼び出しメッセージでなくてかつ気弱くない"が導かれる
9. 事実13から、推論9: "もし仮にあの山脈は呼び出しメッセージでなくて気弱くないとすれば果てし無くない"が導かれる
10. 推論8と推論9から、仮説が導かれる

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