「「あのアセトニトリルは社会福祉・医療事業団でないけれど天狗らしい」ということは本当でない」ということは成り立つ
fact1: もしもこのミコナゾールが八箱であるとするとこの弗素以外は拝む fact2: その集成は伸ばし易くないけど夏枯れ対策である fact3: もし「「「拝まない」ということは誤りな」ものはある」ということは成り立つなら「「あのアセトニトリルは社会福祉・医療事業団でないけれどそれは天狗らしい」ということは成り立つ」ということは偽だ fact4: 仮に何かは十二倍しないとすると「伸ばし易くないし更に夏枯れ対策である」ということは成り立たない fact5: その集成が十二倍するならこのミコナゾールは八箱である
fact4 -> int1: もしもその集成は十二倍するということはないなら「それが伸ばし易くないしさらにそれは夏枯れ対策である」ということは間違いだ; void -> assump1: 以下のように仮定する。その集成は十二倍しない; int1 & assump1 -> int2: 「その集成は伸ばし易くないけど夏枯れ対策である」ということは事実と異なる; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その集成は十二倍する; int4 & fact5 -> int5: このミコナゾールは八箱である; int5 & fact1 -> int6: この弗素以外は拝む; int6 -> int7: 何かは拝む; int7 & fact3 -> hypothesis;
$facts$ = fact1: もしもこのミコナゾールが八箱であるとするとこの弗素以外は拝む fact2: その集成は伸ばし易くないけど夏枯れ対策である fact3: もし「「「拝まない」ということは誤りな」ものはある」ということは成り立つなら「「あのアセトニトリルは社会福祉・医療事業団でないけれどそれは天狗らしい」ということは成り立つ」ということは偽だ fact4: 仮に何かは十二倍しないとすると「伸ばし易くないし更に夏枯れ対策である」ということは成り立たない fact5: その集成が十二倍するならこのミコナゾールは八箱である ; $hypothesis$ = 「「あのアセトニトリルは社会福祉・医療事業団でないけれど天狗らしい」ということは本当でない」ということは成り立つ ; $proof$ = 
fact4 -> int1: もしもその集成は十二倍するということはないなら「それが伸ばし易くないしさらにそれは夏枯れ対策である」ということは間違いだ; void -> assump1: 以下のように仮定する。その集成は十二倍しない; int1 & assump1 -> int2: 「その集成は伸ばし易くないけど夏枯れ対策である」ということは事実と異なる; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その集成は十二倍する; int4 & fact5 -> int5: このミコナゾールは八箱である; int5 & fact1 -> int6: この弗素以外は拝む; int6 -> int7: 何かは拝む; int7 & fact3 -> hypothesis; __PROVED__
事実1: もしもこのミコナゾールが八箱であるとするとこの弗素以外は拝む
事実2: その集成は伸ばし易くないけど夏枯れ対策である
事実3: もし「「「拝まない」ということは誤りな」ものはある」ということは成り立つなら「「あのアセトニトリルは社会福祉・医療事業団でないけれどそれは天狗らしい」ということは成り立つ」ということは偽だ
事実4: 仮に何かは十二倍しないとすると「伸ばし易くないし更に夏枯れ対策である」ということは成り立たない
事実5: その集成が十二倍するならこのミコナゾールは八箱である

仮説: 「「あのアセトニトリルは社会福祉・医療事業団でないけれど天狗らしい」ということは本当でない」ということは成り立つ
1. 事実4から、推論1: "もしもその集成は十二倍するということはないなら「それが伸ばし易くないしさらにそれは夏枯れ対策である」ということは間違いだ"が導かれる
2. 仮定1: 以下のように仮定する。その集成は十二倍しない
3. 推論1と仮定1から、推論2: "「その集成は伸ばし易くないけど夏枯れ対策である」ということは事実と異なる"が導かれる
4. 推論2と事実2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その集成は十二倍する"が導かれる
6. 推論4と事実5から、推論5: "このミコナゾールは八箱である"が導かれる
7. 推論5と事実1から、推論6: "この弗素以外は拝む"が導かれる
8. 推論6から、推論7: "何かは拝む"が導かれる
9. 推論7と事実3から、仮説が導かれる

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