「なにかは兄達でないし葬式仏教でない」ということは偽である
fact1: 「葬式仏教でない」物はある fact2: 「兄達でない」ものはある fact3: もしこの手中が葬式仏教でないならあの市は葬式仏教でない fact4: 「トロフィーでなくてラナンキュラスでない」物はある fact5: 「あの市は葬式仏教でない」ということは成り立つ fact6: 何かは兄達だけどそれは葬式仏教でない fact7: 「ラナンキュラスでない」ものはある fact8: 「子供映画でないが当てる」物はある fact9: この手中はトロフィーでない fact10: あるものは混入するということはないしさらに化学分子式でない fact11: 「トロフィーでない」ものはある fact12: 何らかのものはめぼしいがそれは白しない fact13: もし仮に「トロフィーでないしその上ラナンキュラスでない」物があるならばあの手中は葬式仏教でない fact14: とあるものはトロフィーだけどラナンキュラスでない fact15: このシステム・リスクはトロフィーでない fact16: この手中が葬式仏教でないとしたらあの市は兄達でないし葬式仏教であるということはない fact17: トロフィーはＧＳＥでなくて加えて音読みでない fact18: 仮に「ＧＳＥでないし更に昆虫でない」ものがあるとすればその収縮輪は中央建設業審議会でない fact19: 何らかのものは削減すらない fact20: もしもとあるものはラナンキュラスでないとすれば「葬式仏教であるがしかしトロフィーでない」ということは嘘だ
fact4 & fact13 -> int1: この手中は葬式仏教でない; int1 & fact16 -> int2: あの市は兄達でないしそれは葬式仏教でない; int2 -> hypothesis;
何かはＧＳＥでなくて音読みでない
fact21 -> int3: この手中がトロフィーならＧＳＥでないしさらに音読みでない; fact22 -> int4: もし仮にこの手中はラナンキュラスでないとすると「葬式仏教でそれにそれはトロフィーでない」ということは間違いである;
$facts$ = fact1: 「葬式仏教でない」物はある fact2: 「兄達でない」ものはある fact3: もしこの手中が葬式仏教でないならあの市は葬式仏教でない fact4: 「トロフィーでなくてラナンキュラスでない」物はある fact5: 「あの市は葬式仏教でない」ということは成り立つ fact6: 何かは兄達だけどそれは葬式仏教でない fact7: 「ラナンキュラスでない」ものはある fact8: 「子供映画でないが当てる」物はある fact9: この手中はトロフィーでない fact10: あるものは混入するということはないしさらに化学分子式でない fact11: 「トロフィーでない」ものはある fact12: 何らかのものはめぼしいがそれは白しない fact13: もし仮に「トロフィーでないしその上ラナンキュラスでない」物があるならばあの手中は葬式仏教でない fact14: とあるものはトロフィーだけどラナンキュラスでない fact15: このシステム・リスクはトロフィーでない fact16: この手中が葬式仏教でないとしたらあの市は兄達でないし葬式仏教であるということはない fact17: トロフィーはＧＳＥでなくて加えて音読みでない fact18: 仮に「ＧＳＥでないし更に昆虫でない」ものがあるとすればその収縮輪は中央建設業審議会でない fact19: 何らかのものは削減すらない fact20: もしもとあるものはラナンキュラスでないとすれば「葬式仏教であるがしかしトロフィーでない」ということは嘘だ ; $hypothesis$ = 「なにかは兄達でないし葬式仏教でない」ということは偽である ; $proof$ = 
fact4 & fact13 -> int1: この手中は葬式仏教でない; int1 & fact16 -> int2: あの市は兄達でないしそれは葬式仏教でない; int2 -> hypothesis; __DISPROVED__
事実1: 「葬式仏教でない」物はある
事実2: 「兄達でない」ものはある
事実3: もしこの手中が葬式仏教でないならあの市は葬式仏教でない
事実4: 「トロフィーでなくてラナンキュラスでない」物はある
事実5: 「あの市は葬式仏教でない」ということは成り立つ
事実6: 何かは兄達だけどそれは葬式仏教でない
事実7: 「ラナンキュラスでない」ものはある
事実8: 「子供映画でないが当てる」物はある
事実9: この手中はトロフィーでない
事実10: あるものは混入するということはないしさらに化学分子式でない
事実11: 「トロフィーでない」ものはある
事実12: 何らかのものはめぼしいがそれは白しない
事実13: もし仮に「トロフィーでないしその上ラナンキュラスでない」物があるならばあの手中は葬式仏教でない
事実14: とあるものはトロフィーだけどラナンキュラスでない
事実15: このシステム・リスクはトロフィーでない
事実16: この手中が葬式仏教でないとしたらあの市は兄達でないし葬式仏教であるということはない
事実17: トロフィーはＧＳＥでなくて加えて音読みでない
事実18: 仮に「ＧＳＥでないし更に昆虫でない」ものがあるとすればその収縮輪は中央建設業審議会でない
事実19: 何らかのものは削減すらない
事実20: もしもとあるものはラナンキュラスでないとすれば「葬式仏教であるがしかしトロフィーでない」ということは嘘だ

仮説: 「なにかは兄達でないし葬式仏教でない」ということは偽である
1. 事実4と事実13から、推論1: "この手中は葬式仏教でない"が導かれる
2. 推論1と事実16から、推論2: "あの市は兄達でないしそれは葬式仏教でない"が導かれる
3. 推論2から、仮説が否定される

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