「もしこのラッコが議員定数であるならばこのラッコは卒園しないがしかしそれは進化出来る」ということは成り立つということはない
fact1: このラッコは卒園しない fact2: もしもこのラッコは変われるとすれば「それは議員定数である」ということは本当だ fact3: とあるものが立て難くないかあるいは進化出来ないか両方であるならばその沖積地は議員定数だ fact4: あらゆる物は握り易いがしかし労働組合法でない fact5: その自然保護は議員定数だということはない fact6: このラッコは議員定数であるならば「それは進化出来る」ということは正しい fact7: このラッコは殴り飛ばす fact8: 弁解がましくらないものは立て難くないかもしくは進化出来ないかあるいは両方ともだ fact9: この独立栄養生物は議員定数である fact10: 仮にこのラッコはプリンター用紙なら「それは言い辛い」ということは成り立つ fact11: 仮にその中間領域が労働組合法でないとすればこのドイツ留学が弁解はましくらないかまたはそれは対面しないかどちらもである fact12: あるものが弁解はましくらないか対面しないかもしくは両方であるならば「このラッコが弁解はましくらない」ということは事実だ
void -> assump1: 以下のように仮定する。このラッコは議員定数である; fact6 & assump1 -> int1: このラッコは進化出来る; int1 & fact1 -> int2: このラッコは卒園しないが進化出来る; [assump1] & int2 -> hypothesis;
「その沖積地は卒園しない」ということは誤りである
fact16 -> int3: この組閣本部は握り易いけれど労働組合法でない; int3 -> int4: この組閣本部は労働組合法でない; int4 -> int5: 「すべてのものは労働組合法だということはない」ということは成り立つ; int5 -> int6: その中間領域は労働組合法でない; fact14 & int6 -> int7: このドイツ留学が弁解はましくらないかもしくはそれは対面しないか両方である; int7 -> int8: 何らかのものが弁解はましくらないかあるいは対面するということはないかもしくは両方ともである; fact15 & int8 -> int9: 「このラッコが弁解はましくらない」ということは成り立つ; fact17 -> int10: もし仮にこのラッコが弁解がましくらないとすれば立て難くないかもしくは進化出来ない; int9 & int10 -> int11: このラッコは立て難くないかそれは進化出来ないかもしくは両方ともである; int11 -> int12: 「立て難くないかもしくは進化出来ないかまたは両方な」物はある; fact13 & int12 -> int13: その沖積地は議員定数だ;
$facts$ = fact1: このラッコは卒園しない fact2: もしもこのラッコは変われるとすれば「それは議員定数である」ということは本当だ fact3: とあるものが立て難くないかあるいは進化出来ないか両方であるならばその沖積地は議員定数だ fact4: あらゆる物は握り易いがしかし労働組合法でない fact5: その自然保護は議員定数だということはない fact6: このラッコは議員定数であるならば「それは進化出来る」ということは正しい fact7: このラッコは殴り飛ばす fact8: 弁解がましくらないものは立て難くないかもしくは進化出来ないかあるいは両方ともだ fact9: この独立栄養生物は議員定数である fact10: 仮にこのラッコはプリンター用紙なら「それは言い辛い」ということは成り立つ fact11: 仮にその中間領域が労働組合法でないとすればこのドイツ留学が弁解はましくらないかまたはそれは対面しないかどちらもである fact12: あるものが弁解はましくらないか対面しないかもしくは両方であるならば「このラッコが弁解はましくらない」ということは事実だ ; $hypothesis$ = 「もしこのラッコが議員定数であるならばこのラッコは卒園しないがしかしそれは進化出来る」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。このラッコは議員定数である; fact6 & assump1 -> int1: このラッコは進化出来る; int1 & fact1 -> int2: このラッコは卒園しないが進化出来る; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: このラッコは卒園しない
事実2: もしもこのラッコは変われるとすれば「それは議員定数である」ということは本当だ
事実3: とあるものが立て難くないかあるいは進化出来ないか両方であるならばその沖積地は議員定数だ
事実4: あらゆる物は握り易いがしかし労働組合法でない
事実5: その自然保護は議員定数だということはない
事実6: このラッコは議員定数であるならば「それは進化出来る」ということは正しい
事実7: このラッコは殴り飛ばす
事実8: 弁解がましくらないものは立て難くないかもしくは進化出来ないかあるいは両方ともだ
事実9: この独立栄養生物は議員定数である
事実10: 仮にこのラッコはプリンター用紙なら「それは言い辛い」ということは成り立つ
事実11: 仮にその中間領域が労働組合法でないとすればこのドイツ留学が弁解はましくらないかまたはそれは対面しないかどちらもである
事実12: あるものが弁解はましくらないか対面しないかもしくは両方であるならば「このラッコが弁解はましくらない」ということは事実だ

仮説: 「もしこのラッコが議員定数であるならばこのラッコは卒園しないがしかしそれは進化出来る」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。このラッコは議員定数である
2. 事実6と仮定1から、推論1: "このラッコは進化出来る"が導かれる
3. 推論1と事実1から、推論2: "このラッコは卒園しないが進化出来る"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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