「その卵母細胞表面は充満だ」ということは成り立つ
fact1: その三干子は二十四孝であるということはない fact2: もし仮に「あの決算日現在は取っ付き難くないけど心服する」ということは嘘であるとすると白一色である fact3: もしなにがしかの物は突き付けないならば「甘ったるいかあるいはそれは二十四孝であるか両方ともである」ということは誤りである fact4: もし仮にあの決算日現在が取っ付き難くないけど心服するとしたらその卵母細胞表面は充満でない fact5: 仮にこの道幅が棚上げするならそれは甘ったるい fact6: もし「なんらかのものは涙ぐましい」ということは真実であるならば指弾する fact7: 仮に何らかのものが拝読だとすると突き付ける fact8: もしこの道幅が甘ったるいとしたらその三干子は二十四孝だ fact9: あの決算日現在は拝読である fact10: とある物は州裁判所だということはない fact11: 「あの決算日現在は白一色だ」ということは本当であるとすればこの道幅は棚上げする fact12: もし仮に「この道幅は甘ったるくない一方で充満である」ということは誤っているとしたらそれは白一色だ fact13: その金利負担は棚上げするということはない fact14: もしも「なんらかの物は甘ったるいかまたは二十四孝であるかあるいはどちらもである」ということは成り立たないとすると白一色でない fact15: 仮になにがしかの物が白一色でないとすればそれは充満でそれは棚上げする fact16: 仮にあの決算日現在が突き付けるし加えてそれが指弾するとすればその卵母細胞表面は突き付けるということはない
void -> assump1: 以下のように仮定する。「あの決算日現在は取っ付き難くない一方で心服する」ということは本当でない; fact2 & assump1 -> int1: あの決算日現在は白一色である; int1 & fact11 -> int2: この道幅は棚上げする; int2 & fact5 -> int3: 「この道幅は甘ったるくない」ということは成り立たない; int3 & fact8 -> int4: その三干子は二十四孝である; int4 & fact1 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの決算日現在は取っ付き難いということはない一方で心服する; int6 & fact4 -> hypothesis;
その卵母細胞表面は充満である
fact17 -> int7: 仮にその卵母細胞表面が白一色でないとしたらそれが充満だしさらにそれは棚上げする; fact20 -> int8: 「その卵母細胞表面は甘ったるいかもしくはそれは二十四孝であるか両方ともだ」ということは成り立たないとすればそれは白一色でない; fact19 -> int9: 仮にその卵母細胞表面は突き付けないとすれば「それは甘ったるいかまたは二十四孝であるか両方ともである」ということは偽である; fact21 -> int10: 仮にあの決算日現在は拝読であるならば突き付ける; int10 & fact18 -> int11: あの決算日現在は突き付ける; fact23 -> int12: もし仮にあの決算日現在が涙ぐましいならばそれは指弾する;
$facts$ = fact1: その三干子は二十四孝であるということはない fact2: もし仮に「あの決算日現在は取っ付き難くないけど心服する」ということは嘘であるとすると白一色である fact3: もしなにがしかの物は突き付けないならば「甘ったるいかあるいはそれは二十四孝であるか両方ともである」ということは誤りである fact4: もし仮にあの決算日現在が取っ付き難くないけど心服するとしたらその卵母細胞表面は充満でない fact5: 仮にこの道幅が棚上げするならそれは甘ったるい fact6: もし「なんらかのものは涙ぐましい」ということは真実であるならば指弾する fact7: 仮に何らかのものが拝読だとすると突き付ける fact8: もしこの道幅が甘ったるいとしたらその三干子は二十四孝だ fact9: あの決算日現在は拝読である fact10: とある物は州裁判所だということはない fact11: 「あの決算日現在は白一色だ」ということは本当であるとすればこの道幅は棚上げする fact12: もし仮に「この道幅は甘ったるくない一方で充満である」ということは誤っているとしたらそれは白一色だ fact13: その金利負担は棚上げするということはない fact14: もしも「なんらかの物は甘ったるいかまたは二十四孝であるかあるいはどちらもである」ということは成り立たないとすると白一色でない fact15: 仮になにがしかの物が白一色でないとすればそれは充満でそれは棚上げする fact16: 仮にあの決算日現在が突き付けるし加えてそれが指弾するとすればその卵母細胞表面は突き付けるということはない ; $hypothesis$ = 「その卵母細胞表面は充満だ」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの決算日現在は取っ付き難くない一方で心服する」ということは本当でない; fact2 & assump1 -> int1: あの決算日現在は白一色である; int1 & fact11 -> int2: この道幅は棚上げする; int2 & fact5 -> int3: 「この道幅は甘ったるくない」ということは成り立たない; int3 & fact8 -> int4: その三干子は二十四孝である; int4 & fact1 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの決算日現在は取っ付き難いということはない一方で心服する; int6 & fact4 -> hypothesis; __DISPROVED__
事実1: その三干子は二十四孝であるということはない
事実2: もし仮に「あの決算日現在は取っ付き難くないけど心服する」ということは嘘であるとすると白一色である
事実3: もしなにがしかの物は突き付けないならば「甘ったるいかあるいはそれは二十四孝であるか両方ともである」ということは誤りである
事実4: もし仮にあの決算日現在が取っ付き難くないけど心服するとしたらその卵母細胞表面は充満でない
事実5: 仮にこの道幅が棚上げするならそれは甘ったるい
事実6: もし「なんらかのものは涙ぐましい」ということは真実であるならば指弾する
事実7: 仮に何らかのものが拝読だとすると突き付ける
事実8: もしこの道幅が甘ったるいとしたらその三干子は二十四孝だ
事実9: あの決算日現在は拝読である
事実10: とある物は州裁判所だということはない
事実11: 「あの決算日現在は白一色だ」ということは本当であるとすればこの道幅は棚上げする
事実12: もし仮に「この道幅は甘ったるくない一方で充満である」ということは誤っているとしたらそれは白一色だ
事実13: その金利負担は棚上げするということはない
事実14: もしも「なんらかの物は甘ったるいかまたは二十四孝であるかあるいはどちらもである」ということは成り立たないとすると白一色でない
事実15: 仮になにがしかの物が白一色でないとすればそれは充満でそれは棚上げする
事実16: 仮にあの決算日現在が突き付けるし加えてそれが指弾するとすればその卵母細胞表面は突き付けるということはない

仮説: 「その卵母細胞表面は充満だ」ということは成り立つ
1. 仮定1: 以下のように仮定する。「あの決算日現在は取っ付き難くない一方で心服する」ということは本当でない
2. 事実2と仮定1から、推論1: "あの決算日現在は白一色である"が導かれる
3. 推論1と事実11から、推論2: "この道幅は棚上げする"が導かれる
4. 推論2と事実5から、推論3: "「この道幅は甘ったるくない」ということは成り立たない"が導かれる
5. 推論3と事実8から、推論4: "その三干子は二十四孝である"が導かれる
6. 推論4と事実1から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの決算日現在は取っ付き難いということはない一方で心服する"が導かれる
8. 推論6と事実4から、仮説が否定される

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