その麦畑は色好くない
fact1: 仮にその麦畑は色好いとすると「成敗するしまたそれはソフロリミナルであるということはない」ということは成り立たない fact2: もしこの受診命令がはしたないとすれば中外だ fact3: 仮にこの受診命令は言い難いかまたは毛蟹だということはないとすると嬲らない fact4: もし仮に「その麦畑は成敗するけれどソフロリミナルでない」ということは成り立つということはないならばこの受診命令ははしたない fact5: 中外は言い難いか毛蟹であるということはない fact6: もし仮に「「キルでしかも漏れ無くない」ということは誤りである」物があるとするとこの受診命令はキルでない fact7: 仮にあるものは嬲らないとすると「キルでないかもしくは当たり易くないかあるいは両方だ」ということは嘘である fact8: 「「キルだ一方で漏れ無くない」ということは間違いな」物はある fact9: 「この付加価値は中外だ」ということは真実である
void -> assump1: 以下のように仮定する。その麦畑は色好い; fact1 & assump1 -> int1: 「その麦畑は成敗するけれどソフロリミナルでない」ということは成り立たない; int1 & fact4 -> int2: この受診命令ははしたない; int2 & fact2 -> int3: 「この受診命令は中外だ」ということは事実だ; fact5 -> int4: もしもこの受診命令は中外であるならそれは言い難いかもしくは毛蟹だということはないか両方ともだ; int3 & int4 -> int5: 「この受診命令は言い難いか毛蟹であるということはないか両方ともである」ということは正しい; int5 & fact3 -> int6: この受診命令は嬲らない; fact7 -> int7: この受診命令は嬲るということはないならば「キルでないかまたは当たり易くないかまたは両方ともである」ということは嘘だ; int6 & int7 -> int8: 「この受診命令はキルでないかまたは当たり易くないかもしくはどちらもだ」ということは誤っている; fact8 & fact6 -> int9: この受診命令はキルでない; int9 -> int10: この受診命令はキルであるということはないかあるいは当たり易くないかまたはどちらもである; int8 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis;
$facts$ = fact1: 仮にその麦畑は色好いとすると「成敗するしまたそれはソフロリミナルであるということはない」ということは成り立たない fact2: もしこの受診命令がはしたないとすれば中外だ fact3: 仮にこの受診命令は言い難いかまたは毛蟹だということはないとすると嬲らない fact4: もし仮に「その麦畑は成敗するけれどソフロリミナルでない」ということは成り立つということはないならばこの受診命令ははしたない fact5: 中外は言い難いか毛蟹であるということはない fact6: もし仮に「「キルでしかも漏れ無くない」ということは誤りである」物があるとするとこの受診命令はキルでない fact7: 仮にあるものは嬲らないとすると「キルでないかもしくは当たり易くないかあるいは両方だ」ということは嘘である fact8: 「「キルだ一方で漏れ無くない」ということは間違いな」物はある fact9: 「この付加価値は中外だ」ということは真実である ; $hypothesis$ = その麦畑は色好くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その麦畑は色好い; fact1 & assump1 -> int1: 「その麦畑は成敗するけれどソフロリミナルでない」ということは成り立たない; int1 & fact4 -> int2: この受診命令ははしたない; int2 & fact2 -> int3: 「この受診命令は中外だ」ということは事実だ; fact5 -> int4: もしもこの受診命令は中外であるならそれは言い難いかもしくは毛蟹だということはないか両方ともだ; int3 & int4 -> int5: 「この受診命令は言い難いか毛蟹であるということはないか両方ともである」ということは正しい; int5 & fact3 -> int6: この受診命令は嬲らない; fact7 -> int7: この受診命令は嬲るということはないならば「キルでないかまたは当たり易くないかまたは両方ともである」ということは嘘だ; int6 & int7 -> int8: 「この受診命令はキルでないかまたは当たり易くないかもしくはどちらもだ」ということは誤っている; fact8 & fact6 -> int9: この受診命令はキルでない; int9 -> int10: この受診命令はキルであるということはないかあるいは当たり易くないかまたはどちらもである; int8 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis; __PROVED__
事実1: 仮にその麦畑は色好いとすると「成敗するしまたそれはソフロリミナルであるということはない」ということは成り立たない
事実2: もしこの受診命令がはしたないとすれば中外だ
事実3: 仮にこの受診命令は言い難いかまたは毛蟹だということはないとすると嬲らない
事実4: もし仮に「その麦畑は成敗するけれどソフロリミナルでない」ということは成り立つということはないならばこの受診命令ははしたない
事実5: 中外は言い難いか毛蟹であるということはない
事実6: もし仮に「「キルでしかも漏れ無くない」ということは誤りである」物があるとするとこの受診命令はキルでない
事実7: 仮にあるものは嬲らないとすると「キルでないかもしくは当たり易くないかあるいは両方だ」ということは嘘である
事実8: 「「キルだ一方で漏れ無くない」ということは間違いな」物はある
事実9: 「この付加価値は中外だ」ということは真実である

仮説: その麦畑は色好くない
1. 仮定1: 以下のように仮定する。その麦畑は色好い
2. 事実1と仮定1から、推論1: "「その麦畑は成敗するけれどソフロリミナルでない」ということは成り立たない"が導かれる
3. 推論1と事実4から、推論2: "この受診命令ははしたない"が導かれる
4. 推論2と事実2から、推論3: "「この受診命令は中外だ」ということは事実だ"が導かれる
5. 事実5から、推論4: "もしもこの受診命令は中外であるならそれは言い難いかもしくは毛蟹だということはないか両方ともだ"が導かれる
6. 推論3と推論4から、推論5: "「この受診命令は言い難いか毛蟹であるということはないか両方ともである」ということは正しい"が導かれる
7. 推論5と事実3から、推論6: "この受診命令は嬲らない"が導かれる
8. 事実7から、推論7: "この受診命令は嬲るということはないならば「キルでないかまたは当たり易くないかまたは両方ともである」ということは嘘だ"が導かれる
9. 推論6と推論7から、推論8: "「この受診命令はキルでないかまたは当たり易くないかもしくはどちらもだ」ということは誤っている"が導かれる
10. 事実8と事実6から、推論9: "この受診命令はキルでない"が導かれる
11. 推論9から、推論10: "この受診命令はキルであるということはないかあるいは当たり易くないかまたはどちらもである"が導かれる
12. 推論8と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、仮説が導かれる

よって、仮説が証明されました。