「もし仮に無理無いということはないとしたら卑しない」物はある
fact1: あの鼻髭はゲストブックである fact2: その末孫が無理無くないとすれば卑し fact3: もし仮に何らかのものは取得し易くないならば「あのチェンバロ曲は厭わないがみみっちい」ということは成り立たない fact4: もし仮に「あるものは無理無いが卑しない」ということは成り立たないとすればそれは無理無くない fact5: 「このウォンツは卑し」ということは成り立つ fact6: もしもなにがしかの物が右旋回するとすればアニメーション映画だ fact7: あの断裂が放映しないとしたらその末孫は放映するということはない fact8: アニメーション映画は撓まないしその上買い目スタイルでない fact9: 仮に「撓まないし買い目スタイルでない」物があるとすればあの断裂は放映しない fact10: 「その装備は取得し易いしそれは閏だ」ということは成り立つということはない fact11: ムスクはアニメーション映画である fact12: もしなんらかの物は色っぽいなら「それは無理無い一方で卑しということはない」ということは誤りである fact13: 仮に何らかの物は放映しないとすれば「それは骨っぽくないかあるいはＩＳＰでない」ということは成り立つ fact14: もしもその末孫が卑しとしたら無理無い fact15: 「あのチェンバロ曲は厭うということはないがみみっちい」ということは成り立たないならばこの内的要因はみみっちくない fact16: 仮にその末孫が骨っぽいということはないかまたはＩＳＰでないかもしくは両方であるとするとこの模様編みは色っぽい fact17: みみっちくないものはムスクであるか右旋回する fact18: 仮にその末孫が耕作面積でないとすればそれは無理無い fact19: もしも「その装備は取得し易くておまけに閏だ」ということは誤りならそれは取得し易くない
void -> assump2: 以下のように仮定する。その末孫は卑し; fact14 & assump2 -> int1: その末孫は無理無い; void -> assump1: 以下のように仮定する。その末孫は無理無くない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「その末孫は卑しない」ということは間違いだということはない; [assump1] & int3 -> int4: もしもその末孫が無理無くないとしたらそれは卑しない; int4 -> hypothesis;
この模様編みは無理無くない
fact23 -> int5: 仮に「「この模様編みは無理無い一方で卑しない」ということは偽である」ということは確かだとすれば「無理無くない」ということは成り立つ; fact28 -> int6: もしこの模様編みは色っぽいとしたら「それは無理無いしさらにそれは卑しということはない」ということは成り立たない; fact22 -> int7: もしもその末孫が放映するということはないならばそれは骨っぽくないかあるいはＩＳＰであるということはないかまたは両方ともだ; fact30 -> int8: もし仮にこの内的要因がアニメーション映画だとすると撓まないしまた買い目スタイルでない; fact21 -> int9: もしも「この内的要因はみみっちくない」ということは成り立つならそれはムスクであるかまたは右旋回する; fact26 & fact31 -> int10: その装備は取得し易くない; int10 -> int11: 「取得し易くない」物はある; int11 & fact29 -> int12: 「あのチェンバロ曲は厭わないがみみっちい」ということは成り立たない; fact20 & int12 -> int13: この内的要因はみみっちくない; int9 & int13 -> int14: この内的要因はムスクであるかあるいはそれは右旋回する; fact25 -> int15: 仮に「この内的要因はムスクだ」ということは本当であるとしたらそれはアニメーション映画である; fact24 -> int16: もし仮にこの内的要因が右旋回するとすればそれはアニメーション映画だ; int14 & int15 & int16 -> int17: この内的要因はアニメーション映画だ; int8 & int17 -> int18: この内的要因は撓まないし買い目スタイルでない; int18 -> int19: 「撓まないし更に買い目スタイルだということはない」物はある; int19 & fact33 -> int20: 「あの断裂は放映しない」ということは確かだ; fact27 & int20 -> int21: 「その末孫は放映しない」ということは成り立つ; int7 & int21 -> int22: その末孫は骨っぽくないかまたはそれはＩＳＰでない; fact32 & int22 -> int23: 「この模様編みは色っぽい」ということは本当だ; int6 & int23 -> int24: 「この模様編みは無理無いが卑しない」ということは誤りである; int5 & int24 -> 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: 以下のように仮定する。その末孫は卑し; fact14 & assump2 -> int1: その末孫は無理無い; void -> assump1: 以下のように仮定する。その末孫は無理無くない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「その末孫は卑しない」ということは間違いだということはない; [assump1] & int3 -> int4: もしもその末孫が無理無くないとしたらそれは卑しない; int4 -> hypothesis; __PROVED__
事実1: あの鼻髭はゲストブックである
事実2: その末孫が無理無くないとすれば卑し
事実3: もし仮に何らかのものは取得し易くないならば「あのチェンバロ曲は厭わないがみみっちい」ということは成り立たない
事実4: もし仮に「あるものは無理無いが卑しない」ということは成り立たないとすればそれは無理無くない
事実5: 「このウォンツは卑し」ということは成り立つ
事実6: もしもなにがしかの物が右旋回するとすればアニメーション映画だ
事実7: あの断裂が放映しないとしたらその末孫は放映するということはない
事実8: アニメーション映画は撓まないしその上買い目スタイルでない
事実9: 仮に「撓まないし買い目スタイルでない」物があるとすればあの断裂は放映しない
事実10: 「その装備は取得し易いしそれは閏だ」ということは成り立つということはない
事実11: ムスクはアニメーション映画である
事実12: もしなんらかの物は色っぽいなら「それは無理無い一方で卑しということはない」ということは誤りである
事実13: 仮に何らかの物は放映しないとすれば「それは骨っぽくないかあるいはＩＳＰでない」ということは成り立つ
事実14: もしもその末孫が卑しとしたら無理無い
事実15: 「あのチェンバロ曲は厭うということはないがみみっちい」ということは成り立たないならばこの内的要因はみみっちくない
事実16: 仮にその末孫が骨っぽいということはないかまたはＩＳＰでないかもしくは両方であるとするとこの模様編みは色っぽい
事実17: みみっちくないものはムスクであるか右旋回する
事実18: 仮にその末孫が耕作面積でないとすればそれは無理無い
事実19: もしも「その装備は取得し易くておまけに閏だ」ということは誤りならそれは取得し易くない

仮説: 「もし仮に無理無いということはないとしたら卑しない」物はある
1. 仮定2: 以下のように仮定する。その末孫は卑し
2. 事実14と仮定2から、推論1: "その末孫は無理無い"が導かれる
3. 仮定1: 以下のように仮定する。その末孫は無理無くない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「その末孫は卑しない」ということは間違いだということはない"が導かれる
6. [仮定1]と推論3から、推論4: "もしもその末孫が無理無くないとしたらそれは卑しない"が導かれる
7. 推論4から、仮説が導かれる

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