もし仮に「「「その勇猛は怒鳴り込まなくてまた論争でない」ということは成り立つ」ということは偽だ」ということは確かであるとしたらその免訴は過小評価しない
fact1: あの合わせ方はこよなくない fact2: その免訴が怒鳴り込むということはないとするとその勇猛は怒鳴り込まないしそれは論争でない fact3: 仮に「何かはＯＥＣＤ加盟国であるがそれは軟らか過ぎるということはない」ということは成り立たないとすればＯＥＣＤ加盟国でない fact4: こよないものは過小評価しない fact5: なにかは引き替えるがしかしこよなくないなら怒鳴り込まない fact6: もしもこの空間分析が投入すれば落下しない fact7: もし何らかの物は論争であるということはないならばそれは怒鳴り込まない fact8: もしも「何らかのものは引き替えるがしかしこよなくない」ということは成り立たないならそれは過小評価しない fact9: 「この空間分析は投入する」ということは本当だ fact10: その勇猛は論争である fact11: その政策当局はこよなくない fact12: その勇猛は怒鳴り込む一方でそれはこよなくない fact13: 「もしこの空間分析は落下しないならば「あのビッド・レートはＯＥＣＤ加盟国であるけれど軟らか過ぎない」ということは事実と異なる」ということは本当である
fact5 -> int1: もし仮にその免訴は引き替える一方でこよなくないとすると怒鳴り込まない; void -> assump2: 以下のように仮定する。その免訴は引き替えるがしかしそれはこよなくない; int1 & assump2 -> int2: その免訴は怒鳴り込まない; int2 & fact2 -> int3: その勇猛は怒鳴り込まないしかつ論争でない; void -> assump1: 以下のように仮定する。「その勇猛は怒鳴り込まないし論争でない」ということは誤りだ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「その免訴は引き替えるがこよなくない」ということは成り立たない; fact8 -> int6: もしも「その免訴は引き替えるけどこよなくない」ということは成り立たないとすると過小評価しない; int5 & int6 -> int7: その免訴は過小評価しない; [assump1] & int7 -> hypothesis;
この就学率は怒鳴り込むということはない
fact16 -> int8: もしもこの就学率は論争でないならば怒鳴り込まない; fact18 -> int9: もし「あのビッド・レートはＯＥＣＤ加盟国であるが軟らか過ぎない」ということは偽だとしたらそれはＯＥＣＤ加盟国でない; fact17 & fact14 -> int10: 「この空間分析は落下するということはない」ということは誤りでない; fact15 & int10 -> int11: 「あのビッド・レートはＯＥＣＤ加盟国だが軟らか過ぎない」ということは成り立たない; int9 & int11 -> int12: 「あのビッド・レートはＯＥＣＤ加盟国でない」ということは成り立つ; int12 -> int13: 「ＯＥＣＤ加盟国でない」ものはある;
$facts$ = fact1: あの合わせ方はこよなくない fact2: その免訴が怒鳴り込むということはないとするとその勇猛は怒鳴り込まないしそれは論争でない fact3: 仮に「何かはＯＥＣＤ加盟国であるがそれは軟らか過ぎるということはない」ということは成り立たないとすればＯＥＣＤ加盟国でない fact4: こよないものは過小評価しない fact5: なにかは引き替えるがしかしこよなくないなら怒鳴り込まない fact6: もしもこの空間分析が投入すれば落下しない fact7: もし何らかの物は論争であるということはないならばそれは怒鳴り込まない fact8: もしも「何らかのものは引き替えるがしかしこよなくない」ということは成り立たないならそれは過小評価しない fact9: 「この空間分析は投入する」ということは本当だ fact10: その勇猛は論争である fact11: その政策当局はこよなくない fact12: その勇猛は怒鳴り込む一方でそれはこよなくない fact13: 「もしこの空間分析は落下しないならば「あのビッド・レートはＯＥＣＤ加盟国であるけれど軟らか過ぎない」ということは事実と異なる」ということは本当である ; $hypothesis$ = もし仮に「「「その勇猛は怒鳴り込まなくてまた論争でない」ということは成り立つ」ということは偽だ」ということは確かであるとしたらその免訴は過小評価しない ; $proof$ = 
fact5 -> int1: もし仮にその免訴は引き替える一方でこよなくないとすると怒鳴り込まない; void -> assump2: 以下のように仮定する。その免訴は引き替えるがしかしそれはこよなくない; int1 & assump2 -> int2: その免訴は怒鳴り込まない; int2 & fact2 -> int3: その勇猛は怒鳴り込まないしかつ論争でない; void -> assump1: 以下のように仮定する。「その勇猛は怒鳴り込まないし論争でない」ということは誤りだ; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: 「その免訴は引き替えるがこよなくない」ということは成り立たない; fact8 -> int6: もしも「その免訴は引き替えるけどこよなくない」ということは成り立たないとすると過小評価しない; int5 & int6 -> int7: その免訴は過小評価しない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: あの合わせ方はこよなくない
事実2: その免訴が怒鳴り込むということはないとするとその勇猛は怒鳴り込まないしそれは論争でない
事実3: 仮に「何かはＯＥＣＤ加盟国であるがそれは軟らか過ぎるということはない」ということは成り立たないとすればＯＥＣＤ加盟国でない
事実4: こよないものは過小評価しない
事実5: なにかは引き替えるがしかしこよなくないなら怒鳴り込まない
事実6: もしもこの空間分析が投入すれば落下しない
事実7: もし何らかの物は論争であるということはないならばそれは怒鳴り込まない
事実8: もしも「何らかのものは引き替えるがしかしこよなくない」ということは成り立たないならそれは過小評価しない
事実9: 「この空間分析は投入する」ということは本当だ
事実10: その勇猛は論争である
事実11: その政策当局はこよなくない
事実12: その勇猛は怒鳴り込む一方でそれはこよなくない
事実13: 「もしこの空間分析は落下しないならば「あのビッド・レートはＯＥＣＤ加盟国であるけれど軟らか過ぎない」ということは事実と異なる」ということは本当である

仮説: もし仮に「「「その勇猛は怒鳴り込まなくてまた論争でない」ということは成り立つ」ということは偽だ」ということは確かであるとしたらその免訴は過小評価しない
1. 事実5から、推論1: "もし仮にその免訴は引き替える一方でこよなくないとすると怒鳴り込まない"が導かれる
2. 仮定2: 以下のように仮定する。その免訴は引き替えるがしかしそれはこよなくない
3. 推論1と仮定2から、推論2: "その免訴は怒鳴り込まない"が導かれる
4. 推論2と事実2から、推論3: "その勇猛は怒鳴り込まないしかつ論争でない"が導かれる
5. 仮定1: 以下のように仮定する。「その勇猛は怒鳴り込まないし論争でない」ということは誤りだ
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "「その免訴は引き替えるがこよなくない」ということは成り立たない"が導かれる
8. 事実8から、推論6: "もしも「その免訴は引き替えるけどこよなくない」ということは成り立たないとすると過小評価しない"が導かれる
9. 推論5と推論6から、推論7: "その免訴は過小評価しない"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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