「仮にあの出現条件が腋臭だとすればあの一人分データは面白いということはない」ということは間違っている
fact1: 仮にその前部が放心であるし加えてそれが一介ならばあの一人分データは面白い fact2: その一人分データは腋臭である fact3: その前部は腋臭だ fact4: もし仮に「腋臭である」物があるとしたらあの出現条件は面白い fact5: その前部は生じ易いし一番人気だ fact6: その御大尽は面白い fact7: 「「忍耐強い」ということは誤りでない」ものがあるとしたらその前部は一介だ fact8: 「忍耐強い」物はある fact9: その一人分データは忍耐強くない fact10: もし仮に「放心である」物があるとすればその前部は腋臭だ fact11: あの出現条件が腋臭だとするとその前部は放心だ fact12: 仮にあの出現条件が腋臭であるならその一人分データは面白い fact13: もしもなにかはプロらしいとすればあの出現条件はウィンクする fact14: 面白いものはある fact15: あの出現条件は当たり難い fact16: 「あの出現条件はすばしこい」ということは間違いでない fact17: 仮にその前部が放心で更に一介ならばその一人分データは面白くない fact18: その前部が放心だとしたらその一人分データは一介だ fact19: 仮に「一介な」ものがあるとしたらその前部は腋臭だ fact20: もし「腋臭な」物があるとするとあの出現条件は放心である fact21: その一人分データは面白い fact22: あの出現条件は面白い fact23: 「ある物は一介である」ということは確かである fact24: もしその前部が腋臭であるとしたらあの出現条件は一介でない
void -> assump1: 以下のように仮定する。あの出現条件は腋臭だ; fact11 & assump1 -> int1: その前部は放心である; fact8 & fact7 -> int2: その前部は一介だ; int1 & int2 -> int3: その前部は放心であるし加えてそれは一介だ; int3 & fact17 -> int4: その一人分データは面白くない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 仮にその前部が放心であるし加えてそれが一介ならばあの一人分データは面白い fact2: その一人分データは腋臭である fact3: その前部は腋臭だ fact4: もし仮に「腋臭である」物があるとしたらあの出現条件は面白い fact5: その前部は生じ易いし一番人気だ fact6: その御大尽は面白い fact7: 「「忍耐強い」ということは誤りでない」ものがあるとしたらその前部は一介だ fact8: 「忍耐強い」物はある fact9: その一人分データは忍耐強くない fact10: もし仮に「放心である」物があるとすればその前部は腋臭だ fact11: あの出現条件が腋臭だとするとその前部は放心だ fact12: 仮にあの出現条件が腋臭であるならその一人分データは面白い fact13: もしもなにかはプロらしいとすればあの出現条件はウィンクする fact14: 面白いものはある fact15: あの出現条件は当たり難い fact16: 「あの出現条件はすばしこい」ということは間違いでない fact17: 仮にその前部が放心で更に一介ならばその一人分データは面白くない fact18: その前部が放心だとしたらその一人分データは一介だ fact19: 仮に「一介な」ものがあるとしたらその前部は腋臭だ fact20: もし「腋臭な」物があるとするとあの出現条件は放心である fact21: その一人分データは面白い fact22: あの出現条件は面白い fact23: 「ある物は一介である」ということは確かである fact24: もしその前部が腋臭であるとしたらあの出現条件は一介でない ; $hypothesis$ = 「仮にあの出現条件が腋臭だとすればあの一人分データは面白いということはない」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あの出現条件は腋臭だ; fact11 & assump1 -> int1: その前部は放心である; fact8 & fact7 -> int2: その前部は一介だ; int1 & int2 -> int3: その前部は放心であるし加えてそれは一介だ; int3 & fact17 -> int4: その一人分データは面白くない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: 仮にその前部が放心であるし加えてそれが一介ならばあの一人分データは面白い
事実2: その一人分データは腋臭である
事実3: その前部は腋臭だ
事実4: もし仮に「腋臭である」物があるとしたらあの出現条件は面白い
事実5: その前部は生じ易いし一番人気だ
事実6: その御大尽は面白い
事実7: 「「忍耐強い」ということは誤りでない」ものがあるとしたらその前部は一介だ
事実8: 「忍耐強い」物はある
事実9: その一人分データは忍耐強くない
事実10: もし仮に「放心である」物があるとすればその前部は腋臭だ
事実11: あの出現条件が腋臭だとするとその前部は放心だ
事実12: 仮にあの出現条件が腋臭であるならその一人分データは面白い
事実13: もしもなにかはプロらしいとすればあの出現条件はウィンクする
事実14: 面白いものはある
事実15: あの出現条件は当たり難い
事実16: 「あの出現条件はすばしこい」ということは間違いでない
事実17: 仮にその前部が放心で更に一介ならばその一人分データは面白くない
事実18: その前部が放心だとしたらその一人分データは一介だ
事実19: 仮に「一介な」ものがあるとしたらその前部は腋臭だ
事実20: もし「腋臭な」物があるとするとあの出現条件は放心である
事実21: その一人分データは面白い
事実22: あの出現条件は面白い
事実23: 「ある物は一介である」ということは確かである
事実24: もしその前部が腋臭であるとしたらあの出現条件は一介でない

仮説: 「仮にあの出現条件が腋臭だとすればあの一人分データは面白いということはない」ということは間違っている
1. 仮定1: 以下のように仮定する。あの出現条件は腋臭だ
2. 事実11と仮定1から、推論1: "その前部は放心である"が導かれる
3. 事実8と事実7から、推論2: "その前部は一介だ"が導かれる
4. 推論1と推論2から、推論3: "その前部は放心であるし加えてそれは一介だ"が導かれる
5. 推論3と事実17から、推論4: "その一人分データは面白くない"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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