その特発性癲癇は詰まり易いがリビング・ルームでない
fact1: そのコスト低減は狡賢くない fact2: 仮にその主催社側は詰まり易くないとすれば「その特発性癲癇は専断だしかつ狡賢い」ということは嘘だ fact3: 「「その主催社側は専断であるし狡賢い」ということは偽だ」ということは真実だ fact4: 仮にその主催社側は素晴らしということはないならば「その特発性癲癇は詰まり易いけどそれはリビング・ルームでない」ということは間違っている fact5: 「その延納は専断であるしまた覗く」ということは事実と異なる fact6: 「その主催社側は詰まり易いししかもそれは素晴らし」ということは成り立たない fact7: 仮にその特発性癲癇は専断であるということはないなら提出出来ない fact8: 「その特発性癲癇は狡賢いし更に忙しない」ということは間違いである fact9: もしその特発性癲癇が詰まり易いということはないならば専断でない fact10: 「その特発性癲癇は詰まり易くて加えてそれは素晴らし」ということは間違っている fact11: 「もし仮にそのデータセットが天導衆でないならばあのデータセットは遠雷でない」ということは成り立つ fact12: 「「その主催社側は専断であるしさらに狡賢い」ということは事実である」ということは誤りだとしたら素晴らしない fact13: その特発性癲癇は素晴らしない fact14: 「その特発性癲癇は三人妻であるし更にそれは狡賢い」ということは嘘である
fact12 & fact3 -> int1: その主催社側は素晴らしということはない; int1 & fact4 -> hypothesis;
fact12 & fact3 -> int1: ¬{B}{a}; int1 & fact4 -> hypothesis;
$facts$ = fact1: そのコスト低減は狡賢くない fact2: 仮にその主催社側は詰まり易くないとすれば「その特発性癲癇は専断だしかつ狡賢い」ということは嘘だ fact3: 「「その主催社側は専断であるし狡賢い」ということは偽だ」ということは真実だ fact4: 仮にその主催社側は素晴らしということはないならば「その特発性癲癇は詰まり易いけどそれはリビング・ルームでない」ということは間違っている fact5: 「その延納は専断であるしまた覗く」ということは事実と異なる fact6: 「その主催社側は詰まり易いししかもそれは素晴らし」ということは成り立たない fact7: 仮にその特発性癲癇は専断であるということはないなら提出出来ない fact8: 「その特発性癲癇は狡賢いし更に忙しない」ということは間違いである fact9: もしその特発性癲癇が詰まり易いということはないならば専断でない fact10: 「その特発性癲癇は詰まり易くて加えてそれは素晴らし」ということは間違っている fact11: 「もし仮にそのデータセットが天導衆でないならばあのデータセットは遠雷でない」ということは成り立つ fact12: 「「その主催社側は専断であるしさらに狡賢い」ということは事実である」ということは誤りだとしたら素晴らしない fact13: その特発性癲癇は素晴らしない fact14: 「その特発性癲癇は三人妻であるし更にそれは狡賢い」ということは嘘である ; $hypothesis$ = その特発性癲癇は詰まり易いがリビング・ルームでない ; $proof$ = 
fact12 & fact3 -> int1: その主催社側は素晴らしということはない; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: そのコスト低減は狡賢くない
事実2: 仮にその主催社側は詰まり易くないとすれば「その特発性癲癇は専断だしかつ狡賢い」ということは嘘だ
事実3: 「「その主催社側は専断であるし狡賢い」ということは偽だ」ということは真実だ
事実4: 仮にその主催社側は素晴らしということはないならば「その特発性癲癇は詰まり易いけどそれはリビング・ルームでない」ということは間違っている
事実5: 「その延納は専断であるしまた覗く」ということは事実と異なる
事実6: 「その主催社側は詰まり易いししかもそれは素晴らし」ということは成り立たない
事実7: 仮にその特発性癲癇は専断であるということはないなら提出出来ない
事実8: 「その特発性癲癇は狡賢いし更に忙しない」ということは間違いである
事実9: もしその特発性癲癇が詰まり易いということはないならば専断でない
事実10: 「その特発性癲癇は詰まり易くて加えてそれは素晴らし」ということは間違っている
事実11: 「もし仮にそのデータセットが天導衆でないならばあのデータセットは遠雷でない」ということは成り立つ
事実12: 「「その主催社側は専断であるしさらに狡賢い」ということは事実である」ということは誤りだとしたら素晴らしない
事実13: その特発性癲癇は素晴らしない
事実14: 「その特発性癲癇は三人妻であるし更にそれは狡賢い」ということは嘘である

仮説: その特発性癲癇は詰まり易いがリビング・ルームでない
1. 事実12と事実3から、推論1: "その主催社側は素晴らしということはない"が導かれる
2. 推論1と事実4から、仮説が否定される

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