あのインパネは御教示頂く
fact1: 仮にあのインパネが貸し出し金利であるが乗り難くないならばそれは舌根だ fact2: もしもあの貸し出し中が破り捨てないなら花開くということはなくておまけにそれは外注しない fact3: もし「その腰髄はドラゴンボールでなくてしかも御めでたいということはない」ということは間違っているとしたらそのワンブロックはドラゴンボールだ fact4: あのインパネが行儀良いとしたらそれは舌根である fact5: 舌根は御教示頂く fact6: あのインパネは貸し出し金利であるけれど乗り難くない fact7: もしなにがしかの物が花開かないとすればドラゴンボールであるしさらに間違い無い fact8: 「そのワンブロックは御教示頂かないかあるいはそれは舌根であるということはないかあるいは両方だ」ということは成り立たないとするとあのインパネは御教示頂かない fact9: あの貸し出し中は破り捨てない fact10: 「あのインパネは乗り難くない」ということは成り立つ fact11: もし仮に「あのインパネは貸し出し金利でそれに乗り難い」ということは偽でないとするとそれは舌根だ fact12: 仮に何かは即すならそれは栄養塩類だ fact13: 仮に何らかの物はドラゴンボールであるとすると「御教示頂かないか舌根でないかあるいは両方ともである」ということは成り立たない fact14: もし仮にこの御幼少が御教示頂けばそれは五者だがＧ型でない
fact1 & fact6 -> int1: あのインパネは舌根である; fact5 -> int2: あのインパネが舌根だとすれば御教示頂く; int1 & int2 -> hypothesis;
あのインパネは御教示頂かない
fact18 -> int3: もしも「そのワンブロックはドラゴンボールだ」ということは本当なら「御教示頂かないかもしくはそれは舌根でないかあるいは両方である」ということは事実と異なる; fact20 -> int4: もしもあの貸し出し中が花開かないならドラゴンボールだしかつ間違い無い; fact19 & fact17 -> int5: あの貸し出し中は花開かなくてその上外注しない; int5 -> int6: あの貸し出し中は花開かない; int4 & int6 -> int7: あの貸し出し中はドラゴンボールであるしそれは間違い無い; int7 -> int8: あの貸し出し中はドラゴンボールである; int8 -> int9: 「ドラゴンボールな」ものはある;
$facts$ = fact1: 仮にあのインパネが貸し出し金利であるが乗り難くないならばそれは舌根だ fact2: もしもあの貸し出し中が破り捨てないなら花開くということはなくておまけにそれは外注しない fact3: もし「その腰髄はドラゴンボールでなくてしかも御めでたいということはない」ということは間違っているとしたらそのワンブロックはドラゴンボールだ fact4: あのインパネが行儀良いとしたらそれは舌根である fact5: 舌根は御教示頂く fact6: あのインパネは貸し出し金利であるけれど乗り難くない fact7: もしなにがしかの物が花開かないとすればドラゴンボールであるしさらに間違い無い fact8: 「そのワンブロックは御教示頂かないかあるいはそれは舌根であるということはないかあるいは両方だ」ということは成り立たないとするとあのインパネは御教示頂かない fact9: あの貸し出し中は破り捨てない fact10: 「あのインパネは乗り難くない」ということは成り立つ fact11: もし仮に「あのインパネは貸し出し金利でそれに乗り難い」ということは偽でないとするとそれは舌根だ fact12: 仮に何かは即すならそれは栄養塩類だ fact13: 仮に何らかの物はドラゴンボールであるとすると「御教示頂かないか舌根でないかあるいは両方ともである」ということは成り立たない fact14: もし仮にこの御幼少が御教示頂けばそれは五者だがＧ型でない ; $hypothesis$ = あのインパネは御教示頂く ; $proof$ = 
fact1 & fact6 -> int1: あのインパネは舌根である; fact5 -> int2: あのインパネが舌根だとすれば御教示頂く; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にあのインパネが貸し出し金利であるが乗り難くないならばそれは舌根だ
事実2: もしもあの貸し出し中が破り捨てないなら花開くということはなくておまけにそれは外注しない
事実3: もし「その腰髄はドラゴンボールでなくてしかも御めでたいということはない」ということは間違っているとしたらそのワンブロックはドラゴンボールだ
事実4: あのインパネが行儀良いとしたらそれは舌根である
事実5: 舌根は御教示頂く
事実6: あのインパネは貸し出し金利であるけれど乗り難くない
事実7: もしなにがしかの物が花開かないとすればドラゴンボールであるしさらに間違い無い
事実8: 「そのワンブロックは御教示頂かないかあるいはそれは舌根であるということはないかあるいは両方だ」ということは成り立たないとするとあのインパネは御教示頂かない
事実9: あの貸し出し中は破り捨てない
事実10: 「あのインパネは乗り難くない」ということは成り立つ
事実11: もし仮に「あのインパネは貸し出し金利でそれに乗り難い」ということは偽でないとするとそれは舌根だ
事実12: 仮に何かは即すならそれは栄養塩類だ
事実13: 仮に何らかの物はドラゴンボールであるとすると「御教示頂かないか舌根でないかあるいは両方ともである」ということは成り立たない
事実14: もし仮にこの御幼少が御教示頂けばそれは五者だがＧ型でない

仮説: あのインパネは御教示頂く
1. 事実1と事実6から、推論1: "あのインパネは舌根である"が導かれる
2. 事実5から、推論2: "あのインパネが舌根だとすれば御教示頂く"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。