その調査者は吠え立てない
fact1: 「あの根処理は冷やかさない」ということは真実だとするとそれは痛ーくないしかつ忍耐強くない fact2: 仮にあの根処理がイマージュでないとするとその調査者は冷やかすけど吠え立てない fact3: もしこの平面波が痛ーいということはないならばそれはイマージュでないしかつ冷やかさない fact4: その調査者は痛ーくない fact5: 忍耐強い物がイマージュでないとするとこの平面波は痛ーい fact6: もし仮に「イマージュだということはないし痛ーくない」ものはあるなら「あの根処理は忍耐強い」ということは成り立つ fact7: この平面波がイマージュであるならばその調査者は吠え立てる fact8: もしもあの根処理が冷やかすということはないならそれは忍耐強くない fact9: 「あの根処理は冷やかさない」ということは本当である fact10: もしこの平面波が痛ーくないとするとそれは冷やかさないししかもイマージュでない fact11: あの根処理が吠え立てるとするとその調査者は忍耐強い fact12: この平面波は忍耐強くない fact13: この平面波は草津白根でないが損ずる fact14: あの根処理が吠え立てないとすればそれはイマージュでないし冷やかすということはない fact15: ある物は取り引き両替でないしまたそれは寝苦しくない fact16: あの根処理はイマージュでないとすると冷やかすということはなくてかつ忍耐強いということはない fact17: もし痛ーくないし忍耐強いということはない物があるとすればこの平面波はイマージュだ fact18: もし何らかの物がイマージュでないしそれは痛ーくないとしたら「あの根処理は冷やかす」ということは本当だ fact19: もし仮に「あの根処理はイマージュでないがしかし草津白根だ」ということは本当でないならばそのプロフェッションはイマージュでない fact20: この平面波は吠え立てない
fact1 & fact9 -> int1: あの根処理は痛ーくないし更に忍耐強くない; int1 -> int2: あるものは痛ーくないしそれは忍耐強くない; int2 & fact17 -> int3: この平面波はイマージュだ; int3 & fact7 -> hypothesis;
その調査者は吠え立てない
$facts$ = fact1: 「あの根処理は冷やかさない」ということは真実だとするとそれは痛ーくないしかつ忍耐強くない fact2: 仮にあの根処理がイマージュでないとするとその調査者は冷やかすけど吠え立てない fact3: もしこの平面波が痛ーいということはないならばそれはイマージュでないしかつ冷やかさない fact4: その調査者は痛ーくない fact5: 忍耐強い物がイマージュでないとするとこの平面波は痛ーい fact6: もし仮に「イマージュだということはないし痛ーくない」ものはあるなら「あの根処理は忍耐強い」ということは成り立つ fact7: この平面波がイマージュであるならばその調査者は吠え立てる fact8: もしもあの根処理が冷やかすということはないならそれは忍耐強くない fact9: 「あの根処理は冷やかさない」ということは本当である fact10: もしこの平面波が痛ーくないとするとそれは冷やかさないししかもイマージュでない fact11: あの根処理が吠え立てるとするとその調査者は忍耐強い fact12: この平面波は忍耐強くない fact13: この平面波は草津白根でないが損ずる fact14: あの根処理が吠え立てないとすればそれはイマージュでないし冷やかすということはない fact15: ある物は取り引き両替でないしまたそれは寝苦しくない fact16: あの根処理はイマージュでないとすると冷やかすということはなくてかつ忍耐強いということはない fact17: もし痛ーくないし忍耐強いということはない物があるとすればこの平面波はイマージュだ fact18: もし何らかの物がイマージュでないしそれは痛ーくないとしたら「あの根処理は冷やかす」ということは本当だ fact19: もし仮に「あの根処理はイマージュでないがしかし草津白根だ」ということは本当でないならばそのプロフェッションはイマージュでない fact20: この平面波は吠え立てない ; $hypothesis$ = その調査者は吠え立てない ; $proof$ = 
fact1 & fact9 -> int1: あの根処理は痛ーくないし更に忍耐強くない; int1 -> int2: あるものは痛ーくないしそれは忍耐強くない; int2 & fact17 -> int3: この平面波はイマージュだ; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: 「あの根処理は冷やかさない」ということは真実だとするとそれは痛ーくないしかつ忍耐強くない
事実2: 仮にあの根処理がイマージュでないとするとその調査者は冷やかすけど吠え立てない
事実3: もしこの平面波が痛ーいということはないならばそれはイマージュでないしかつ冷やかさない
事実4: その調査者は痛ーくない
事実5: 忍耐強い物がイマージュでないとするとこの平面波は痛ーい
事実6: もし仮に「イマージュだということはないし痛ーくない」ものはあるなら「あの根処理は忍耐強い」ということは成り立つ
事実7: この平面波がイマージュであるならばその調査者は吠え立てる
事実8: もしもあの根処理が冷やかすということはないならそれは忍耐強くない
事実9: 「あの根処理は冷やかさない」ということは本当である
事実10: もしこの平面波が痛ーくないとするとそれは冷やかさないししかもイマージュでない
事実11: あの根処理が吠え立てるとするとその調査者は忍耐強い
事実12: この平面波は忍耐強くない
事実13: この平面波は草津白根でないが損ずる
事実14: あの根処理が吠え立てないとすればそれはイマージュでないし冷やかすということはない
事実15: ある物は取り引き両替でないしまたそれは寝苦しくない
事実16: あの根処理はイマージュでないとすると冷やかすということはなくてかつ忍耐強いということはない
事実17: もし痛ーくないし忍耐強いということはない物があるとすればこの平面波はイマージュだ
事実18: もし何らかの物がイマージュでないしそれは痛ーくないとしたら「あの根処理は冷やかす」ということは本当だ
事実19: もし仮に「あの根処理はイマージュでないがしかし草津白根だ」ということは本当でないならばそのプロフェッションはイマージュでない
事実20: この平面波は吠え立てない

仮説: その調査者は吠え立てない
1. 事実1と事実9から、推論1: "あの根処理は痛ーくないし更に忍耐強くない"が導かれる
2. 推論1から、推論2: "あるものは痛ーくないしそれは忍耐強くない"が導かれる
3. 推論2と事実17から、推論3: "この平面波はイマージュだ"が導かれる
4. 推論3と事実7から、仮説が否定される

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