「「もし活動し易くないならば閉隊する」物はある」ということは成り立たない
fact1: もしも何かは発掘調査しないとしたら醤油ベースだ fact2: もしも何かはプレゼンするとすれば商業テナントビルだ fact3: そのいんがまは活動し易くないならそれは無理無い fact4: もしそのいんがまは音楽礼拝であるということはないとしたら描き足す fact5: もし仮にそのいんがまが活動し易いとすると公園整備だ fact6: もしあの保険者番号欄はＡ〜Ｃであるとするとそれは活動し易い fact7: もし仮にあの増強が騒がしいとしたらそれはＡ〜Ｃである fact8: もしもそのいんがまが活動し易いということはないとすると素っ気ない fact9: 証言台は下馬する fact10: そのいんがまはミステリー作家でないなら掴み合いである fact11: 「大家でないならば手厳しい」物はある fact12: 「もしもアシュラフであるとするとギリシャ人な」ものはある fact13: もしもあるものはローマ・カトリック教会でないとしたら「それは多元化する」ということは事実である fact14: もしそのいんがまは呼び付けるとしたら「収去する」ということは事実だ fact15: 活動し易くない物は閉隊する fact16: 「もし仮に同期化しないならば嫌味っぽい」ものはある fact17: 「もし都市計画税でないなら経る」ものはある
fact15 -> int1: もしそのいんがまは活動し易くないとするとそれは閉隊する; int1 -> hypothesis;
$facts$ = fact1: もしも何かは発掘調査しないとしたら醤油ベースだ fact2: もしも何かはプレゼンするとすれば商業テナントビルだ fact3: そのいんがまは活動し易くないならそれは無理無い fact4: もしそのいんがまは音楽礼拝であるということはないとしたら描き足す fact5: もし仮にそのいんがまが活動し易いとすると公園整備だ fact6: もしあの保険者番号欄はＡ〜Ｃであるとするとそれは活動し易い fact7: もし仮にあの増強が騒がしいとしたらそれはＡ〜Ｃである fact8: もしもそのいんがまが活動し易いということはないとすると素っ気ない fact9: 証言台は下馬する fact10: そのいんがまはミステリー作家でないなら掴み合いである fact11: 「大家でないならば手厳しい」物はある fact12: 「もしもアシュラフであるとするとギリシャ人な」ものはある fact13: もしもあるものはローマ・カトリック教会でないとしたら「それは多元化する」ということは事実である fact14: もしそのいんがまは呼び付けるとしたら「収去する」ということは事実だ fact15: 活動し易くない物は閉隊する fact16: 「もし仮に同期化しないならば嫌味っぽい」ものはある fact17: 「もし都市計画税でないなら経る」ものはある ; $hypothesis$ = 「「もし活動し易くないならば閉隊する」物はある」ということは成り立たない ; $proof$ = 
fact15 -> int1: もしそのいんがまは活動し易くないとするとそれは閉隊する; int1 -> hypothesis; __DISPROVED__
事実1: もしも何かは発掘調査しないとしたら醤油ベースだ
事実2: もしも何かはプレゼンするとすれば商業テナントビルだ
事実3: そのいんがまは活動し易くないならそれは無理無い
事実4: もしそのいんがまは音楽礼拝であるということはないとしたら描き足す
事実5: もし仮にそのいんがまが活動し易いとすると公園整備だ
事実6: もしあの保険者番号欄はＡ〜Ｃであるとするとそれは活動し易い
事実7: もし仮にあの増強が騒がしいとしたらそれはＡ〜Ｃである
事実8: もしもそのいんがまが活動し易いということはないとすると素っ気ない
事実9: 証言台は下馬する
事実10: そのいんがまはミステリー作家でないなら掴み合いである
事実11: 「大家でないならば手厳しい」物はある
事実12: 「もしもアシュラフであるとするとギリシャ人な」ものはある
事実13: もしもあるものはローマ・カトリック教会でないとしたら「それは多元化する」ということは事実である
事実14: もしそのいんがまは呼び付けるとしたら「収去する」ということは事実だ
事実15: 活動し易くない物は閉隊する
事実16: 「もし仮に同期化しないならば嫌味っぽい」ものはある
事実17: 「もし都市計画税でないなら経る」ものはある

仮説: 「「もし活動し易くないならば閉隊する」物はある」ということは成り立たない
1. 事実15から、推論1: "もしそのいんがまは活動し易くないとするとそれは閉隊する"が導かれる
2. 推論1から、仮説が否定される

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