「あの超自然は有り難ししそれに引き起こし易い」ということは間違いである
fact1: もしもそのフィクフ学者が準備不足でない一方で拭うとしたらあの超自然は引き起こし易い fact2: もし仮にそのフィクフ学者がグラフ化すれば準備不足であるということはないが拭う fact3: 仮にそのフィクフ学者が引き起こし易くてかつ有り難しとすればあの超自然は準備不足である fact4: もし仮にこの内臓脂肪が真新しくないがしかしグラフ化するとしたらそのフィクフ学者はグラフ化しない fact5: 「あの超自然は有り難し」ということは事実である fact6: もし仮にそのフィクフ学者は有り難しなら「それは準備不足でない」ということは成り立つ fact7: もしそのフィクフ学者はグラフ化しないとすると「あの超自然は有り難ししそれに引き起こし易い」ということは真実だということはない fact8: そのフィクフ学者はグラフ化する fact9: そのフィクフ学者がグラフ化するとすればそれは拭う
fact2 & fact8 -> int1: そのフィクフ学者は準備不足でないが拭う; int1 & fact1 -> int2: あの超自然は引き起こし易い; int2 & fact5 -> hypothesis;
fact2 & fact8 -> int1: (¬{AA}{a} & {AB}{a}); int1 & fact1 -> int2: {B}{b}; int2 & fact5 -> hypothesis;
「あの超自然は有り難ししかつ引き起こし易い」ということは誤りである
$facts$ = fact1: もしもそのフィクフ学者が準備不足でない一方で拭うとしたらあの超自然は引き起こし易い fact2: もし仮にそのフィクフ学者がグラフ化すれば準備不足であるということはないが拭う fact3: 仮にそのフィクフ学者が引き起こし易くてかつ有り難しとすればあの超自然は準備不足である fact4: もし仮にこの内臓脂肪が真新しくないがしかしグラフ化するとしたらそのフィクフ学者はグラフ化しない fact5: 「あの超自然は有り難し」ということは事実である fact6: もし仮にそのフィクフ学者は有り難しなら「それは準備不足でない」ということは成り立つ fact7: もしそのフィクフ学者はグラフ化しないとすると「あの超自然は有り難ししそれに引き起こし易い」ということは真実だということはない fact8: そのフィクフ学者はグラフ化する fact9: そのフィクフ学者がグラフ化するとすればそれは拭う ; $hypothesis$ = 「あの超自然は有り難ししそれに引き起こし易い」ということは間違いである ; $proof$ = 
fact2 & fact8 -> int1: そのフィクフ学者は準備不足でないが拭う; int1 & fact1 -> int2: あの超自然は引き起こし易い; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもそのフィクフ学者が準備不足でない一方で拭うとしたらあの超自然は引き起こし易い
事実2: もし仮にそのフィクフ学者がグラフ化すれば準備不足であるということはないが拭う
事実3: 仮にそのフィクフ学者が引き起こし易くてかつ有り難しとすればあの超自然は準備不足である
事実4: もし仮にこの内臓脂肪が真新しくないがしかしグラフ化するとしたらそのフィクフ学者はグラフ化しない
事実5: 「あの超自然は有り難し」ということは事実である
事実6: もし仮にそのフィクフ学者は有り難しなら「それは準備不足でない」ということは成り立つ
事実7: もしそのフィクフ学者はグラフ化しないとすると「あの超自然は有り難ししそれに引き起こし易い」ということは真実だということはない
事実8: そのフィクフ学者はグラフ化する
事実9: そのフィクフ学者がグラフ化するとすればそれは拭う

仮説: 「あの超自然は有り難ししそれに引き起こし易い」ということは間違いである
1. 事実2と事実8から、推論1: "そのフィクフ学者は準備不足でないが拭う"が導かれる
2. 推論1と事実1から、推論2: "あの超自然は引き起こし易い"が導かれる
3. 推論2と事実5から、仮説が否定される

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