その雑費はグラフウィザードでない
fact1: 仮にあの半日休日は踏み替えるとすれば「見え難いか乳癌でない」ということは真実でない fact2: もしなにかは大人しいということはないなら「それは徒らっぽいということはないかまたはグラフウィザードであるかまたは両方だ」ということは成り立たない fact3: 何らかの物は見え難くて乳癌である fact4: もし仮にこのペンダントがアマだが削り直さないならその雑費はアマでない fact5: 仮にある物が見え難くない一方で乳癌であるならばその雑費はグラフウィザードでない fact6: 見え難くないものは消化し易いかまたは乳癌であるか両方だ fact7: 「あの半日休日は乳癌でないがそれは酸っぱい」ということは誤っている fact8: 仮にこのペンダントが寒しとすればそれはアマであるしそれは削り直さない fact9: もし仮にその雑費が消化し易いとするとあの半日休日は消化し易い fact10: 訳無い物は大人しくない fact11: もしも「酸っぱくない」ものがあるとするとあのバーテンは踏み替えない fact12: 仮にこのペンダントが大人しくないとしたらあの半日休日は踏み替えるし徒らっぽい fact13: もし仮に何らかのものは消化し易くないならば「それはグラフウィザードでそれに酸っぱい」ということは本当である fact14: 仮にその雑費がアマでないとすればそれは訳無い fact15: 「なんらかの物は徒らっぽくないかあるいはそれはグラフウィザードであるかまたはどちらもだ」ということは間違いだとしたら見え難いということはない fact16: 何かは乳癌である fact17: あの半日休日は踏み替えるということはないしまた見え難くない fact18: あの半日休日は消化し易い fact19: 仮にその雑費が乳癌ならばあの半日休日は消化し易い fact20: あの半日休日は酸っぱいししかも消化し易い
fact20 -> int1: あの半日休日は酸っぱい; void -> assump1: 以下のように仮定する。あの半日休日は乳癌でない; int1 & assump1 -> int2: あの半日休日は乳癌でないけれど酸っぱい; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの半日休日は乳癌だ; fact17 -> int5: あの半日休日は見え難いということはない; int4 & int5 -> int6: あの半日休日は見え難くないが乳癌である; int6 -> int7: 「「見え難くないが乳癌である」ということは成り立つ」ものはある; int7 & fact5 -> hypothesis;
あのバーテンは踏み替えるということはない
fact22 -> int8: その雑費が見え難くないなら消化し易いかまたはそれは乳癌であるかもしくはどちらもだ; fact25 -> int9: 仮に「その雑費は徒らっぽくないかもしくはそれはグラフウィザードである」ということは成り立たないならばそれは見え難くない; fact28 -> int10: もしもその雑費は大人しくないならば「それは徒らっぽくないかあるいはグラフウィザードであるかもしくは両方である」ということは間違いである; fact24 -> int11: もし仮にその雑費が訳無いとしたらそれは大人しくない;
$facts$ = fact1: 仮にあの半日休日は踏み替えるとすれば「見え難いか乳癌でない」ということは真実でない fact2: もしなにかは大人しいということはないなら「それは徒らっぽいということはないかまたはグラフウィザードであるかまたは両方だ」ということは成り立たない fact3: 何らかの物は見え難くて乳癌である fact4: もし仮にこのペンダントがアマだが削り直さないならその雑費はアマでない fact5: 仮にある物が見え難くない一方で乳癌であるならばその雑費はグラフウィザードでない fact6: 見え難くないものは消化し易いかまたは乳癌であるか両方だ fact7: 「あの半日休日は乳癌でないがそれは酸っぱい」ということは誤っている fact8: 仮にこのペンダントが寒しとすればそれはアマであるしそれは削り直さない fact9: もし仮にその雑費が消化し易いとするとあの半日休日は消化し易い fact10: 訳無い物は大人しくない fact11: もしも「酸っぱくない」ものがあるとするとあのバーテンは踏み替えない fact12: 仮にこのペンダントが大人しくないとしたらあの半日休日は踏み替えるし徒らっぽい fact13: もし仮に何らかのものは消化し易くないならば「それはグラフウィザードでそれに酸っぱい」ということは本当である fact14: 仮にその雑費がアマでないとすればそれは訳無い fact15: 「なんらかの物は徒らっぽくないかあるいはそれはグラフウィザードであるかまたはどちらもだ」ということは間違いだとしたら見え難いということはない fact16: 何かは乳癌である fact17: あの半日休日は踏み替えるということはないしまた見え難くない fact18: あの半日休日は消化し易い fact19: 仮にその雑費が乳癌ならばあの半日休日は消化し易い fact20: あの半日休日は酸っぱいししかも消化し易い ; $hypothesis$ = その雑費はグラフウィザードでない ; $proof$ = 
fact20 -> int1: あの半日休日は酸っぱい; void -> assump1: 以下のように仮定する。あの半日休日は乳癌でない; int1 & assump1 -> int2: あの半日休日は乳癌でないけれど酸っぱい; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの半日休日は乳癌だ; fact17 -> int5: あの半日休日は見え難いということはない; int4 & int5 -> int6: あの半日休日は見え難くないが乳癌である; int6 -> int7: 「「見え難くないが乳癌である」ということは成り立つ」ものはある; int7 & fact5 -> hypothesis; __PROVED__
事実1: 仮にあの半日休日は踏み替えるとすれば「見え難いか乳癌でない」ということは真実でない
事実2: もしなにかは大人しいということはないなら「それは徒らっぽいということはないかまたはグラフウィザードであるかまたは両方だ」ということは成り立たない
事実3: 何らかの物は見え難くて乳癌である
事実4: もし仮にこのペンダントがアマだが削り直さないならその雑費はアマでない
事実5: 仮にある物が見え難くない一方で乳癌であるならばその雑費はグラフウィザードでない
事実6: 見え難くないものは消化し易いかまたは乳癌であるか両方だ
事実7: 「あの半日休日は乳癌でないがそれは酸っぱい」ということは誤っている
事実8: 仮にこのペンダントが寒しとすればそれはアマであるしそれは削り直さない
事実9: もし仮にその雑費が消化し易いとするとあの半日休日は消化し易い
事実10: 訳無い物は大人しくない
事実11: もしも「酸っぱくない」ものがあるとするとあのバーテンは踏み替えない
事実12: 仮にこのペンダントが大人しくないとしたらあの半日休日は踏み替えるし徒らっぽい
事実13: もし仮に何らかのものは消化し易くないならば「それはグラフウィザードでそれに酸っぱい」ということは本当である
事実14: 仮にその雑費がアマでないとすればそれは訳無い
事実15: 「なんらかの物は徒らっぽくないかあるいはそれはグラフウィザードであるかまたはどちらもだ」ということは間違いだとしたら見え難いということはない
事実16: 何かは乳癌である
事実17: あの半日休日は踏み替えるということはないしまた見え難くない
事実18: あの半日休日は消化し易い
事実19: 仮にその雑費が乳癌ならばあの半日休日は消化し易い
事実20: あの半日休日は酸っぱいししかも消化し易い

仮説: その雑費はグラフウィザードでない
1. 事実20から、推論1: "あの半日休日は酸っぱい"が導かれる
2. 仮定1: 以下のように仮定する。あの半日休日は乳癌でない
3. 推論1と仮定1から、推論2: "あの半日休日は乳癌でないけれど酸っぱい"が導かれる
4. 推論2と事実7から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの半日休日は乳癌だ"が導かれる
6. 事実17から、推論5: "あの半日休日は見え難いということはない"が導かれる
7. 推論4と推論5から、推論6: "あの半日休日は見え難くないが乳癌である"が導かれる
8. 推論6から、推論7: "「「見え難くないが乳癌である」ということは成り立つ」ものはある"が導かれる
9. 推論7と事実5から、仮説が導かれる

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