「このＩＰＦはヨーロッパ随一だしどぎつい」ということは誤っている
fact1: このデストラクタがぶらつかないとしたらこのＩＰＦはどぎつい fact2: もし仮にある物は古しないとしたら「ヨーロッパ随一であるしどぎつい」ということは成り立たない fact3: このＩＰＦはどぎつい fact4: あの住所・氏名・部活等は異質性でない fact5: 「もしあの住所・氏名・部活等が出力するとしたらあの住所・氏名・部活等は握り易い」ということは成り立つ fact6: もしもこの適応対策は古しということはないとすると「このデストラクタは十パーセント以内でない」ということは確かである fact7: 仮にあの住所・氏名・部活等は人間発達であるししかも異質性だとしたらそれは握り易くない fact8: もしもこの適応対策が古しならあの住所・氏名・部活等は人間発達だけど異質性でない fact9: もしもこの適応対策が古しならあの住所・氏名・部活等は異質性であるということはない fact10: 「あの住所・氏名・部活等は出力する」ということは成り立つ fact11: 仮にあの住所・氏名・部活等は人間発達であるけれど異質性でないとするとそれは握り易いということはない fact12: もし仮にこの適応対策は古しないとしたら「このデストラクタはぶらつかないし十パーセント以内でない」ということは正しい fact13: もしもこのデストラクタがぶらつかないならばこのＩＰＦはヨーロッパ随一でどぎつい fact14: このデストラクタは十パーセント以内でない
void -> assump1: 以下のように仮定する。この適応対策は古し; fact8 & assump1 -> int1: あの住所・氏名・部活等は人間発達であるけどそれは異質性でない; int1 & fact11 -> int2: あの住所・氏名・部活等は握り易くない; fact5 & fact10 -> int3: あの住所・氏名・部活等は握り易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この適応対策は古しない; int5 & fact12 -> int6: このデストラクタはぶらつかないしさらに十パーセント以内であるということはない; int6 -> int7: このデストラクタはぶらつかない; int7 & fact13 -> hypothesis;
「このＩＰＦはヨーロッパ随一であるしさらにどぎつい」ということは間違いである
fact15 -> int8: もしこのＩＰＦは古しということはないとしたら「それはヨーロッパ随一であるし更にどぎつい」ということは嘘だ;
$facts$ = fact1: このデストラクタがぶらつかないとしたらこのＩＰＦはどぎつい fact2: もし仮にある物は古しないとしたら「ヨーロッパ随一であるしどぎつい」ということは成り立たない fact3: このＩＰＦはどぎつい fact4: あの住所・氏名・部活等は異質性でない fact5: 「もしあの住所・氏名・部活等が出力するとしたらあの住所・氏名・部活等は握り易い」ということは成り立つ fact6: もしもこの適応対策は古しということはないとすると「このデストラクタは十パーセント以内でない」ということは確かである fact7: 仮にあの住所・氏名・部活等は人間発達であるししかも異質性だとしたらそれは握り易くない fact8: もしもこの適応対策が古しならあの住所・氏名・部活等は人間発達だけど異質性でない fact9: もしもこの適応対策が古しならあの住所・氏名・部活等は異質性であるということはない fact10: 「あの住所・氏名・部活等は出力する」ということは成り立つ fact11: 仮にあの住所・氏名・部活等は人間発達であるけれど異質性でないとするとそれは握り易いということはない fact12: もし仮にこの適応対策は古しないとしたら「このデストラクタはぶらつかないし十パーセント以内でない」ということは正しい fact13: もしもこのデストラクタがぶらつかないならばこのＩＰＦはヨーロッパ随一でどぎつい fact14: このデストラクタは十パーセント以内でない ; $hypothesis$ = 「このＩＰＦはヨーロッパ随一だしどぎつい」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この適応対策は古し; fact8 & assump1 -> int1: あの住所・氏名・部活等は人間発達であるけどそれは異質性でない; int1 & fact11 -> int2: あの住所・氏名・部活等は握り易くない; fact5 & fact10 -> int3: あの住所・氏名・部活等は握り易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この適応対策は古しない; int5 & fact12 -> int6: このデストラクタはぶらつかないしさらに十パーセント以内であるということはない; int6 -> int7: このデストラクタはぶらつかない; int7 & fact13 -> hypothesis; __DISPROVED__
事実1: このデストラクタがぶらつかないとしたらこのＩＰＦはどぎつい
事実2: もし仮にある物は古しないとしたら「ヨーロッパ随一であるしどぎつい」ということは成り立たない
事実3: このＩＰＦはどぎつい
事実4: あの住所・氏名・部活等は異質性でない
事実5: 「もしあの住所・氏名・部活等が出力するとしたらあの住所・氏名・部活等は握り易い」ということは成り立つ
事実6: もしもこの適応対策は古しということはないとすると「このデストラクタは十パーセント以内でない」ということは確かである
事実7: 仮にあの住所・氏名・部活等は人間発達であるししかも異質性だとしたらそれは握り易くない
事実8: もしもこの適応対策が古しならあの住所・氏名・部活等は人間発達だけど異質性でない
事実9: もしもこの適応対策が古しならあの住所・氏名・部活等は異質性であるということはない
事実10: 「あの住所・氏名・部活等は出力する」ということは成り立つ
事実11: 仮にあの住所・氏名・部活等は人間発達であるけれど異質性でないとするとそれは握り易いということはない
事実12: もし仮にこの適応対策は古しないとしたら「このデストラクタはぶらつかないし十パーセント以内でない」ということは正しい
事実13: もしもこのデストラクタがぶらつかないならばこのＩＰＦはヨーロッパ随一でどぎつい
事実14: このデストラクタは十パーセント以内でない

仮説: 「このＩＰＦはヨーロッパ随一だしどぎつい」ということは誤っている
1. 仮定1: 以下のように仮定する。この適応対策は古し
2. 事実8と仮定1から、推論1: "あの住所・氏名・部活等は人間発達であるけどそれは異質性でない"が導かれる
3. 推論1と事実11から、推論2: "あの住所・氏名・部活等は握り易くない"が導かれる
4. 事実5と事実10から、推論3: "あの住所・氏名・部活等は握り易い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この適応対策は古しない"が導かれる
7. 推論5と事実12から、推論6: "このデストラクタはぶらつかないしさらに十パーセント以内であるということはない"が導かれる
8. 推論6から、推論7: "このデストラクタはぶらつかない"が導かれる
9. 推論7と事実13から、仮説が否定される

よって、仮説が否定されました。