あの成人男子は姉らしくない
fact1: もしも「あの成人男子は多いがしかし相互作用ポテンシャルでない」ということは誤りならばあのデヒは相互作用ポテンシャルである fact2: あのデヒは爆笑すれば「あの成人男子は学会発表でないがしかし相互作用ポテンシャルだ」ということは嘘だ fact3: もしあの成人男子は学会発表だとすれば「あのデヒは姉らしい」ということは成り立つ fact4: もしこの言葉付きは爆笑するとしたら「あの成人男子は多いけど相互作用ポテンシャルでない」ということは成り立たない fact5: あのデヒは学会発表だ fact6: 仮になにがしかのものが尋ぬないとすればそれは爆笑するしそれは変更出来る fact7: 仮に「なにがしかのものは学会発表だということはないがしかし相互作用ポテンシャルだ」ということは成り立たないならば姉らしくない fact8: 「要約するということはないし監視し易い」物はある fact9: もし仮にあのデヒが学会発表だとするとあの成人男子は姉らしい fact10: 「多いものは爆笑する」ということは正しい fact11: なにがしかのものが要約しないがしかしそれが監視し易いならばこの言葉付きは尋ぬない
fact9 & fact5 -> hypothesis;
fact9 & fact5 -> hypothesis;
あの成人男子は姉らしくない
fact14 -> int1: 仮に「あの成人男子は学会発表でないけど相互作用ポテンシャルである」ということは事実と異なるとすれば姉らしくない; fact15 -> int2: あのデヒは多いなら「それは爆笑する」ということは事実だ; fact13 & fact16 -> int3: この言葉付きは尋ぬない;
$facts$ = fact1: もしも「あの成人男子は多いがしかし相互作用ポテンシャルでない」ということは誤りならばあのデヒは相互作用ポテンシャルである fact2: あのデヒは爆笑すれば「あの成人男子は学会発表でないがしかし相互作用ポテンシャルだ」ということは嘘だ fact3: もしあの成人男子は学会発表だとすれば「あのデヒは姉らしい」ということは成り立つ fact4: もしこの言葉付きは爆笑するとしたら「あの成人男子は多いけど相互作用ポテンシャルでない」ということは成り立たない fact5: あのデヒは学会発表だ fact6: 仮になにがしかのものが尋ぬないとすればそれは爆笑するしそれは変更出来る fact7: 仮に「なにがしかのものは学会発表だということはないがしかし相互作用ポテンシャルだ」ということは成り立たないならば姉らしくない fact8: 「要約するということはないし監視し易い」物はある fact9: もし仮にあのデヒが学会発表だとするとあの成人男子は姉らしい fact10: 「多いものは爆笑する」ということは正しい fact11: なにがしかのものが要約しないがしかしそれが監視し易いならばこの言葉付きは尋ぬない ; $hypothesis$ = あの成人男子は姉らしくない ; $proof$ = 
fact9 & fact5 -> hypothesis; __DISPROVED__
事実1: もしも「あの成人男子は多いがしかし相互作用ポテンシャルでない」ということは誤りならばあのデヒは相互作用ポテンシャルである
事実2: あのデヒは爆笑すれば「あの成人男子は学会発表でないがしかし相互作用ポテンシャルだ」ということは嘘だ
事実3: もしあの成人男子は学会発表だとすれば「あのデヒは姉らしい」ということは成り立つ
事実4: もしこの言葉付きは爆笑するとしたら「あの成人男子は多いけど相互作用ポテンシャルでない」ということは成り立たない
事実5: あのデヒは学会発表だ
事実6: 仮になにがしかのものが尋ぬないとすればそれは爆笑するしそれは変更出来る
事実7: 仮に「なにがしかのものは学会発表だということはないがしかし相互作用ポテンシャルだ」ということは成り立たないならば姉らしくない
事実8: 「要約するということはないし監視し易い」物はある
事実9: もし仮にあのデヒが学会発表だとするとあの成人男子は姉らしい
事実10: 「多いものは爆笑する」ということは正しい
事実11: なにがしかのものが要約しないがしかしそれが監視し易いならばこの言葉付きは尋ぬない

仮説: あの成人男子は姉らしくない
1. 事実9と事実5から、仮説が否定される

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