「仮にあの財政力が会話らしいとするとあのリンパ組織は掏る」ということは偽だ
fact1: この下部大腸は跳ね返すし水分ストレスである fact2: 仮にこの下部大腸が跳ね返すならそれは動き易いということはなくておまけにそれは合意する fact3: 仮に何らかの物は国宝でないならばそれは会話らしいしまた掏る fact4: 「仮にあの財政力が国宝であるとするとあのリンパ組織は掏る」ということは本当である fact5: 仮にあの財政力が会話らしいとすれば国宝である fact6: 仮に「あのリンパ組織は会話らしい」ということは事実であるとしたらあの財政力は掏る fact7: 仮になんらかの物は動き易くないなら「それは決別しないかもしくはそれは聞き取り難くないかどちらもだ」ということは確かでない fact8: もし仮にあのリンパ組織が国宝であるならあの財政力は掏る fact9: もし「なんらかの物は決別しないかあるいは聞き取り難くないかもしくは両方ともである」ということは偽であるとするとそれは国宝でない
void -> assump1: 以下のように仮定する。あの財政力は会話らしい; fact5 & assump1 -> int1: あの財政力は国宝である; int1 & fact4 -> int2: 「あのリンパ組織は掏る」ということは誤っていない; [assump1] & int2 -> hypothesis;
この下部大腸は掏る
fact12 -> int3: この下部大腸が国宝であるということはないならそれが会話らしいしその上それは掏る; fact14 -> int4: 仮に「この下部大腸は決別しないかもしくは聞き取り難いということはないか両方である」ということは成り立たないとすれば国宝でない; fact13 -> int5: この下部大腸は動き易くないとすると「決別しないかあるいは聞き取り難くない」ということは成り立たない; fact10 -> int6: この下部大腸は跳ね返す; fact11 & int6 -> int7: この下部大腸は動き易いということはないがしかし合意する; int7 -> int8: この下部大腸は動き易くない; int5 & int8 -> int9: 「この下部大腸は決別しないかもしくは聞き取り難くないかもしくは両方である」ということは誤りである; int4 & int9 -> int10: この下部大腸は国宝でない; int3 & int10 -> int11: この下部大腸が会話らしいしその上掏る; int11 -> hypothesis;
$facts$ = fact1: この下部大腸は跳ね返すし水分ストレスである fact2: 仮にこの下部大腸が跳ね返すならそれは動き易いということはなくておまけにそれは合意する fact3: 仮に何らかの物は国宝でないならばそれは会話らしいしまた掏る fact4: 「仮にあの財政力が国宝であるとするとあのリンパ組織は掏る」ということは本当である fact5: 仮にあの財政力が会話らしいとすれば国宝である fact6: 仮に「あのリンパ組織は会話らしい」ということは事実であるとしたらあの財政力は掏る fact7: 仮になんらかの物は動き易くないなら「それは決別しないかもしくはそれは聞き取り難くないかどちらもだ」ということは確かでない fact8: もし仮にあのリンパ組織が国宝であるならあの財政力は掏る fact9: もし「なんらかの物は決別しないかあるいは聞き取り難くないかもしくは両方ともである」ということは偽であるとするとそれは国宝でない ; $hypothesis$ = 「仮にあの財政力が会話らしいとするとあのリンパ組織は掏る」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの財政力は会話らしい; fact5 & assump1 -> int1: あの財政力は国宝である; int1 & fact4 -> int2: 「あのリンパ組織は掏る」ということは誤っていない; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: この下部大腸は跳ね返すし水分ストレスである
事実2: 仮にこの下部大腸が跳ね返すならそれは動き易いということはなくておまけにそれは合意する
事実3: 仮に何らかの物は国宝でないならばそれは会話らしいしまた掏る
事実4: 「仮にあの財政力が国宝であるとするとあのリンパ組織は掏る」ということは本当である
事実5: 仮にあの財政力が会話らしいとすれば国宝である
事実6: 仮に「あのリンパ組織は会話らしい」ということは事実であるとしたらあの財政力は掏る
事実7: 仮になんらかの物は動き易くないなら「それは決別しないかもしくはそれは聞き取り難くないかどちらもだ」ということは確かでない
事実8: もし仮にあのリンパ組織が国宝であるならあの財政力は掏る
事実9: もし「なんらかの物は決別しないかあるいは聞き取り難くないかもしくは両方ともである」ということは偽であるとするとそれは国宝でない

仮説: 「仮にあの財政力が会話らしいとするとあのリンパ組織は掏る」ということは偽だ
1. 仮定1: 以下のように仮定する。あの財政力は会話らしい
2. 事実5と仮定1から、推論1: "あの財政力は国宝である"が導かれる
3. 推論1と事実4から、推論2: "「あのリンパ組織は掏る」ということは誤っていない"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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