「そのシュールレアリズムは宿泊出来るということはない」ということは本当である
fact1: あの支那留学生が中高年齢者でないとしたらこの染色体分析は通勤出来ないかそれは希望する fact2: もし仮にあの支那留学生が畏敬しないならそのシュールレアリズムは畏敬しない fact3: もしもこの染色体分析が宿泊出来るということはないとすればそのシュールレアリズムは通勤出来ないかもしくは希望するかまたは両方ともである fact4: この染色体分析が通勤出来ないかあるいはそれが希望するかあるいは両方ともであるとしたらそのシュールレアリズムは宿泊出来る fact5: もしもそのシュールレアリズムが希望しないならこの染色体分析は宿泊出来ないかもしくはそれは通勤出来る fact6: 仮に何かは畏敬するということはないとしたらそれは中高年齢者であるということはないしさらに宿泊出来る fact7: この染色体分析が通勤出来ないとすればそのシュールレアリズムは宿泊出来る fact8: もしあの支那留学生が通勤出来ないならばこの染色体分析は希望するかまたは中高年齢者であるかまたは両方だ fact9: もしもこの染色体分析が中高年齢者でないかあるいは通勤出来るかまたは両方であるならばあの支那留学生は希望する fact10: この染色体分析は収益費用アプローチでない fact11: 「あの支那留学生は中高年齢者でない」ということは確かだ fact12: 「もし仮にそのシュールレアリズムが通勤出来ないとすればこの染色体分析は宿泊出来る」ということは成り立つ fact13: もし仮にこの染色体分析が宿泊出来ないならばそのシュールレアリズムは希望するかあるいはそれは通勤出来るかどちらもだ fact14: この染色体分析は中高年齢者である fact15: この染色体分析は宿泊出来ないか通勤出来るか両方だ fact16: もしこの染色体分析が中高年齢者でないならばあの支那留学生は通勤出来るか希望する fact17: この染色体分析が脱水すればそれは腑甲斐無いものでさらに乗り合わせない fact18: なんらかの物が中高年齢者だということはないとしたらそれは一見しないかあるいはそれは希望するかあるいは両方ともである fact19: あの支那留学生は中高年齢者でないならば「この染色体分析は通勤出来るかあるいは希望するかどちらもだ」ということは確かである
fact1 & fact11 -> int1: この染色体分析は通勤出来ないか希望するかもしくは両方ともだ; int1 & fact4 -> hypothesis;
fact1 & fact11 -> int1: (¬{AA}{b} v {AB}{b}); int1 & fact4 -> hypothesis;
そのシュールレアリズムは一見しないかもしくは希望するかもしくはどちらもだ
fact21 -> int2: 仮にそのシュールレアリズムが中高年齢者でないならそれは一見しないかあるいはそれは希望するかあるいは両方だ; fact20 -> int3: もし仮にそのシュールレアリズムが畏敬するということはないとすれば中高年齢者でないしそれに宿泊出来る;
$facts$ = fact1: あの支那留学生が中高年齢者でないとしたらこの染色体分析は通勤出来ないかそれは希望する fact2: もし仮にあの支那留学生が畏敬しないならそのシュールレアリズムは畏敬しない fact3: もしもこの染色体分析が宿泊出来るということはないとすればそのシュールレアリズムは通勤出来ないかもしくは希望するかまたは両方ともである fact4: この染色体分析が通勤出来ないかあるいはそれが希望するかあるいは両方ともであるとしたらそのシュールレアリズムは宿泊出来る fact5: もしもそのシュールレアリズムが希望しないならこの染色体分析は宿泊出来ないかもしくはそれは通勤出来る fact6: 仮に何かは畏敬するということはないとしたらそれは中高年齢者であるということはないしさらに宿泊出来る fact7: この染色体分析が通勤出来ないとすればそのシュールレアリズムは宿泊出来る fact8: もしあの支那留学生が通勤出来ないならばこの染色体分析は希望するかまたは中高年齢者であるかまたは両方だ fact9: もしもこの染色体分析が中高年齢者でないかあるいは通勤出来るかまたは両方であるならばあの支那留学生は希望する fact10: この染色体分析は収益費用アプローチでない fact11: 「あの支那留学生は中高年齢者でない」ということは確かだ fact12: 「もし仮にそのシュールレアリズムが通勤出来ないとすればこの染色体分析は宿泊出来る」ということは成り立つ fact13: もし仮にこの染色体分析が宿泊出来ないならばそのシュールレアリズムは希望するかあるいはそれは通勤出来るかどちらもだ fact14: この染色体分析は中高年齢者である fact15: この染色体分析は宿泊出来ないか通勤出来るか両方だ fact16: もしこの染色体分析が中高年齢者でないならばあの支那留学生は通勤出来るか希望する fact17: この染色体分析が脱水すればそれは腑甲斐無いものでさらに乗り合わせない fact18: なんらかの物が中高年齢者だということはないとしたらそれは一見しないかあるいはそれは希望するかあるいは両方ともである fact19: あの支那留学生は中高年齢者でないならば「この染色体分析は通勤出来るかあるいは希望するかどちらもだ」ということは確かである ; $hypothesis$ = 「そのシュールレアリズムは宿泊出来るということはない」ということは本当である ; $proof$ = 
fact1 & fact11 -> int1: この染色体分析は通勤出来ないか希望するかもしくは両方ともだ; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: あの支那留学生が中高年齢者でないとしたらこの染色体分析は通勤出来ないかそれは希望する
事実2: もし仮にあの支那留学生が畏敬しないならそのシュールレアリズムは畏敬しない
事実3: もしもこの染色体分析が宿泊出来るということはないとすればそのシュールレアリズムは通勤出来ないかもしくは希望するかまたは両方ともである
事実4: この染色体分析が通勤出来ないかあるいはそれが希望するかあるいは両方ともであるとしたらそのシュールレアリズムは宿泊出来る
事実5: もしもそのシュールレアリズムが希望しないならこの染色体分析は宿泊出来ないかもしくはそれは通勤出来る
事実6: 仮に何かは畏敬するということはないとしたらそれは中高年齢者であるということはないしさらに宿泊出来る
事実7: この染色体分析が通勤出来ないとすればそのシュールレアリズムは宿泊出来る
事実8: もしあの支那留学生が通勤出来ないならばこの染色体分析は希望するかまたは中高年齢者であるかまたは両方だ
事実9: もしもこの染色体分析が中高年齢者でないかあるいは通勤出来るかまたは両方であるならばあの支那留学生は希望する
事実10: この染色体分析は収益費用アプローチでない
事実11: 「あの支那留学生は中高年齢者でない」ということは確かだ
事実12: 「もし仮にそのシュールレアリズムが通勤出来ないとすればこの染色体分析は宿泊出来る」ということは成り立つ
事実13: もし仮にこの染色体分析が宿泊出来ないならばそのシュールレアリズムは希望するかあるいはそれは通勤出来るかどちらもだ
事実14: この染色体分析は中高年齢者である
事実15: この染色体分析は宿泊出来ないか通勤出来るか両方だ
事実16: もしこの染色体分析が中高年齢者でないならばあの支那留学生は通勤出来るか希望する
事実17: この染色体分析が脱水すればそれは腑甲斐無いものでさらに乗り合わせない
事実18: なんらかの物が中高年齢者だということはないとしたらそれは一見しないかあるいはそれは希望するかあるいは両方ともである
事実19: あの支那留学生は中高年齢者でないならば「この染色体分析は通勤出来るかあるいは希望するかどちらもだ」ということは確かである

仮説: 「そのシュールレアリズムは宿泊出来るということはない」ということは本当である
1. 事実1と事実11から、推論1: "この染色体分析は通勤出来ないか希望するかもしくは両方ともだ"が導かれる
2. 推論1と事実4から、仮説が否定される

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