「この融合細胞は履けるし加えて官能検査である」ということは偽だ
fact1: この四箇月児は愛しないかまたはそれは一般的知識でないかもしくは両方ともである fact2: 仮にこの融合細胞は履けるかあるいは愛しないかあるいはどちらもならそれは一般的知識でない fact3: なにかは思い易いか遅れないかまたは両方だ fact4: 仮になにがしかのものが擬餌針であるかまたはそれが意義深くないとしたら一般的知識でない fact5: もしこの四箇月児が意義深くないとすればそれは擬餌針であるかあるいはそれは後ろめたくないかあるいは両方ともだ fact6: この融合細胞は官能検査でないかまたは履けないかあるいはどちらもならばそれは遅れるということはない fact7: もしも「「検討すか遅れないか両方である」ということは誤っている」ものがあるならばあの営業所等以外は立たす fact8: もしこの融合細胞は官能検査でないならば愛しない fact9: この営業所等以外は警備隊であるし更に忌まわしい fact10: もしもこの四箇月児は意義深くないとすると「この融合細胞は意義深いか思い易いということはないかまたは両方だ」ということは成り立たない fact11: あのマーカーペンが意義深いしその上マイだ fact12: 仮にこの営業所等以外が立たすならこの融合細胞は履ける fact13: 「この四箇月児は酒石酸であるししかも医学的適応だ」ということは正しい fact14: この有毛は立たす fact15: 何かは擬餌針であるかもしくは後ろめたいということはないかあるいは両方ともだとすれば「検討すらない」ということは確かだ fact16: 「「一般的知識であるかあるいは官能検査であるかあるいはどちらもだ」ということは誤っている」ものはある fact17: もしこの四箇月児は検討すということはないなら「あのマーカーペンは検討すか遅れない」ということは本当でない fact18: もしこの四箇月児は後ろめたくないならば「この融合細胞は履けるし官能検査だ」ということは確かでない fact19: もしもこの四箇月児が遅れるということはないならばそれは一般的知識であるかもしくは検討すらないか両方である fact20: この融合細胞は官能検査であるし思い易い fact21: もしもこの四箇月児が愛しないかあるいはそれは一般的知識でないとしたら意義深くない
fact21 & fact1 -> int1: この四箇月児は意義深いということはない; int1 & fact5 -> int2: この四箇月児は擬餌針であるかあるいは後ろめたくないか両方である; fact15 -> int3: もしこの四箇月児が擬餌針であるかまたはそれは後ろめたくないかもしくは両方だとすればそれは検討すらない; int2 & int3 -> int4: この四箇月児は検討すということはない; int4 & fact17 -> int5: 「あのマーカーペンは検討すかまたは遅れないかもしくはどちらもだ」ということは成り立たない; int5 -> int6: 「「検討すかもしくは遅れるということはないかもしくは両方だ」ということは成り立たない」ものはある; int6 & fact7 -> int7: この営業所等以外は立たす; int7 & fact12 -> int8: この融合細胞は履ける; fact20 -> int9: 「この融合細胞は官能検査である」ということは事実だ; int8 & int9 -> hypothesis;
「この融合細胞は履けるしまたそれは官能検査である」ということは成り立たない
$facts$ = fact1: この四箇月児は愛しないかまたはそれは一般的知識でないかもしくは両方ともである fact2: 仮にこの融合細胞は履けるかあるいは愛しないかあるいはどちらもならそれは一般的知識でない fact3: なにかは思い易いか遅れないかまたは両方だ fact4: 仮になにがしかのものが擬餌針であるかまたはそれが意義深くないとしたら一般的知識でない fact5: もしこの四箇月児が意義深くないとすればそれは擬餌針であるかあるいはそれは後ろめたくないかあるいは両方ともだ fact6: この融合細胞は官能検査でないかまたは履けないかあるいはどちらもならばそれは遅れるということはない fact7: もしも「「検討すか遅れないか両方である」ということは誤っている」ものがあるならばあの営業所等以外は立たす fact8: もしこの融合細胞は官能検査でないならば愛しない fact9: この営業所等以外は警備隊であるし更に忌まわしい fact10: もしもこの四箇月児は意義深くないとすると「この融合細胞は意義深いか思い易いということはないかまたは両方だ」ということは成り立たない fact11: あのマーカーペンが意義深いしその上マイだ fact12: 仮にこの営業所等以外が立たすならこの融合細胞は履ける fact13: 「この四箇月児は酒石酸であるししかも医学的適応だ」ということは正しい fact14: この有毛は立たす fact15: 何かは擬餌針であるかもしくは後ろめたいということはないかあるいは両方ともだとすれば「検討すらない」ということは確かだ fact16: 「「一般的知識であるかあるいは官能検査であるかあるいはどちらもだ」ということは誤っている」ものはある fact17: もしこの四箇月児は検討すということはないなら「あのマーカーペンは検討すか遅れない」ということは本当でない fact18: もしこの四箇月児は後ろめたくないならば「この融合細胞は履けるし官能検査だ」ということは確かでない fact19: もしもこの四箇月児が遅れるということはないならばそれは一般的知識であるかもしくは検討すらないか両方である fact20: この融合細胞は官能検査であるし思い易い fact21: もしもこの四箇月児が愛しないかあるいはそれは一般的知識でないとしたら意義深くない ; $hypothesis$ = 「この融合細胞は履けるし加えて官能検査である」ということは偽だ ; $proof$ = 
fact21 & fact1 -> int1: この四箇月児は意義深いということはない; int1 & fact5 -> int2: この四箇月児は擬餌針であるかあるいは後ろめたくないか両方である; fact15 -> int3: もしこの四箇月児が擬餌針であるかまたはそれは後ろめたくないかもしくは両方だとすればそれは検討すらない; int2 & int3 -> int4: この四箇月児は検討すということはない; int4 & fact17 -> int5: 「あのマーカーペンは検討すかまたは遅れないかもしくはどちらもだ」ということは成り立たない; int5 -> int6: 「「検討すかもしくは遅れるということはないかもしくは両方だ」ということは成り立たない」ものはある; int6 & fact7 -> int7: この営業所等以外は立たす; int7 & fact12 -> int8: この融合細胞は履ける; fact20 -> int9: 「この融合細胞は官能検査である」ということは事実だ; int8 & int9 -> hypothesis; __DISPROVED__
事実1: この四箇月児は愛しないかまたはそれは一般的知識でないかもしくは両方ともである
事実2: 仮にこの融合細胞は履けるかあるいは愛しないかあるいはどちらもならそれは一般的知識でない
事実3: なにかは思い易いか遅れないかまたは両方だ
事実4: 仮になにがしかのものが擬餌針であるかまたはそれが意義深くないとしたら一般的知識でない
事実5: もしこの四箇月児が意義深くないとすればそれは擬餌針であるかあるいはそれは後ろめたくないかあるいは両方ともだ
事実6: この融合細胞は官能検査でないかまたは履けないかあるいはどちらもならばそれは遅れるということはない
事実7: もしも「「検討すか遅れないか両方である」ということは誤っている」ものがあるならばあの営業所等以外は立たす
事実8: もしこの融合細胞は官能検査でないならば愛しない
事実9: この営業所等以外は警備隊であるし更に忌まわしい
事実10: もしもこの四箇月児は意義深くないとすると「この融合細胞は意義深いか思い易いということはないかまたは両方だ」ということは成り立たない
事実11: あのマーカーペンが意義深いしその上マイだ
事実12: 仮にこの営業所等以外が立たすならこの融合細胞は履ける
事実13: 「この四箇月児は酒石酸であるししかも医学的適応だ」ということは正しい
事実14: この有毛は立たす
事実15: 何かは擬餌針であるかもしくは後ろめたいということはないかあるいは両方ともだとすれば「検討すらない」ということは確かだ
事実16: 「「一般的知識であるかあるいは官能検査であるかあるいはどちらもだ」ということは誤っている」ものはある
事実17: もしこの四箇月児は検討すということはないなら「あのマーカーペンは検討すか遅れない」ということは本当でない
事実18: もしこの四箇月児は後ろめたくないならば「この融合細胞は履けるし官能検査だ」ということは確かでない
事実19: もしもこの四箇月児が遅れるということはないならばそれは一般的知識であるかもしくは検討すらないか両方である
事実20: この融合細胞は官能検査であるし思い易い
事実21: もしもこの四箇月児が愛しないかあるいはそれは一般的知識でないとしたら意義深くない

仮説: 「この融合細胞は履けるし加えて官能検査である」ということは偽だ
1. 事実21と事実1から、推論1: "この四箇月児は意義深いということはない"が導かれる
2. 推論1と事実5から、推論2: "この四箇月児は擬餌針であるかあるいは後ろめたくないか両方である"が導かれる
3. 事実15から、推論3: "もしこの四箇月児が擬餌針であるかまたはそれは後ろめたくないかもしくは両方だとすればそれは検討すらない"が導かれる
4. 推論2と推論3から、推論4: "この四箇月児は検討すということはない"が導かれる
5. 推論4と事実17から、推論5: "「あのマーカーペンは検討すかまたは遅れないかもしくはどちらもだ」ということは成り立たない"が導かれる
6. 推論5から、推論6: "「「検討すかもしくは遅れるということはないかもしくは両方だ」ということは成り立たない」ものはある"が導かれる
7. 推論6と事実7から、推論7: "この営業所等以外は立たす"が導かれる
8. 推論7と事実12から、推論8: "この融合細胞は履ける"が導かれる
9. 事実20から、推論9: "「この融合細胞は官能検査である」ということは事実だ"が導かれる
10. 推論8と推論9から、仮説が否定される

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