「「あの既定値は差し物師でないし加えて激突しない」ということは成り立たない」ということは間違いでない
fact1: 仮になんらかのものは重たいならば「差し物師でないししかもそれは激突しない」ということは成り立たない fact2: 何らかの物が合計額でないとすればそれは激突するしおまけに重たい fact3: もし仮にあのカム露は介護保険審査会であるとしたら「軽しないしまた間違い無くない」ということは本当だということはない fact4: あの既定値は介護保険審査会であるけど差し物師であるということはない fact5: この栃木県警は激突する fact6: もし「とある物は軽しないし間違い無いということはない」ということは間違いであるとすれば合計額でない fact7: 「あのカム露が激突するならあの既定値は差し物師でなくてそれは激突しない」ということは成り立つ fact8: もし仮に「あのカム露は軽し」ということは成り立つとすればそれは合計額でない fact9: 「あのカム露は介護保険審査会だ」ということは確かだ
fact6 -> int1: 仮に「「あのカム露は軽しないしそれに間違い無くない」ということは成り立つ」ということは成り立たないとすると「それは合計額でない」ということは確かである; fact9 & fact3 -> int2: 「あのカム露が軽しということはないしさらにそれは間違い無くない」ということは偽である; int1 & int2 -> int3: 「あのカム露は合計額でない」ということは間違っていない; fact2 -> int4: もし仮にあのカム露は合計額でないとすると激突するし重たい; int3 & int4 -> int5: あのカム露は激突するしおまけに重たい; int5 -> int6: あのカム露は激突する; int6 & fact7 -> hypothesis;
「あの既定値は差し物師でなくてその上激突しない」ということは間違っている
fact10 -> int7: もし仮にあの既定値は重たいとすると「それは差し物師でないし加えて激突するということはない」ということは成り立たない;
$facts$ = fact1: 仮になんらかのものは重たいならば「差し物師でないししかもそれは激突しない」ということは成り立たない fact2: 何らかの物が合計額でないとすればそれは激突するしおまけに重たい fact3: もし仮にあのカム露は介護保険審査会であるとしたら「軽しないしまた間違い無くない」ということは本当だということはない fact4: あの既定値は介護保険審査会であるけど差し物師であるということはない fact5: この栃木県警は激突する fact6: もし「とある物は軽しないし間違い無いということはない」ということは間違いであるとすれば合計額でない fact7: 「あのカム露が激突するならあの既定値は差し物師でなくてそれは激突しない」ということは成り立つ fact8: もし仮に「あのカム露は軽し」ということは成り立つとすればそれは合計額でない fact9: 「あのカム露は介護保険審査会だ」ということは確かだ ; $hypothesis$ = 「「あの既定値は差し物師でないし加えて激突しない」ということは成り立たない」ということは間違いでない ; $proof$ = 
fact6 -> int1: 仮に「「あのカム露は軽しないしそれに間違い無くない」ということは成り立つ」ということは成り立たないとすると「それは合計額でない」ということは確かである; fact9 & fact3 -> int2: 「あのカム露が軽しということはないしさらにそれは間違い無くない」ということは偽である; int1 & int2 -> int3: 「あのカム露は合計額でない」ということは間違っていない; fact2 -> int4: もし仮にあのカム露は合計額でないとすると激突するし重たい; int3 & int4 -> int5: あのカム露は激突するしおまけに重たい; int5 -> int6: あのカム露は激突する; int6 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮になんらかのものは重たいならば「差し物師でないししかもそれは激突しない」ということは成り立たない
事実2: 何らかの物が合計額でないとすればそれは激突するしおまけに重たい
事実3: もし仮にあのカム露は介護保険審査会であるとしたら「軽しないしまた間違い無くない」ということは本当だということはない
事実4: あの既定値は介護保険審査会であるけど差し物師であるということはない
事実5: この栃木県警は激突する
事実6: もし「とある物は軽しないし間違い無いということはない」ということは間違いであるとすれば合計額でない
事実7: 「あのカム露が激突するならあの既定値は差し物師でなくてそれは激突しない」ということは成り立つ
事実8: もし仮に「あのカム露は軽し」ということは成り立つとすればそれは合計額でない
事実9: 「あのカム露は介護保険審査会だ」ということは確かだ

仮説: 「「あの既定値は差し物師でないし加えて激突しない」ということは成り立たない」ということは間違いでない
1. 事実6から、推論1: "仮に「「あのカム露は軽しないしそれに間違い無くない」ということは成り立つ」ということは成り立たないとすると「それは合計額でない」ということは確かである"が導かれる
2. 事実9と事実3から、推論2: "「あのカム露が軽しということはないしさらにそれは間違い無くない」ということは偽である"が導かれる
3. 推論1と推論2から、推論3: "「あのカム露は合計額でない」ということは間違っていない"が導かれる
4. 事実2から、推論4: "もし仮にあのカム露は合計額でないとすると激突するし重たい"が導かれる
5. 推論3と推論4から、推論5: "あのカム露は激突するしおまけに重たい"が導かれる
6. 推論5から、推論6: "あのカム露は激突する"が導かれる
7. 推論6と事実7から、仮説が否定される

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