この諸科学は際しない
fact1: もしこの長期固定が米国ＮＳＡでないとするとこの名水は手強くない物で短い fact2: 仮にこの大名屋敷が解し難くないし更にとろ臭くないとしたらこの名水は説明し難い fact3: この名水が脳神経であるということはないとするとこの諸科学は際するということはない fact4: もしある物が管理支配しない一方で説明し難いとすれば際する fact5: もしも一本が入坑するとすると決め難くない fact6: もし仮になんらかの物は際するかもしくは説明し難いかもしくはどちらもなら「管理支配しない」ということは真実である fact7: もしこの大名屋敷が解し難いということはないがとろ臭いならこの名水は説明し難い fact8: この大名屋敷は解し難いか説明し難いか両方である fact9: もしもなんらかのものが脳神経だということはないとすれば管理支配しないしそれは説明し難い fact10: もしもこの大名屋敷が短くて脳神経であるならばこの諸科学は脳神経でない fact11: 決め難くない物は茶系であるとしたら脳神経だ fact12: 「この大名屋敷は解し難くないしとろ臭くない」ということは正しい fact13: もし仮にこの名水が手強いということはない一方で短いならばあの大名屋敷は短い fact14: もしも「ある物は管理支配する」ということは本当であるとするとそれは脳神経でない fact15: もしもこの名水がとろ臭いかあるいは際するかまたはどちらもならそれは管理支配しない fact16: もしこの名水が管理支配するとしたらそれは脳神経でない fact17: この大名屋敷はとろ臭くない fact18: この二号機は説明し難い fact19: この諸科学が脳神経でないならこの名水は際しない fact20: この長期固定は米国ＮＳＡだということはない fact21: もしある物が説明し難いかまたはそれは管理支配するかまたは両方ともならば脳神経であるということはない fact22: この大名屋敷は一本であるし入坑する fact23: この諸科学はとろ臭くない
fact2 & fact12 -> int1: 「この名水は説明し難い」ということは正しい; int1 -> int2: この名水は説明し難いかもしくは管理支配するかもしくは両方ともである; fact21 -> int3: 仮にこの名水は説明し難いかもしくは管理支配すればそれは脳神経でない; int2 & int3 -> int4: この名水は脳神経でない; int4 & fact3 -> hypothesis;
この諸科学は際する
fact24 -> int5: もし仮にこの諸科学が管理支配しないけど説明し難いならば「それは際する」ということは真実だ; fact31 -> int6: もし仮に「この諸科学は脳神経である」ということは誤っているとすれば管理支配しないし更にそれは説明し難い; fact30 & fact29 -> int7: この名水は手強くないがしかし短い; fact27 & int7 -> int8: この大名屋敷は短い; fact28 -> int9: もしもこの大名屋敷が決め難いということはないがそれは茶系であるとしたらそれは脳神経である; fact25 -> int10: もし仮にこの大名屋敷が一本であるし更にそれは入坑するなら「それは決め難くない」ということは正しい; int10 & fact32 -> int11: この大名屋敷は決め難くない;
$facts$ = fact1: もしこの長期固定が米国ＮＳＡでないとするとこの名水は手強くない物で短い fact2: 仮にこの大名屋敷が解し難くないし更にとろ臭くないとしたらこの名水は説明し難い fact3: この名水が脳神経であるということはないとするとこの諸科学は際するということはない fact4: もしある物が管理支配しない一方で説明し難いとすれば際する fact5: もしも一本が入坑するとすると決め難くない fact6: もし仮になんらかの物は際するかもしくは説明し難いかもしくはどちらもなら「管理支配しない」ということは真実である fact7: もしこの大名屋敷が解し難いということはないがとろ臭いならこの名水は説明し難い fact8: この大名屋敷は解し難いか説明し難いか両方である fact9: もしもなんらかのものが脳神経だということはないとすれば管理支配しないしそれは説明し難い fact10: もしもこの大名屋敷が短くて脳神経であるならばこの諸科学は脳神経でない fact11: 決め難くない物は茶系であるとしたら脳神経だ fact12: 「この大名屋敷は解し難くないしとろ臭くない」ということは正しい fact13: もし仮にこの名水が手強いということはない一方で短いならばあの大名屋敷は短い fact14: もしも「ある物は管理支配する」ということは本当であるとするとそれは脳神経でない fact15: もしもこの名水がとろ臭いかあるいは際するかまたはどちらもならそれは管理支配しない fact16: もしこの名水が管理支配するとしたらそれは脳神経でない fact17: この大名屋敷はとろ臭くない fact18: この二号機は説明し難い fact19: この諸科学が脳神経でないならこの名水は際しない fact20: この長期固定は米国ＮＳＡだということはない fact21: もしある物が説明し難いかまたはそれは管理支配するかまたは両方ともならば脳神経であるということはない fact22: この大名屋敷は一本であるし入坑する fact23: この諸科学はとろ臭くない ; $hypothesis$ = この諸科学は際しない ; $proof$ = 
fact2 & fact12 -> int1: 「この名水は説明し難い」ということは正しい; int1 -> int2: この名水は説明し難いかもしくは管理支配するかもしくは両方ともである; fact21 -> int3: 仮にこの名水は説明し難いかもしくは管理支配すればそれは脳神経でない; int2 & int3 -> int4: この名水は脳神経でない; int4 & fact3 -> hypothesis; __PROVED__
事実1: もしこの長期固定が米国ＮＳＡでないとするとこの名水は手強くない物で短い
事実2: 仮にこの大名屋敷が解し難くないし更にとろ臭くないとしたらこの名水は説明し難い
事実3: この名水が脳神経であるということはないとするとこの諸科学は際するということはない
事実4: もしある物が管理支配しない一方で説明し難いとすれば際する
事実5: もしも一本が入坑するとすると決め難くない
事実6: もし仮になんらかの物は際するかもしくは説明し難いかもしくはどちらもなら「管理支配しない」ということは真実である
事実7: もしこの大名屋敷が解し難いということはないがとろ臭いならこの名水は説明し難い
事実8: この大名屋敷は解し難いか説明し難いか両方である
事実9: もしもなんらかのものが脳神経だということはないとすれば管理支配しないしそれは説明し難い
事実10: もしもこの大名屋敷が短くて脳神経であるならばこの諸科学は脳神経でない
事実11: 決め難くない物は茶系であるとしたら脳神経だ
事実12: 「この大名屋敷は解し難くないしとろ臭くない」ということは正しい
事実13: もし仮にこの名水が手強いということはない一方で短いならばあの大名屋敷は短い
事実14: もしも「ある物は管理支配する」ということは本当であるとするとそれは脳神経でない
事実15: もしもこの名水がとろ臭いかあるいは際するかまたはどちらもならそれは管理支配しない
事実16: もしこの名水が管理支配するとしたらそれは脳神経でない
事実17: この大名屋敷はとろ臭くない
事実18: この二号機は説明し難い
事実19: この諸科学が脳神経でないならこの名水は際しない
事実20: この長期固定は米国ＮＳＡだということはない
事実21: もしある物が説明し難いかまたはそれは管理支配するかまたは両方ともならば脳神経であるということはない
事実22: この大名屋敷は一本であるし入坑する
事実23: この諸科学はとろ臭くない

仮説: この諸科学は際しない
1. 事実2と事実12から、推論1: "「この名水は説明し難い」ということは正しい"が導かれる
2. 推論1から、推論2: "この名水は説明し難いかもしくは管理支配するかもしくは両方ともである"が導かれる
3. 事実21から、推論3: "仮にこの名水は説明し難いかもしくは管理支配すればそれは脳神経でない"が導かれる
4. 推論2と推論3から、推論4: "この名水は脳神経でない"が導かれる
5. 推論4と事実3から、仮説が導かれる

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