その御伝馬は検査法でないしさらに悪戯っぽくない
fact1: 仮にそのドラクエは検査法でないとしたら「「その御伝馬は検査法でないし悪戯っぽいということはない」ということは成り立たない」ということは確かだ fact2: あのトリアムシノロンアセトニドは培養するかそれは泣かないかどちらもである fact3: そのドラクエは培養するということはない fact4: 「その御伝馬は泣くということはないしおまけにそれは検査法でない」ということは間違っている fact5: もし仮に「妥当性確認である」ものがあればあのトリアムシノロンアセトニドは自賛像でない fact6: もしもあのトリアムシノロンアセトニドが培養するとするとそのドラクエは検査法でない fact7: あの断種は滑稽でないとすると「それは総合能力でなくてしかも四千年紀でない」ということは間違っている fact8: 仮に「なにかは総合能力でなくてまた四千年紀でない」ということは嘘であるとするとそれは排泄量でない fact9: もしあのトリアムシノロンアセトニドが培養するかもしくは泣かないとしたらそのドラクエは検査法でない fact10: もしある物が動でないか検査法だということはないか両方だとするとその御伝馬は検査法だということはない fact11: あの断種は滑稽でない fact12: 仮に「「「気っ風でないけれど伝わり易い」ということは真実だ」ということは偽である」物があるとするとこの貧農層は伝わり易くない fact13: もしも「そのドラクエは検査法でない」ということは成り立つとすると「その御伝馬は検査法だ一方で悪戯っぽくない」ということは真実でない fact14: あのアルカイスムは妥当性確認だ fact15: もしあの断種は排泄量でないなら「それは気っ風でないしかつ伝わり易い」ということは成り立たない fact16: 「その御伝馬は検査法だ一方で悪戯っぽくない」ということは本当でない fact17: もしも「この貧農層は伝わり易くない」ということは本当ならそのドラクエは動でないかあるいはそれは検査法でないかあるいはどちらもである
fact9 & fact2 -> int1: そのドラクエは検査法でない; int1 & fact1 -> hypothesis;
その御伝馬は検査法でないし悪戯っぽいということはない
fact19 -> int2: もし「あの断種は総合能力だということはないしそれに四千年紀でない」ということは事実と異なるとすると排泄量でない; fact22 & fact26 -> int3: 「あの断種は総合能力でないし四千年紀でない」ということは確かでない; int2 & int3 -> int4: あの断種は排泄量だということはない; fact23 & int4 -> int5: 「あの断種は気っ風でないが伝わり易い」ということは事実と異なる; int5 -> int6: 「「気っ風でないしさらに伝わり易い」ということは誤っている」ものはある; int6 & fact25 -> int7: この貧農層は伝わり易いということはない; fact20 & int7 -> int8: そのドラクエは動でないか検査法でないかもしくは両方だ; int8 -> int9: とある物は動でないかまたは検査法でないかどちらもだ; int9 & fact21 -> int10: その御伝馬は検査法でない; fact24 -> int11: とあるものは妥当性確認である; int11 & fact18 -> int12: あのトリアムシノロンアセトニドは自賛像だということはない; int12 -> int13: 「自賛像であるということはない」物はある;
$facts$ = fact1: 仮にそのドラクエは検査法でないとしたら「「その御伝馬は検査法でないし悪戯っぽいということはない」ということは成り立たない」ということは確かだ fact2: あのトリアムシノロンアセトニドは培養するかそれは泣かないかどちらもである fact3: そのドラクエは培養するということはない fact4: 「その御伝馬は泣くということはないしおまけにそれは検査法でない」ということは間違っている fact5: もし仮に「妥当性確認である」ものがあればあのトリアムシノロンアセトニドは自賛像でない fact6: もしもあのトリアムシノロンアセトニドが培養するとするとそのドラクエは検査法でない fact7: あの断種は滑稽でないとすると「それは総合能力でなくてしかも四千年紀でない」ということは間違っている fact8: 仮に「なにかは総合能力でなくてまた四千年紀でない」ということは嘘であるとするとそれは排泄量でない fact9: もしあのトリアムシノロンアセトニドが培養するかもしくは泣かないとしたらそのドラクエは検査法でない fact10: もしある物が動でないか検査法だということはないか両方だとするとその御伝馬は検査法だということはない fact11: あの断種は滑稽でない fact12: 仮に「「「気っ風でないけれど伝わり易い」ということは真実だ」ということは偽である」物があるとするとこの貧農層は伝わり易くない fact13: もしも「そのドラクエは検査法でない」ということは成り立つとすると「その御伝馬は検査法だ一方で悪戯っぽくない」ということは真実でない fact14: あのアルカイスムは妥当性確認だ fact15: もしあの断種は排泄量でないなら「それは気っ風でないしかつ伝わり易い」ということは成り立たない fact16: 「その御伝馬は検査法だ一方で悪戯っぽくない」ということは本当でない fact17: もしも「この貧農層は伝わり易くない」ということは本当ならそのドラクエは動でないかあるいはそれは検査法でないかあるいはどちらもである ; $hypothesis$ = その御伝馬は検査法でないしさらに悪戯っぽくない ; $proof$ = 
fact9 & fact2 -> int1: そのドラクエは検査法でない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にそのドラクエは検査法でないとしたら「「その御伝馬は検査法でないし悪戯っぽいということはない」ということは成り立たない」ということは確かだ
事実2: あのトリアムシノロンアセトニドは培養するかそれは泣かないかどちらもである
事実3: そのドラクエは培養するということはない
事実4: 「その御伝馬は泣くということはないしおまけにそれは検査法でない」ということは間違っている
事実5: もし仮に「妥当性確認である」ものがあればあのトリアムシノロンアセトニドは自賛像でない
事実6: もしもあのトリアムシノロンアセトニドが培養するとするとそのドラクエは検査法でない
事実7: あの断種は滑稽でないとすると「それは総合能力でなくてしかも四千年紀でない」ということは間違っている
事実8: 仮に「なにかは総合能力でなくてまた四千年紀でない」ということは嘘であるとするとそれは排泄量でない
事実9: もしあのトリアムシノロンアセトニドが培養するかもしくは泣かないとしたらそのドラクエは検査法でない
事実10: もしある物が動でないか検査法だということはないか両方だとするとその御伝馬は検査法だということはない
事実11: あの断種は滑稽でない
事実12: 仮に「「「気っ風でないけれど伝わり易い」ということは真実だ」ということは偽である」物があるとするとこの貧農層は伝わり易くない
事実13: もしも「そのドラクエは検査法でない」ということは成り立つとすると「その御伝馬は検査法だ一方で悪戯っぽくない」ということは真実でない
事実14: あのアルカイスムは妥当性確認だ
事実15: もしあの断種は排泄量でないなら「それは気っ風でないしかつ伝わり易い」ということは成り立たない
事実16: 「その御伝馬は検査法だ一方で悪戯っぽくない」ということは本当でない
事実17: もしも「この貧農層は伝わり易くない」ということは本当ならそのドラクエは動でないかあるいはそれは検査法でないかあるいはどちらもである

仮説: その御伝馬は検査法でないしさらに悪戯っぽくない
1. 事実9と事実2から、推論1: "そのドラクエは検査法でない"が導かれる
2. 推論1と事実1から、仮説が否定される

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