「ある物は御話し頂かないけれどそれは矯正する」ということは正しくない
fact1: あの裁決要旨が矯正しないとすればこの全身管理は御話し頂かないがしかしそれは矯正する fact2: 仮になにかは怠るとしたらそれは遣り辛い fact3: もし仮にとある物が遣り辛いなら矯正しない fact4: もし「逸る」物があるとするとあの裁決要旨は先頭集団であるということはない一方で怠る fact5: その管轄下は矯正しない fact6: もしもあの裁決要旨が矯正しないとすればこの全身管理は矯正する fact7: 仮に「「逸る」ということは事実である」ものがあるとするとあの裁決要旨は先頭集団でない fact8: あるものは逸る fact9: あの裁決要旨は先頭集団でない fact10: 何かは作り難くないけど最年長者である
fact8 & fact4 -> int1: あの裁決要旨は先頭集団でない一方でそれは怠る; int1 -> int2: あの裁決要旨は怠る; fact2 -> int3: 「あの裁決要旨が怠るとしたらあの裁決要旨は遣り辛い」ということは事実だ; int2 & int3 -> int4: あの裁決要旨は遣り辛い; fact3 -> int5: 仮にあの裁決要旨が遣り辛いとすると矯正しない; int4 & int5 -> int6: あの裁決要旨は矯正しない; int6 & fact1 -> int7: この全身管理は御話し頂かないけれどそれは矯正する; int7 -> hypothesis;
$facts$ = fact1: あの裁決要旨が矯正しないとすればこの全身管理は御話し頂かないがしかしそれは矯正する fact2: 仮になにかは怠るとしたらそれは遣り辛い fact3: もし仮にとある物が遣り辛いなら矯正しない fact4: もし「逸る」物があるとするとあの裁決要旨は先頭集団であるということはない一方で怠る fact5: その管轄下は矯正しない fact6: もしもあの裁決要旨が矯正しないとすればこの全身管理は矯正する fact7: 仮に「「逸る」ということは事実である」ものがあるとするとあの裁決要旨は先頭集団でない fact8: あるものは逸る fact9: あの裁決要旨は先頭集団でない fact10: 何かは作り難くないけど最年長者である ; $hypothesis$ = 「ある物は御話し頂かないけれどそれは矯正する」ということは正しくない ; $proof$ = 
fact8 & fact4 -> int1: あの裁決要旨は先頭集団でない一方でそれは怠る; int1 -> int2: あの裁決要旨は怠る; fact2 -> int3: 「あの裁決要旨が怠るとしたらあの裁決要旨は遣り辛い」ということは事実だ; int2 & int3 -> int4: あの裁決要旨は遣り辛い; fact3 -> int5: 仮にあの裁決要旨が遣り辛いとすると矯正しない; int4 & int5 -> int6: あの裁決要旨は矯正しない; int6 & fact1 -> int7: この全身管理は御話し頂かないけれどそれは矯正する; int7 -> hypothesis; __DISPROVED__
事実1: あの裁決要旨が矯正しないとすればこの全身管理は御話し頂かないがしかしそれは矯正する
事実2: 仮になにかは怠るとしたらそれは遣り辛い
事実3: もし仮にとある物が遣り辛いなら矯正しない
事実4: もし「逸る」物があるとするとあの裁決要旨は先頭集団であるということはない一方で怠る
事実5: その管轄下は矯正しない
事実6: もしもあの裁決要旨が矯正しないとすればこの全身管理は矯正する
事実7: 仮に「「逸る」ということは事実である」ものがあるとするとあの裁決要旨は先頭集団でない
事実8: あるものは逸る
事実9: あの裁決要旨は先頭集団でない
事実10: 何かは作り難くないけど最年長者である

仮説: 「ある物は御話し頂かないけれどそれは矯正する」ということは正しくない
1. 事実8と事実4から、推論1: "あの裁決要旨は先頭集団でない一方でそれは怠る"が導かれる
2. 推論1から、推論2: "あの裁決要旨は怠る"が導かれる
3. 事実2から、推論3: "「あの裁決要旨が怠るとしたらあの裁決要旨は遣り辛い」ということは事実だ"が導かれる
4. 推論2と推論3から、推論4: "あの裁決要旨は遣り辛い"が導かれる
5. 事実3から、推論5: "仮にあの裁決要旨が遣り辛いとすると矯正しない"が導かれる
6. 推論4と推論5から、推論6: "あの裁決要旨は矯正しない"が導かれる
7. 推論6と事実1から、推論7: "この全身管理は御話し頂かないけれどそれは矯正する"が導かれる
8. 推論7から、仮説が否定される

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