あの核拡散防止条約は政商でない
fact1: もし仮にあの核拡散防止条約が埋め込めればそれは衝突する fact2: あの核拡散防止条約は甲斐甲斐しい fact3: あの核拡散防止条約は探訪する fact4: 仮にあの醜さは冷やし固めればそれははしたない fact5: あの核拡散防止条約は専権だ fact6: もしもあの下駄が成し難いとすればそれは政商である fact7: あの核拡散防止条約は融解する fact8: もしあの核拡散防止条約が専権だとしたら政商である fact9: 仮にあの核拡散防止条約が超万馬券ならそれは同化する fact10: この置き場所は政商である fact11: あの徒は政商だ fact12: もしもとある物はプロフィールでないとするとそれは専権でないし政商でない fact13: そのＮＯＵＳは専権である fact14: あの核拡散防止条約は夫婦らしい
fact8 & fact5 -> hypothesis;
fact8 & fact5 -> hypothesis;
あの核拡散防止条約は政商でない
fact15 -> int1: もしあの核拡散防止条約がプロフィールでないとすればそれは専権でないし政商でない;
$facts$ = fact1: もし仮にあの核拡散防止条約が埋め込めればそれは衝突する fact2: あの核拡散防止条約は甲斐甲斐しい fact3: あの核拡散防止条約は探訪する fact4: 仮にあの醜さは冷やし固めればそれははしたない fact5: あの核拡散防止条約は専権だ fact6: もしもあの下駄が成し難いとすればそれは政商である fact7: あの核拡散防止条約は融解する fact8: もしあの核拡散防止条約が専権だとしたら政商である fact9: 仮にあの核拡散防止条約が超万馬券ならそれは同化する fact10: この置き場所は政商である fact11: あの徒は政商だ fact12: もしもとある物はプロフィールでないとするとそれは専権でないし政商でない fact13: そのＮＯＵＳは専権である fact14: あの核拡散防止条約は夫婦らしい ; $hypothesis$ = あの核拡散防止条約は政商でない ; $proof$ = 
fact8 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にあの核拡散防止条約が埋め込めればそれは衝突する
事実2: あの核拡散防止条約は甲斐甲斐しい
事実3: あの核拡散防止条約は探訪する
事実4: 仮にあの醜さは冷やし固めればそれははしたない
事実5: あの核拡散防止条約は専権だ
事実6: もしもあの下駄が成し難いとすればそれは政商である
事実7: あの核拡散防止条約は融解する
事実8: もしあの核拡散防止条約が専権だとしたら政商である
事実9: 仮にあの核拡散防止条約が超万馬券ならそれは同化する
事実10: この置き場所は政商である
事実11: あの徒は政商だ
事実12: もしもとある物はプロフィールでないとするとそれは専権でないし政商でない
事実13: そのＮＯＵＳは専権である
事実14: あの核拡散防止条約は夫婦らしい

仮説: あの核拡散防止条約は政商でない
1. 事実8と事実5から、仮説が否定される

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