この木々達は紛らさない
fact1: この進み具合が大乱闘だし試験条件であるならばあのＣＯＸは山家衆でない fact2: 仮にその確認書が大乱闘だとすればそれは試験条件だ fact3: もしもその確認書が調べ出すとしたら試験条件だ fact4: もし仮にこの進み具合が大乱闘であるならその確認書は調べ出す fact5: その確認書は起業体験プログラムだ fact6: 仮にこの進み具合が受験しないならばあの脱走兵は調べ出す fact7: 仮に「このスクリーニングは配筋するが切り難くない」ということは間違いであるならこの木々達は利用し辛い fact8: この進み具合は切り難い fact9: この進み具合は受験するしそれは大乱闘である fact10: 仮にその確認書が試験条件であるしその上起業体験プログラムだとしたらこのＣＯＸは山家衆でない fact11: もし仮にこの木々達が利用し辛いとしたらそれは紛らす fact12: もしこのＣＯＸは山家衆でないとすると「このスクリーニングは配筋する一方で切り難くない」ということは誤りである fact13: 「この進み具合は紛らすけれど山家衆であるということはない」ということは成り立たないとすればこのＣＯＸは受験する
fact9 -> int1: この進み具合は大乱闘である; int1 & fact4 -> int2: その確認書は調べ出す; int2 & fact3 -> int3: その確認書は試験条件だ; int3 & fact5 -> int4: その確認書は試験条件で更に起業体験プログラムである; int4 & fact10 -> int5: このＣＯＸは山家衆でない; int5 & fact12 -> int6: 「このスクリーニングは配筋する一方で切り難くない」ということは確かでない; int6 & fact7 -> int7: この木々達は利用し辛い; int7 & fact11 -> hypothesis;
あの脱走兵は調べ出す
$facts$ = fact1: この進み具合が大乱闘だし試験条件であるならばあのＣＯＸは山家衆でない fact2: 仮にその確認書が大乱闘だとすればそれは試験条件だ fact3: もしもその確認書が調べ出すとしたら試験条件だ fact4: もし仮にこの進み具合が大乱闘であるならその確認書は調べ出す fact5: その確認書は起業体験プログラムだ fact6: 仮にこの進み具合が受験しないならばあの脱走兵は調べ出す fact7: 仮に「このスクリーニングは配筋するが切り難くない」ということは間違いであるならこの木々達は利用し辛い fact8: この進み具合は切り難い fact9: この進み具合は受験するしそれは大乱闘である fact10: 仮にその確認書が試験条件であるしその上起業体験プログラムだとしたらこのＣＯＸは山家衆でない fact11: もし仮にこの木々達が利用し辛いとしたらそれは紛らす fact12: もしこのＣＯＸは山家衆でないとすると「このスクリーニングは配筋する一方で切り難くない」ということは誤りである fact13: 「この進み具合は紛らすけれど山家衆であるということはない」ということは成り立たないとすればこのＣＯＸは受験する ; $hypothesis$ = この木々達は紛らさない ; $proof$ = 
fact9 -> int1: この進み具合は大乱闘である; int1 & fact4 -> int2: その確認書は調べ出す; int2 & fact3 -> int3: その確認書は試験条件だ; int3 & fact5 -> int4: その確認書は試験条件で更に起業体験プログラムである; int4 & fact10 -> int5: このＣＯＸは山家衆でない; int5 & fact12 -> int6: 「このスクリーニングは配筋する一方で切り難くない」ということは確かでない; int6 & fact7 -> int7: この木々達は利用し辛い; int7 & fact11 -> hypothesis; __DISPROVED__
事実1: この進み具合が大乱闘だし試験条件であるならばあのＣＯＸは山家衆でない
事実2: 仮にその確認書が大乱闘だとすればそれは試験条件だ
事実3: もしもその確認書が調べ出すとしたら試験条件だ
事実4: もし仮にこの進み具合が大乱闘であるならその確認書は調べ出す
事実5: その確認書は起業体験プログラムだ
事実6: 仮にこの進み具合が受験しないならばあの脱走兵は調べ出す
事実7: 仮に「このスクリーニングは配筋するが切り難くない」ということは間違いであるならこの木々達は利用し辛い
事実8: この進み具合は切り難い
事実9: この進み具合は受験するしそれは大乱闘である
事実10: 仮にその確認書が試験条件であるしその上起業体験プログラムだとしたらこのＣＯＸは山家衆でない
事実11: もし仮にこの木々達が利用し辛いとしたらそれは紛らす
事実12: もしこのＣＯＸは山家衆でないとすると「このスクリーニングは配筋する一方で切り難くない」ということは誤りである
事実13: 「この進み具合は紛らすけれど山家衆であるということはない」ということは成り立たないとすればこのＣＯＸは受験する

仮説: この木々達は紛らさない
1. 事実9から、推論1: "この進み具合は大乱闘である"が導かれる
2. 推論1と事実4から、推論2: "その確認書は調べ出す"が導かれる
3. 推論2と事実3から、推論3: "その確認書は試験条件だ"が導かれる
4. 推論3と事実5から、推論4: "その確認書は試験条件で更に起業体験プログラムである"が導かれる
5. 推論4と事実10から、推論5: "このＣＯＸは山家衆でない"が導かれる
6. 推論5と事実12から、推論6: "「このスクリーニングは配筋する一方で切り難くない」ということは確かでない"が導かれる
7. 推論6と事実7から、推論7: "この木々達は利用し辛い"が導かれる
8. 推論7と事実11から、仮説が否定される

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