あの事自体は滞り易い
fact1: もし仮に「この黒貂は入山するかあるいは際限無いかまたは両方ともだ」ということは誤っているとすればあの事自体は入山しない fact2: もしあの事自体は入山しないなら「離別するしそれは厳い」ということは事実だ fact3: もし仮にこの加工能力が滞り易くないとするとあの事自体は滞り易い fact4: もし「何らかのものは若やぐがしかし細胞性胞胚でない」ということは偽であるとすれば滞り易いということはない fact5: 「この黒貂は入山するかあるいは際限無い」ということは成り立たない fact6: 仮に「細胞性胞胚で若やがない」ものがあるとすればあの加工能力は可笑しい fact7: もしこの加工能力が可笑しいとしたらあの事自体は雌カンガルーだ fact8: もし仮にあるものがＪ社でないとすればそれは滞り易くないしウクレレであるということはない fact9: 「細胞性胞胚だけれど若やがない」物はある fact10: もし仮にある物は雌カンガルーだしそれにＪ社であるならそれは離別しない
fact9 & fact6 -> int1: この加工能力は可笑しい; int1 & fact7 -> int2: あの事自体は雌カンガルーである; void -> assump1: 以下のように仮定する。あの事自体はＪ社である; int2 & assump1 -> int3: あの事自体は雌カンガルーであるしおまけにＪ社である; fact10 -> int4: 仮にあの事自体は雌カンガルーであるしまたＪ社だとすると離別しない; int3 & int4 -> int5: あの事自体は離別しない; fact5 & fact1 -> int6: あの事自体は入山しない; int6 & fact2 -> int7: あの事自体が離別するしその上厳い; int7 -> int8: あの事自体は離別する; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの事自体はＪ社でない; fact8 -> int11: もしあの事自体がＪ社でないならばそれは滞り易いということはなくてウクレレだということはない; int10 & int11 -> int12: あの事自体は滞り易くなくて更にそれはウクレレでない; int12 -> hypothesis;
あの事自体は滞り易い
fact12 -> int13: もし仮に「「この加工能力は若やぐ一方で細胞性胞胚でない」ということは本当でない」ということは成り立つとしたらそれは滞り易いということはない;
$facts$ = fact1: もし仮に「この黒貂は入山するかあるいは際限無いかまたは両方ともだ」ということは誤っているとすればあの事自体は入山しない fact2: もしあの事自体は入山しないなら「離別するしそれは厳い」ということは事実だ fact3: もし仮にこの加工能力が滞り易くないとするとあの事自体は滞り易い fact4: もし「何らかのものは若やぐがしかし細胞性胞胚でない」ということは偽であるとすれば滞り易いということはない fact5: 「この黒貂は入山するかあるいは際限無い」ということは成り立たない fact6: 仮に「細胞性胞胚で若やがない」ものがあるとすればあの加工能力は可笑しい fact7: もしこの加工能力が可笑しいとしたらあの事自体は雌カンガルーだ fact8: もし仮にあるものがＪ社でないとすればそれは滞り易くないしウクレレであるということはない fact9: 「細胞性胞胚だけれど若やがない」物はある fact10: もし仮にある物は雌カンガルーだしそれにＪ社であるならそれは離別しない ; $hypothesis$ = あの事自体は滞り易い ; $proof$ = 
fact9 & fact6 -> int1: この加工能力は可笑しい; int1 & fact7 -> int2: あの事自体は雌カンガルーである; void -> assump1: 以下のように仮定する。あの事自体はＪ社である; int2 & assump1 -> int3: あの事自体は雌カンガルーであるしおまけにＪ社である; fact10 -> int4: 仮にあの事自体は雌カンガルーであるしまたＪ社だとすると離別しない; int3 & int4 -> int5: あの事自体は離別しない; fact5 & fact1 -> int6: あの事自体は入山しない; int6 & fact2 -> int7: あの事自体が離別するしその上厳い; int7 -> int8: あの事自体は離別する; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: あの事自体はＪ社でない; fact8 -> int11: もしあの事自体がＪ社でないならばそれは滞り易いということはなくてウクレレだということはない; int10 & int11 -> int12: あの事自体は滞り易くなくて更にそれはウクレレでない; int12 -> hypothesis; __DISPROVED__
事実1: もし仮に「この黒貂は入山するかあるいは際限無いかまたは両方ともだ」ということは誤っているとすればあの事自体は入山しない
事実2: もしあの事自体は入山しないなら「離別するしそれは厳い」ということは事実だ
事実3: もし仮にこの加工能力が滞り易くないとするとあの事自体は滞り易い
事実4: もし「何らかのものは若やぐがしかし細胞性胞胚でない」ということは偽であるとすれば滞り易いということはない
事実5: 「この黒貂は入山するかあるいは際限無い」ということは成り立たない
事実6: 仮に「細胞性胞胚で若やがない」ものがあるとすればあの加工能力は可笑しい
事実7: もしこの加工能力が可笑しいとしたらあの事自体は雌カンガルーだ
事実8: もし仮にあるものがＪ社でないとすればそれは滞り易くないしウクレレであるということはない
事実9: 「細胞性胞胚だけれど若やがない」物はある
事実10: もし仮にある物は雌カンガルーだしそれにＪ社であるならそれは離別しない

仮説: あの事自体は滞り易い
1. 事実9と事実6から、推論1: "この加工能力は可笑しい"が導かれる
2. 推論1と事実7から、推論2: "あの事自体は雌カンガルーである"が導かれる
3. 仮定1: 以下のように仮定する。あの事自体はＪ社である
4. 推論2と仮定1から、推論3: "あの事自体は雌カンガルーであるしおまけにＪ社である"が導かれる
5. 事実10から、推論4: "仮にあの事自体は雌カンガルーであるしまたＪ社だとすると離別しない"が導かれる
6. 推論3と推論4から、推論5: "あの事自体は離別しない"が導かれる
7. 事実5と事実1から、推論6: "あの事自体は入山しない"が導かれる
8. 推論6と事実2から、推論7: "あの事自体が離別するしその上厳い"が導かれる
9. 推論7から、推論8: "あの事自体は離別する"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "あの事自体はＪ社でない"が導かれる
12. 事実8から、推論11: "もしあの事自体がＪ社でないならばそれは滞り易いということはなくてウクレレだということはない"が導かれる
13. 推論10と推論11から、推論12: "あの事自体は滞り易くなくて更にそれはウクレレでない"が導かれる
14. 推論12から、仮説が否定される

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