「仮にこのコマツ菜は麗しくないなら「あの荷解きは聞き齧りだがしかし顕在化し易いということはない」ということは嘘である」ということは誤りだ
fact1: 仮にあの荷解きは麗しくないならば「このコマツ菜は顕在化し易いがそれは聞き齧りでない」ということは誤っている fact2: 仮にこのコマツ菜は麗しいなら「あの荷解きは聞き齧りであるが顕在化し易くない」ということは成り立たない fact3: あの荷解きは聞き齧りであるがそれは麗しいということはない fact4: あの荷解きが聞き齧りであるけど顕在化し易いということはないならばこのコマツ菜は麗しい fact5: 「このコマツ菜は顕在化し易い一方で麗しくない」ということは事実と異なる fact6: もしもあの荷解きが聞き齧りだしおまけに顕在化し易いとすればあのコマツ菜は麗しい fact7: このコマツ菜が麗しいということはないとするとあの荷解きは聞き齧りだがしかし顕在化し易くない fact8: もし仮にあの荷解きは聞き齧りでないなら「このコマツ菜は顕在化し易くて加えてそれは麗しい」ということは偽である fact9: もしこのコマツ菜が顕在化し易い一方で聞き齧りでないならあの荷解きは麗しい fact10: もしあの荷解きは麗しいということはないとしたら「このコマツ菜が聞き齧りだしそれは顕在化し易い」ということは成り立たない fact11: 「このコマツ菜は出芽するけど麗しくない」ということは間違いである fact12: もしあの荷解きは顕在化し易くないとすれば「このコマツ菜が聞き齧りだしおまけに麗しい」ということは成り立つということはない fact13: このコマツ菜は弓術だ一方で聞き齧りでない fact14: 仮にこのコマツ菜は顕在化し易いということはないとすると「あの荷解きは麗しいがしかし聞き齧りでない」ということは間違いだ fact15: 「あの荷解きは聞き齧りである」ということは偽でない fact16: もし仮にこのコマツ菜が顕在化し易い一方で麗しくないとすればあの荷解きは聞き齧りだ fact17: 仮にあの荷解きは聞き齧りでないとすると「このコマツ菜は顕在化し易いがしかし麗しくない」ということは成り立たない fact18: このコマツ菜は賢し fact19: もしも「このコマツ菜は麗しいが顕在化し易いということはない」ということは事実ならあの荷解きは聞き齧りだ
void -> assump2: 以下のように仮定する。あの荷解きは聞き齧りである一方でそれは顕在化し易くない; fact4 & assump2 -> int1: このコマツ菜は麗しい; void -> assump1: 以下のように仮定する。「このコマツ菜は麗しくない」ということは成り立つ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あの荷解きは聞き齧りである一方で顕在化し易くない」ということは成り立たない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 仮にあの荷解きは麗しくないならば「このコマツ菜は顕在化し易いがそれは聞き齧りでない」ということは誤っている fact2: 仮にこのコマツ菜は麗しいなら「あの荷解きは聞き齧りであるが顕在化し易くない」ということは成り立たない fact3: あの荷解きは聞き齧りであるがそれは麗しいということはない fact4: あの荷解きが聞き齧りであるけど顕在化し易いということはないならばこのコマツ菜は麗しい fact5: 「このコマツ菜は顕在化し易い一方で麗しくない」ということは事実と異なる fact6: もしもあの荷解きが聞き齧りだしおまけに顕在化し易いとすればあのコマツ菜は麗しい fact7: このコマツ菜が麗しいということはないとするとあの荷解きは聞き齧りだがしかし顕在化し易くない fact8: もし仮にあの荷解きは聞き齧りでないなら「このコマツ菜は顕在化し易くて加えてそれは麗しい」ということは偽である fact9: もしこのコマツ菜が顕在化し易い一方で聞き齧りでないならあの荷解きは麗しい fact10: もしあの荷解きは麗しいということはないとしたら「このコマツ菜が聞き齧りだしそれは顕在化し易い」ということは成り立たない fact11: 「このコマツ菜は出芽するけど麗しくない」ということは間違いである fact12: もしあの荷解きは顕在化し易くないとすれば「このコマツ菜が聞き齧りだしおまけに麗しい」ということは成り立つということはない fact13: このコマツ菜は弓術だ一方で聞き齧りでない fact14: 仮にこのコマツ菜は顕在化し易いということはないとすると「あの荷解きは麗しいがしかし聞き齧りでない」ということは間違いだ fact15: 「あの荷解きは聞き齧りである」ということは偽でない fact16: もし仮にこのコマツ菜が顕在化し易い一方で麗しくないとすればあの荷解きは聞き齧りだ fact17: 仮にあの荷解きは聞き齧りでないとすると「このコマツ菜は顕在化し易いがしかし麗しくない」ということは成り立たない fact18: このコマツ菜は賢し fact19: もしも「このコマツ菜は麗しいが顕在化し易いということはない」ということは事実ならあの荷解きは聞き齧りだ ; $hypothesis$ = 「仮にこのコマツ菜は麗しくないなら「あの荷解きは聞き齧りだがしかし顕在化し易いということはない」ということは嘘である」ということは誤りだ ; $proof$ = 
void -> assump2: 以下のように仮定する。あの荷解きは聞き齧りである一方でそれは顕在化し易くない; fact4 & assump2 -> int1: このコマツ菜は麗しい; void -> assump1: 以下のように仮定する。「このコマツ菜は麗しくない」ということは成り立つ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あの荷解きは聞き齧りである一方で顕在化し易くない」ということは成り立たない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 仮にあの荷解きは麗しくないならば「このコマツ菜は顕在化し易いがそれは聞き齧りでない」ということは誤っている
事実2: 仮にこのコマツ菜は麗しいなら「あの荷解きは聞き齧りであるが顕在化し易くない」ということは成り立たない
事実3: あの荷解きは聞き齧りであるがそれは麗しいということはない
事実4: あの荷解きが聞き齧りであるけど顕在化し易いということはないならばこのコマツ菜は麗しい
事実5: 「このコマツ菜は顕在化し易い一方で麗しくない」ということは事実と異なる
事実6: もしもあの荷解きが聞き齧りだしおまけに顕在化し易いとすればあのコマツ菜は麗しい
事実7: このコマツ菜が麗しいということはないとするとあの荷解きは聞き齧りだがしかし顕在化し易くない
事実8: もし仮にあの荷解きは聞き齧りでないなら「このコマツ菜は顕在化し易くて加えてそれは麗しい」ということは偽である
事実9: もしこのコマツ菜が顕在化し易い一方で聞き齧りでないならあの荷解きは麗しい
事実10: もしあの荷解きは麗しいということはないとしたら「このコマツ菜が聞き齧りだしそれは顕在化し易い」ということは成り立たない
事実11: 「このコマツ菜は出芽するけど麗しくない」ということは間違いである
事実12: もしあの荷解きは顕在化し易くないとすれば「このコマツ菜が聞き齧りだしおまけに麗しい」ということは成り立つということはない
事実13: このコマツ菜は弓術だ一方で聞き齧りでない
事実14: 仮にこのコマツ菜は顕在化し易いということはないとすると「あの荷解きは麗しいがしかし聞き齧りでない」ということは間違いだ
事実15: 「あの荷解きは聞き齧りである」ということは偽でない
事実16: もし仮にこのコマツ菜が顕在化し易い一方で麗しくないとすればあの荷解きは聞き齧りだ
事実17: 仮にあの荷解きは聞き齧りでないとすると「このコマツ菜は顕在化し易いがしかし麗しくない」ということは成り立たない
事実18: このコマツ菜は賢し
事実19: もしも「このコマツ菜は麗しいが顕在化し易いということはない」ということは事実ならあの荷解きは聞き齧りだ

仮説: 「仮にこのコマツ菜は麗しくないなら「あの荷解きは聞き齧りだがしかし顕在化し易いということはない」ということは嘘である」ということは誤りだ
1. 仮定2: 以下のように仮定する。あの荷解きは聞き齧りである一方でそれは顕在化し易くない
2. 事実4と仮定2から、推論1: "このコマツ菜は麗しい"が導かれる
3. 仮定1: 以下のように仮定する。「このコマツ菜は麗しくない」ということは成り立つ
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「あの荷解きは聞き齧りである一方で顕在化し易くない」ということは成り立たない"が導かれる
6. [仮定1]と推論3から、仮説が否定される

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