このグループ単位は目覚ましくない
fact1: もしもその全領域がいがらっぽくないならばそのカボチャクリームは用足ししないかまたはいがらっぽい fact2: その全領域が果物類であるということはないならばあの正当行為は用足ししない一方で繰り越す fact3: もしもなにかは軟骨基質だけどいがらっぽいということはないならばそれは農工商だ fact4: 「その正当行為は用足ししないししかも拒絶しない」ということは確かでない fact5: なにがしかのものは軟骨基質だ fact6: もしも「その全領域は繰り越す」ということは成り立つとすればこのグループ単位は繰り越さない fact7: どれもこれもは繰り越すかそれは果物類でないかまたは両方ともである fact8: もし仮にあるものは用足ししないとしたら「軟骨基質であるということはないかまたはそれはいがらっぽくないかもしくはどちらもだ」ということは成り立たない fact9: あるものは果物類であるならば「それは目覚ましい」ということは偽でない fact10: そのカボチャクリームはいがらっぽいかもしくは用足しするかまたはどちらもである fact11: その正当行為は軟骨基質である fact12: もしも「農工商で軟骨基質である」ものがあるとすればその全領域は用足ししない fact13: その正当行為は農工商だ fact14: もしもその全領域が用足ししないならばそのカボチャクリームはいがらっぽいということはないかまたは用足しする fact15: 仮にこの伊里野は繰り越せば「このグループ単位は果物類である」ということは成り立つ fact16: もし仮にそのカボチャクリームがいがらっぽいということはないかあるいは用足しするかまたは両方ともであるならばこの伊里野は繰り越す fact17: もし仮に「その正当行為は軟骨基質でないかもしくはいがらっぽくない」ということは成り立つということはないとするとこのグループ単位は軟骨基質でない
fact13 & fact11 -> int1: その正当行為は農工商であるししかも軟骨基質だ; int1 -> int2: 何らかのものは農工商だしそれに軟骨基質だ; int2 & fact12 -> int3: その全領域は用足ししない; int3 & fact14 -> int4: そのカボチャクリームはいがらっぽくないかまたは用足しする; int4 & fact16 -> int5: この伊里野は繰り越す; int5 & fact15 -> int6: このグループ単位は果物類だ; fact9 -> int7: もしも「このグループ単位は果物類だ」ということは本当であるとしたらそれは目覚ましい; int6 & int7 -> hypothesis;
このグループ単位が農工商だしそれは拒絶する
fact20 -> int8: このグループ単位が軟骨基質だがしかしそれがいがらっぽくないとすれば農工商だ; fact18 -> int9: その全領域は繰り越すかあるいは果物類でない; fact21 -> int10: 「「用足ししないしかつ拒絶するということはない」ということは誤りである」ものはある;
$facts$ = fact1: もしもその全領域がいがらっぽくないならばそのカボチャクリームは用足ししないかまたはいがらっぽい fact2: その全領域が果物類であるということはないならばあの正当行為は用足ししない一方で繰り越す fact3: もしもなにかは軟骨基質だけどいがらっぽいということはないならばそれは農工商だ fact4: 「その正当行為は用足ししないししかも拒絶しない」ということは確かでない fact5: なにがしかのものは軟骨基質だ fact6: もしも「その全領域は繰り越す」ということは成り立つとすればこのグループ単位は繰り越さない fact7: どれもこれもは繰り越すかそれは果物類でないかまたは両方ともである fact8: もし仮にあるものは用足ししないとしたら「軟骨基質であるということはないかまたはそれはいがらっぽくないかもしくはどちらもだ」ということは成り立たない fact9: あるものは果物類であるならば「それは目覚ましい」ということは偽でない fact10: そのカボチャクリームはいがらっぽいかもしくは用足しするかまたはどちらもである fact11: その正当行為は軟骨基質である fact12: もしも「農工商で軟骨基質である」ものがあるとすればその全領域は用足ししない fact13: その正当行為は農工商だ fact14: もしもその全領域が用足ししないならばそのカボチャクリームはいがらっぽいということはないかまたは用足しする fact15: 仮にこの伊里野は繰り越せば「このグループ単位は果物類である」ということは成り立つ fact16: もし仮にそのカボチャクリームがいがらっぽいということはないかあるいは用足しするかまたは両方ともであるならばこの伊里野は繰り越す fact17: もし仮に「その正当行為は軟骨基質でないかもしくはいがらっぽくない」ということは成り立つということはないとするとこのグループ単位は軟骨基質でない ; $hypothesis$ = このグループ単位は目覚ましくない ; $proof$ = 
fact13 & fact11 -> int1: その正当行為は農工商であるししかも軟骨基質だ; int1 -> int2: 何らかのものは農工商だしそれに軟骨基質だ; int2 & fact12 -> int3: その全領域は用足ししない; int3 & fact14 -> int4: そのカボチャクリームはいがらっぽくないかまたは用足しする; int4 & fact16 -> int5: この伊里野は繰り越す; int5 & fact15 -> int6: このグループ単位は果物類だ; fact9 -> int7: もしも「このグループ単位は果物類だ」ということは本当であるとしたらそれは目覚ましい; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もしもその全領域がいがらっぽくないならばそのカボチャクリームは用足ししないかまたはいがらっぽい
事実2: その全領域が果物類であるということはないならばあの正当行為は用足ししない一方で繰り越す
事実3: もしもなにかは軟骨基質だけどいがらっぽいということはないならばそれは農工商だ
事実4: 「その正当行為は用足ししないししかも拒絶しない」ということは確かでない
事実5: なにがしかのものは軟骨基質だ
事実6: もしも「その全領域は繰り越す」ということは成り立つとすればこのグループ単位は繰り越さない
事実7: どれもこれもは繰り越すかそれは果物類でないかまたは両方ともである
事実8: もし仮にあるものは用足ししないとしたら「軟骨基質であるということはないかまたはそれはいがらっぽくないかもしくはどちらもだ」ということは成り立たない
事実9: あるものは果物類であるならば「それは目覚ましい」ということは偽でない
事実10: そのカボチャクリームはいがらっぽいかもしくは用足しするかまたはどちらもである
事実11: その正当行為は軟骨基質である
事実12: もしも「農工商で軟骨基質である」ものがあるとすればその全領域は用足ししない
事実13: その正当行為は農工商だ
事実14: もしもその全領域が用足ししないならばそのカボチャクリームはいがらっぽいということはないかまたは用足しする
事実15: 仮にこの伊里野は繰り越せば「このグループ単位は果物類である」ということは成り立つ
事実16: もし仮にそのカボチャクリームがいがらっぽいということはないかあるいは用足しするかまたは両方ともであるならばこの伊里野は繰り越す
事実17: もし仮に「その正当行為は軟骨基質でないかもしくはいがらっぽくない」ということは成り立つということはないとするとこのグループ単位は軟骨基質でない

仮説: このグループ単位は目覚ましくない
1. 事実13と事実11から、推論1: "その正当行為は農工商であるししかも軟骨基質だ"が導かれる
2. 推論1から、推論2: "何らかのものは農工商だしそれに軟骨基質だ"が導かれる
3. 推論2と事実12から、推論3: "その全領域は用足ししない"が導かれる
4. 推論3と事実14から、推論4: "そのカボチャクリームはいがらっぽくないかまたは用足しする"が導かれる
5. 推論4と事実16から、推論5: "この伊里野は繰り越す"が導かれる
6. 推論5と事実15から、推論6: "このグループ単位は果物類だ"が導かれる
7. 事実9から、推論7: "もしも「このグループ単位は果物類だ」ということは本当であるとしたらそれは目覚ましい"が導かれる
8. 推論6と推論7から、仮説が否定される

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