「その建治元年は終末論であるし更に最上部である」ということは誤りだ
fact1: 「揉み解すか愛しい」ものはある fact2: その建治元年は最上部である fact3: 「会社員でないかまたは戦隊であるか両方である」ものはある fact4: あのコンセンサス配列は揉み解すかあるいは愛しい fact5: もしなんらかのものは会社員だとしたら「終末論であるしその上最上部でない」ということは事実と異なる fact6: なんらかのものは愛しいか終末論でないかあるいは両方ともだ fact7: もし仮にこの臓物が歩き回り始めないとするとその建治元年は最上部である fact8: 何らかの物は会社員であるかもしくはそれは戦隊であるということはないかあるいはどちらもだ fact9: 仮に何らかのものは朝飯でないとすると揉み解すか愛しい fact10: もしもなんらかのものは朝飯でないとすれば「「終末論であるしそれに最上部だ」ということは事実だ」ということは成り立たない fact11: もしもこの臓物が歩き回り始めるということはないならその建治元年は終末論で最上部だ fact12: 「会社員でないかあるいは戦隊であるということはないかもしくはどちらもな」ものはある fact13: 仮に「とある物は終末論であるが最上部でない」ということは誤っていれば朝飯である fact14: もしも「愛しいということはない」物があるとすればこの臓物は歩き回り始めない fact15: もしもとある物が朝飯だということはないとするとそれは揉み解すかもしくは愛しくない fact16: もし「ある物は会社員でないかまたは戦隊だということはないかあるいは両方ともだ」ということは事実であるならあのコンセンサス配列は朝飯でない fact17: もしもなんらかのものが終末論であるかそれが愛しくないならその建治元年は揉み解さない fact18: あの人気ブランドは進出だし更に愛しい fact19: もしなにがしかのものが歩き回り始めないとしたらそれは朝飯でない fact20: もしも「揉み解すかまたは愛しくないかあるいは両方ともな」ものがあるとしたらこの臓物は歩き回り始めるということはない fact21: もし仮に「戦隊であるということはない」ものがあるとするとあのコンセンサス配列は朝飯でない fact22: 「何かは終末論であるかあるいは愛しくないか両方ともである」ということは正しいとしたらあのコンセンサス配列は朝飯でない fact23: 何かは歩き回り始めるか最上部でないかまたはどちらもである fact24: もしも「あのコンセンサス配列は朝飯でない」ということは本当であるとすれば揉み解すかもしくは愛しいかもしくはどちらもである
fact15 -> int1: 「もしあのコンセンサス配列が朝飯でないならあのコンセンサス配列は揉み解すかまたはそれは愛しくないかもしくはどちらもだ」ということは本当だ; fact12 & fact16 -> int2: 「あのコンセンサス配列は朝飯でない」ということは成り立つ; int1 & int2 -> int3: 「あのコンセンサス配列は揉み解すかもしくは愛しくないかもしくは両方である」ということは正しい; int3 -> int4: 「揉み解すかまたは愛しくない」ものはある; int4 & fact20 -> int5: この臓物は歩き回り始めない; int5 & fact11 -> hypothesis;
「「その建治元年は終末論であるし更に最上部だ」ということは本当でない」ということは正しい
fact25 -> int6: 「その建治元年は朝飯でない」ということは成り立つとすれば「終末論であるし最上部だ」ということは成り立つということはない; fact26 -> int7: もしもその建治元年は歩き回り始めないならば「朝飯でない」ということは真実である;
$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$ = 
fact15 -> int1: 「もしあのコンセンサス配列が朝飯でないならあのコンセンサス配列は揉み解すかまたはそれは愛しくないかもしくはどちらもだ」ということは本当だ; fact12 & fact16 -> int2: 「あのコンセンサス配列は朝飯でない」ということは成り立つ; int1 & int2 -> int3: 「あのコンセンサス配列は揉み解すかもしくは愛しくないかもしくは両方である」ということは正しい; int3 -> int4: 「揉み解すかまたは愛しくない」ものはある; int4 & fact20 -> int5: この臓物は歩き回り始めない; int5 & fact11 -> 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. 事実15から、推論1: "「もしあのコンセンサス配列が朝飯でないならあのコンセンサス配列は揉み解すかまたはそれは愛しくないかもしくはどちらもだ」ということは本当だ"が導かれる
2. 事実12と事実16から、推論2: "「あのコンセンサス配列は朝飯でない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "「あのコンセンサス配列は揉み解すかもしくは愛しくないかもしくは両方である」ということは正しい"が導かれる
4. 推論3から、推論4: "「揉み解すかまたは愛しくない」ものはある"が導かれる
5. 推論4と事実20から、推論5: "この臓物は歩き回り始めない"が導かれる
6. 推論5と事実11から、仮説が否定される

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