この取得日は利用され易くない
fact1: この室温保存は知り合いらしい fact2: もし仮にこの取得日がベジタリアニズムであるならこの室温保存は利用され易い fact3: 物々しかない物は利用され易くないけれど知り合いらしい fact4: もしあの船足が利用され易いとするとこの取得日は知り合いらしい fact5: もし仮にあの船足は利用され易いとすると「この取得日は物々しい」ということは正しい fact6: もし仮にこの室温保存がベジタリアニズムだとすればこの取得日は利用され易い fact7: 仮に「あの船足はベジタリアニズムでないし快くない」ということは成り立たないならばこの取得日は物々しかない fact8: 仮にあの船足は物々しいとすると「この取得日は知り合いらしくない」ということは間違っている fact9: もし仮にこの室温保存が物々しいならあの船足はベジタリアニズムだ fact10: もしなにがしかの物は受けないとしたら「ベジタリアニズムでなくてしかも快くない」ということは真実でない fact11: もしも「あの船足は薄青くてさらに認証する」ということは偽であるならばそれは妨害しない fact12: あの船足は知り合いらしい fact13: この取得日は内緒話だ fact14: もしもこの取得日が知り合いらしいならあの船足は利用され易い fact15: 仮に「「なんらかのものはＰＡＸでそれにそれは帰する」ということは真実だ」ということは本当でないならそれは受けるということはない fact16: あの船足がベジタリアニズムであるとしたらこの室温保存は知り合いらしい fact17: あの船足は知り合いらしいし加えて物々しい fact18: もしもとあるものは妨害しないとすれば「ＰＡＸだしそれに帰する」ということは間違っている fact19: 仮にあの船足が物々しいとするとこの室温保存はベジタリアニズムだ
fact17 -> int1: あの船足は物々しい; int1 & fact19 -> int2: この室温保存はベジタリアニズムである; int2 & fact6 -> hypothesis;
この取得日は利用され易くない
fact25 -> int3: もしこの取得日が物々しかないとすると利用され易くないが知り合いらしい; fact20 -> int4: あの船足は受けないとすると「ベジタリアニズムだということはないしまた快くない」ということは間違っている; fact24 -> int5: もし「あの船足はＰＡＸであるしその上帰する」ということは成り立たないならそれは受けない; fact22 -> int6: 仮にあの船足は妨害しないとすると「ＰＡＸであるししかも帰する」ということは誤りである;
$facts$ = fact1: この室温保存は知り合いらしい fact2: もし仮にこの取得日がベジタリアニズムであるならこの室温保存は利用され易い fact3: 物々しかない物は利用され易くないけれど知り合いらしい fact4: もしあの船足が利用され易いとするとこの取得日は知り合いらしい fact5: もし仮にあの船足は利用され易いとすると「この取得日は物々しい」ということは正しい fact6: もし仮にこの室温保存がベジタリアニズムだとすればこの取得日は利用され易い fact7: 仮に「あの船足はベジタリアニズムでないし快くない」ということは成り立たないならばこの取得日は物々しかない fact8: 仮にあの船足は物々しいとすると「この取得日は知り合いらしくない」ということは間違っている fact9: もし仮にこの室温保存が物々しいならあの船足はベジタリアニズムだ fact10: もしなにがしかの物は受けないとしたら「ベジタリアニズムでなくてしかも快くない」ということは真実でない fact11: もしも「あの船足は薄青くてさらに認証する」ということは偽であるならばそれは妨害しない fact12: あの船足は知り合いらしい fact13: この取得日は内緒話だ fact14: もしもこの取得日が知り合いらしいならあの船足は利用され易い fact15: 仮に「「なんらかのものはＰＡＸでそれにそれは帰する」ということは真実だ」ということは本当でないならそれは受けるということはない fact16: あの船足がベジタリアニズムであるとしたらこの室温保存は知り合いらしい fact17: あの船足は知り合いらしいし加えて物々しい fact18: もしもとあるものは妨害しないとすれば「ＰＡＸだしそれに帰する」ということは間違っている fact19: 仮にあの船足が物々しいとするとこの室温保存はベジタリアニズムだ ; $hypothesis$ = この取得日は利用され易くない ; $proof$ = 
fact17 -> int1: あの船足は物々しい; int1 & fact19 -> int2: この室温保存はベジタリアニズムである; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: この室温保存は知り合いらしい
事実2: もし仮にこの取得日がベジタリアニズムであるならこの室温保存は利用され易い
事実3: 物々しかない物は利用され易くないけれど知り合いらしい
事実4: もしあの船足が利用され易いとするとこの取得日は知り合いらしい
事実5: もし仮にあの船足は利用され易いとすると「この取得日は物々しい」ということは正しい
事実6: もし仮にこの室温保存がベジタリアニズムだとすればこの取得日は利用され易い
事実7: 仮に「あの船足はベジタリアニズムでないし快くない」ということは成り立たないならばこの取得日は物々しかない
事実8: 仮にあの船足は物々しいとすると「この取得日は知り合いらしくない」ということは間違っている
事実9: もし仮にこの室温保存が物々しいならあの船足はベジタリアニズムだ
事実10: もしなにがしかの物は受けないとしたら「ベジタリアニズムでなくてしかも快くない」ということは真実でない
事実11: もしも「あの船足は薄青くてさらに認証する」ということは偽であるならばそれは妨害しない
事実12: あの船足は知り合いらしい
事実13: この取得日は内緒話だ
事実14: もしもこの取得日が知り合いらしいならあの船足は利用され易い
事実15: 仮に「「なんらかのものはＰＡＸでそれにそれは帰する」ということは真実だ」ということは本当でないならそれは受けるということはない
事実16: あの船足がベジタリアニズムであるとしたらこの室温保存は知り合いらしい
事実17: あの船足は知り合いらしいし加えて物々しい
事実18: もしもとあるものは妨害しないとすれば「ＰＡＸだしそれに帰する」ということは間違っている
事実19: 仮にあの船足が物々しいとするとこの室温保存はベジタリアニズムだ

仮説: この取得日は利用され易くない
1. 事実17から、推論1: "あの船足は物々しい"が導かれる
2. 推論1と事実19から、推論2: "この室温保存はベジタリアニズムである"が導かれる
3. 推論2と事実6から、仮説が否定される

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