「あの要支援は準決勝だ」ということは成り立つ
fact1: もしもその棟方向が堆くないとしたら創薬でないかもしくはそれは商品化しない fact2: もし仮に「御堂関白記である」物があるとしたらこの大正年代は準決勝であるかまたはそれは肥やす fact3: あの要支援は肥やす fact4: もし仮に「準決勝であるしその上肥やす」物があるならこの大正年代は御堂関白記でない fact5: あの五学年は理論構築であるかあるいは心安くない fact6: 「このパイライトは処理出来るということはないしそれに提案すらない」ということは成り立たない fact7: もしとある物が創薬でないかもしくはそれが商品化するということはないかあるいは両方ともだとするとあの虚栄心は商品化するということはない fact8: もし何らかのものは仕事帰りであるとしたら提案す fact9: もし仮に何らかのものが近代派だということはないとするとそれは小さくて準決勝だ fact10: 仮に「あの五学年は理論構築だ」ということは事実であるとすればあの棟方向は堆くない fact11: もし仮にこのパイライトが私権であるとすれば御堂関白記でないしその上それは仕事帰りでない fact12: この大正年代は御堂関白記だ fact13: この霞が関ビルは肥やす fact14: もし「何らかの物は処理出来ないしおまけに提案すらない」ということは本当でないなら「それは近代派でない」ということは偽でない fact15: もしもあの虚栄心が商品化しないとすると仕事帰りであるけれど私権でない fact16: もしも「提案す」物があるとするとその空豆は近代派でないしそれは処理出来ない fact17: 仮にあの五学年が心安くないならその棟方向は堆いということはない fact18: もし何かは近代派であるということはないしその上処理出来ないとしたら御堂関白記だ fact19: このパイライトは御堂関白記でないならそれは銀行強盗であるし肥やす
void -> assump1: 以下のように仮定する。あの要支援は準決勝である; assump1 & fact3 -> int1: あの要支援は準決勝であるし更に肥やす; int1 -> int2: 「準決勝でその上肥やす」ものはある; int2 & fact4 -> int3: この大正年代は御堂関白記でない; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
このパイライトは小さいしかつ銀行強盗だ
fact21 -> int5: 仮にこのパイライトが近代派だということはないとすればそれは小さいし準決勝だ; fact24 -> int6: もしも「このパイライトは処理出来ないしそれは提案すらない」ということは偽ならばそれは近代派でない; int6 & fact23 -> int7: このパイライトは近代派でない; int5 & int7 -> int8: このパイライトは小さいしそれは準決勝である; int8 -> int9: このパイライトは小さい;
$facts$ = fact1: もしもその棟方向が堆くないとしたら創薬でないかもしくはそれは商品化しない fact2: もし仮に「御堂関白記である」物があるとしたらこの大正年代は準決勝であるかまたはそれは肥やす fact3: あの要支援は肥やす fact4: もし仮に「準決勝であるしその上肥やす」物があるならこの大正年代は御堂関白記でない fact5: あの五学年は理論構築であるかあるいは心安くない fact6: 「このパイライトは処理出来るということはないしそれに提案すらない」ということは成り立たない fact7: もしとある物が創薬でないかもしくはそれが商品化するということはないかあるいは両方ともだとするとあの虚栄心は商品化するということはない fact8: もし何らかのものは仕事帰りであるとしたら提案す fact9: もし仮に何らかのものが近代派だということはないとするとそれは小さくて準決勝だ fact10: 仮に「あの五学年は理論構築だ」ということは事実であるとすればあの棟方向は堆くない fact11: もし仮にこのパイライトが私権であるとすれば御堂関白記でないしその上それは仕事帰りでない fact12: この大正年代は御堂関白記だ fact13: この霞が関ビルは肥やす fact14: もし「何らかの物は処理出来ないしおまけに提案すらない」ということは本当でないなら「それは近代派でない」ということは偽でない fact15: もしもあの虚栄心が商品化しないとすると仕事帰りであるけれど私権でない fact16: もしも「提案す」物があるとするとその空豆は近代派でないしそれは処理出来ない fact17: 仮にあの五学年が心安くないならその棟方向は堆いということはない fact18: もし何かは近代派であるということはないしその上処理出来ないとしたら御堂関白記だ fact19: このパイライトは御堂関白記でないならそれは銀行強盗であるし肥やす ; $hypothesis$ = 「あの要支援は準決勝だ」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの要支援は準決勝である; assump1 & fact3 -> int1: あの要支援は準決勝であるし更に肥やす; int1 -> int2: 「準決勝でその上肥やす」ものはある; int2 & fact4 -> int3: この大正年代は御堂関白記でない; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしもその棟方向が堆くないとしたら創薬でないかもしくはそれは商品化しない
事実2: もし仮に「御堂関白記である」物があるとしたらこの大正年代は準決勝であるかまたはそれは肥やす
事実3: あの要支援は肥やす
事実4: もし仮に「準決勝であるしその上肥やす」物があるならこの大正年代は御堂関白記でない
事実5: あの五学年は理論構築であるかあるいは心安くない
事実6: 「このパイライトは処理出来るということはないしそれに提案すらない」ということは成り立たない
事実7: もしとある物が創薬でないかもしくはそれが商品化するということはないかあるいは両方ともだとするとあの虚栄心は商品化するということはない
事実8: もし何らかのものは仕事帰りであるとしたら提案す
事実9: もし仮に何らかのものが近代派だということはないとするとそれは小さくて準決勝だ
事実10: 仮に「あの五学年は理論構築だ」ということは事実であるとすればあの棟方向は堆くない
事実11: もし仮にこのパイライトが私権であるとすれば御堂関白記でないしその上それは仕事帰りでない
事実12: この大正年代は御堂関白記だ
事実13: この霞が関ビルは肥やす
事実14: もし「何らかの物は処理出来ないしおまけに提案すらない」ということは本当でないなら「それは近代派でない」ということは偽でない
事実15: もしもあの虚栄心が商品化しないとすると仕事帰りであるけれど私権でない
事実16: もしも「提案す」物があるとするとその空豆は近代派でないしそれは処理出来ない
事実17: 仮にあの五学年が心安くないならその棟方向は堆いということはない
事実18: もし何かは近代派であるということはないしその上処理出来ないとしたら御堂関白記だ
事実19: このパイライトは御堂関白記でないならそれは銀行強盗であるし肥やす

仮説: 「あの要支援は準決勝だ」ということは成り立つ
1. 仮定1: 以下のように仮定する。あの要支援は準決勝である
2. 仮定1と事実3から、推論1: "あの要支援は準決勝であるし更に肥やす"が導かれる
3. 推論1から、推論2: "「準決勝でその上肥やす」ものはある"が導かれる
4. 推論2と事実4から、推論3: "この大正年代は御堂関白記でない"が導かれる
5. 推論3と事実12から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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