あの旅行バッグは普通大蒜である
fact1: なにがしかのものは普通大蒜でないとしたらそれは捕獲禁止であるし読み得る fact2: もし仮にプロジェクト評価がつれないならばそれは普通大蒜でない fact3: もしなにがしかのものはカスケード利用でないとしたら「緻密さだしまた取得し易い」ということは間違いだ fact4: このＣメーンフレームクラスは捕獲禁止でない fact5: もし「この通信インフラは林野率であるということはないがカスケード利用である」ということは成り立たないとするとカスケード利用でない fact6: もしもこのＣメーンフレームクラスが捕獲禁止であるということはないならばあの旅行バッグはプロジェクト評価だ fact7: もしも「何らかのものは湿気易くないが転化する」ということは誤りだとしたら「浄水享受権である」ということは成り立つ fact8: 「もし仮にこのＣメーンフレームクラスは捕獲禁止でなくて屁理屈でないとしたら「あの旅行バッグは普通大蒜である」ということは事実だ」ということは成り立つ fact9: この通信インフラは取得し易いということはないとすると「「このＣメーンフレームクラスは湿気易くない一方で転化する」ということは誤りだ」ということは成り立つ fact10: このＣメーンフレームクラスは浄水享受権でない fact11: あの旅行バッグはプロジェクト評価である fact12: もしもこのＣメーンフレームクラスは浄水享受権であるということはないとすると火性である fact13: もし仮に「とあるものは緻密さでそれは取得し易い」ということは成り立たないとすると取得し易くない fact14: もしあるものは浄水享受権であるとすると捕獲禁止でないし加えて屁理屈でない fact15: もし仮にあの販売業・賃貸業が貧しくないとすればあの通信インフラは貧しくない fact16: もしもこの通信インフラは貧しくないとしたら「林野率でないし更にカスケード利用である」ということは間違っている fact17: もしもこのＣメーンフレームクラスが捕獲禁止でないならあの旅行バッグはプロジェクト評価であるしさらにつれない
fact17 & fact4 -> int1: あの旅行バッグはプロジェクト評価だしかつつれない; fact2 -> int2: もしあの旅行バッグがプロジェクト評価であるしおまけにつれないとしたら普通大蒜でない; int1 & int2 -> hypothesis;
fact17 & fact4 -> int1: ({AA}{b} & {AB}{b}); fact2 -> int2: ({AA}{b} & {AB}{b}) -> ¬{B}{b}; int1 & int2 -> hypothesis;
このＣメーンフレームクラスは火性だしおまけに読み得る
fact19 & fact18 -> int3: 「このＣメーンフレームクラスは火性だ」ということは正しい; fact20 -> int4: もしもこのＣメーンフレームクラスが普通大蒜でないとしたら捕獲禁止だしおまけに読み得る;
$facts$ = fact1: なにがしかのものは普通大蒜でないとしたらそれは捕獲禁止であるし読み得る fact2: もし仮にプロジェクト評価がつれないならばそれは普通大蒜でない fact3: もしなにがしかのものはカスケード利用でないとしたら「緻密さだしまた取得し易い」ということは間違いだ fact4: このＣメーンフレームクラスは捕獲禁止でない fact5: もし「この通信インフラは林野率であるということはないがカスケード利用である」ということは成り立たないとするとカスケード利用でない fact6: もしもこのＣメーンフレームクラスが捕獲禁止であるということはないならばあの旅行バッグはプロジェクト評価だ fact7: もしも「何らかのものは湿気易くないが転化する」ということは誤りだとしたら「浄水享受権である」ということは成り立つ fact8: 「もし仮にこのＣメーンフレームクラスは捕獲禁止でなくて屁理屈でないとしたら「あの旅行バッグは普通大蒜である」ということは事実だ」ということは成り立つ fact9: この通信インフラは取得し易いということはないとすると「「このＣメーンフレームクラスは湿気易くない一方で転化する」ということは誤りだ」ということは成り立つ fact10: このＣメーンフレームクラスは浄水享受権でない fact11: あの旅行バッグはプロジェクト評価である fact12: もしもこのＣメーンフレームクラスは浄水享受権であるということはないとすると火性である fact13: もし仮に「とあるものは緻密さでそれは取得し易い」ということは成り立たないとすると取得し易くない fact14: もしあるものは浄水享受権であるとすると捕獲禁止でないし加えて屁理屈でない fact15: もし仮にあの販売業・賃貸業が貧しくないとすればあの通信インフラは貧しくない fact16: もしもこの通信インフラは貧しくないとしたら「林野率でないし更にカスケード利用である」ということは間違っている fact17: もしもこのＣメーンフレームクラスが捕獲禁止でないならあの旅行バッグはプロジェクト評価であるしさらにつれない ; $hypothesis$ = あの旅行バッグは普通大蒜である ; $proof$ = 
fact17 & fact4 -> int1: あの旅行バッグはプロジェクト評価だしかつつれない; fact2 -> int2: もしあの旅行バッグがプロジェクト評価であるしおまけにつれないとしたら普通大蒜でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: なにがしかのものは普通大蒜でないとしたらそれは捕獲禁止であるし読み得る
事実2: もし仮にプロジェクト評価がつれないならばそれは普通大蒜でない
事実3: もしなにがしかのものはカスケード利用でないとしたら「緻密さだしまた取得し易い」ということは間違いだ
事実4: このＣメーンフレームクラスは捕獲禁止でない
事実5: もし「この通信インフラは林野率であるということはないがカスケード利用である」ということは成り立たないとするとカスケード利用でない
事実6: もしもこのＣメーンフレームクラスが捕獲禁止であるということはないならばあの旅行バッグはプロジェクト評価だ
事実7: もしも「何らかのものは湿気易くないが転化する」ということは誤りだとしたら「浄水享受権である」ということは成り立つ
事実8: 「もし仮にこのＣメーンフレームクラスは捕獲禁止でなくて屁理屈でないとしたら「あの旅行バッグは普通大蒜である」ということは事実だ」ということは成り立つ
事実9: この通信インフラは取得し易いということはないとすると「「このＣメーンフレームクラスは湿気易くない一方で転化する」ということは誤りだ」ということは成り立つ
事実10: このＣメーンフレームクラスは浄水享受権でない
事実11: あの旅行バッグはプロジェクト評価である
事実12: もしもこのＣメーンフレームクラスは浄水享受権であるということはないとすると火性である
事実13: もし仮に「とあるものは緻密さでそれは取得し易い」ということは成り立たないとすると取得し易くない
事実14: もしあるものは浄水享受権であるとすると捕獲禁止でないし加えて屁理屈でない
事実15: もし仮にあの販売業・賃貸業が貧しくないとすればあの通信インフラは貧しくない
事実16: もしもこの通信インフラは貧しくないとしたら「林野率でないし更にカスケード利用である」ということは間違っている
事実17: もしもこのＣメーンフレームクラスが捕獲禁止でないならあの旅行バッグはプロジェクト評価であるしさらにつれない

仮説: あの旅行バッグは普通大蒜である
1. 事実17と事実4から、推論1: "あの旅行バッグはプロジェクト評価だしかつつれない"が導かれる
2. 事実2から、推論2: "もしあの旅行バッグがプロジェクト評価であるしおまけにつれないとしたら普通大蒜でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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