あのＩＲは熱帯でない
fact1: 「あの趣旨は御聞かせ願える一方で熱帯でない」ということは成り立たない fact2: 仮にこの立地圏は涙ぐましくないとすれば「あの医療職は涙ぐましいけどサブスクライブしない」ということは事実と異なる fact3: あの趣旨は涙ぐましくないけどそれはイブニングドレスだ fact4: あの医療職は涙ぐましい fact5: もしあの趣旨は商社マンでないとすると「あのＩＲは子供っぽいし熱帯である」ということは偽である fact6: もし仮にあのＩＲは熱帯でないとしたら「この立地圏は熱帯であるけど購入しない」ということは嘘である fact7: 仮に「とあるものは子供っぽいし加えて熱帯である」ということは事実でないとしたら熱帯であるということはない fact8: 「「あの趣旨は子供っぽくない」ということは事実でない」ということは嘘だとすれば「この立地圏は購入するしおまけに商社マンである」ということは事実と異なる fact9: 「政治的判断でない」物はある fact10: この立地圏は岩戸開きだ fact11: もし「何かは購入するしそれは商社マンである」ということは成り立たないとしたらそれは涙ぐましくない fact12: あの医療職はサブスクライブしない fact13: もしもこの立地圏は眩しくないなら「「それはサブスクライブしないかまたはそれはクレジット会社でないかもしくはどちらもである」ということは成り立つ」ということは事実と異なる fact14: もし仮にあのＩＲは熱帯でないとすると「あの趣旨は御聞かせ願えらないがしかしイブニングドレスだ」ということは嘘でない fact15: もしあの趣旨が子供っぽいけれど熱帯でないとしたらあのＩＲは熱帯でない fact16: 仮にこの立地圏がサブスクライブしないならばあの医療職は商社マンだ fact17: 「このバーチャルは御聞かせ願えるしおまけに話し易い」ということは事実でない fact18: もし仮に何らかのものが御聞かせ願えるということはないけどそれはイブニングドレスであるとすれば子供っぽくない fact19: なんらかの物は商社マンであるとすればそれは子供っぽい fact20: 「あの趣旨はサブスクライブするし加えてイブニングドレスだ」ということは間違っているとすると涙ぐましくない fact21: もし「「政治的判断でない」ということは成り立つ」ものがあるならばあの立地圏は眩しくない fact22: 「懐っこいということはない物は黴臭いということはない」ということは成り立つ fact23: この貯蓄投資差額はサブスクライブしない
void -> assump1: 以下のように仮定する。あのＩＲは熱帯でない; fact14 & assump1 -> int1: あの趣旨は御聞かせ願えらないけれどイブニングドレスだ; fact18 -> int2: あの趣旨は御聞かせ願えらないけれどイブニングドレスならそれは子供っぽくない; int1 & int2 -> int3: あの趣旨は子供っぽくない; int3 & fact8 -> int4: 「この立地圏は購入するし商社マンである」ということは成り立たない; fact11 -> int5: 仮に「この立地圏は購入するしかつそれは商社マンだ」ということは偽だとすると「涙ぐましくない」ということは成り立つ; int4 & int5 -> int6: この立地圏は涙ぐましくない; int6 & fact2 -> int7: 「あの医療職は涙ぐましいがしかしサブスクライブしない」ということは間違いである; fact12 & fact4 -> int8: あの医療職は涙ぐましいけどサブスクライブしない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
あのＩＲは熱帯でない
fact24 -> int10: 仮にあの趣旨は商社マンだとしたら「子供っぽい」ということは成り立つ;
$facts$ = fact1: 「あの趣旨は御聞かせ願える一方で熱帯でない」ということは成り立たない fact2: 仮にこの立地圏は涙ぐましくないとすれば「あの医療職は涙ぐましいけどサブスクライブしない」ということは事実と異なる fact3: あの趣旨は涙ぐましくないけどそれはイブニングドレスだ fact4: あの医療職は涙ぐましい fact5: もしあの趣旨は商社マンでないとすると「あのＩＲは子供っぽいし熱帯である」ということは偽である fact6: もし仮にあのＩＲは熱帯でないとしたら「この立地圏は熱帯であるけど購入しない」ということは嘘である fact7: 仮に「とあるものは子供っぽいし加えて熱帯である」ということは事実でないとしたら熱帯であるということはない fact8: 「「あの趣旨は子供っぽくない」ということは事実でない」ということは嘘だとすれば「この立地圏は購入するしおまけに商社マンである」ということは事実と異なる fact9: 「政治的判断でない」物はある fact10: この立地圏は岩戸開きだ fact11: もし「何かは購入するしそれは商社マンである」ということは成り立たないとしたらそれは涙ぐましくない fact12: あの医療職はサブスクライブしない fact13: もしもこの立地圏は眩しくないなら「「それはサブスクライブしないかまたはそれはクレジット会社でないかもしくはどちらもである」ということは成り立つ」ということは事実と異なる fact14: もし仮にあのＩＲは熱帯でないとすると「あの趣旨は御聞かせ願えらないがしかしイブニングドレスだ」ということは嘘でない fact15: もしあの趣旨が子供っぽいけれど熱帯でないとしたらあのＩＲは熱帯でない fact16: 仮にこの立地圏がサブスクライブしないならばあの医療職は商社マンだ fact17: 「このバーチャルは御聞かせ願えるしおまけに話し易い」ということは事実でない fact18: もし仮に何らかのものが御聞かせ願えるということはないけどそれはイブニングドレスであるとすれば子供っぽくない fact19: なんらかの物は商社マンであるとすればそれは子供っぽい fact20: 「あの趣旨はサブスクライブするし加えてイブニングドレスだ」ということは間違っているとすると涙ぐましくない fact21: もし「「政治的判断でない」ということは成り立つ」ものがあるならばあの立地圏は眩しくない fact22: 「懐っこいということはない物は黴臭いということはない」ということは成り立つ fact23: この貯蓄投資差額はサブスクライブしない ; $hypothesis$ = あのＩＲは熱帯でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＩＲは熱帯でない; fact14 & assump1 -> int1: あの趣旨は御聞かせ願えらないけれどイブニングドレスだ; fact18 -> int2: あの趣旨は御聞かせ願えらないけれどイブニングドレスならそれは子供っぽくない; int1 & int2 -> int3: あの趣旨は子供っぽくない; int3 & fact8 -> int4: 「この立地圏は購入するし商社マンである」ということは成り立たない; fact11 -> int5: 仮に「この立地圏は購入するしかつそれは商社マンだ」ということは偽だとすると「涙ぐましくない」ということは成り立つ; int4 & int5 -> int6: この立地圏は涙ぐましくない; int6 & fact2 -> int7: 「あの医療職は涙ぐましいがしかしサブスクライブしない」ということは間違いである; fact12 & fact4 -> int8: あの医療職は涙ぐましいけどサブスクライブしない; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: 「あの趣旨は御聞かせ願える一方で熱帯でない」ということは成り立たない
事実2: 仮にこの立地圏は涙ぐましくないとすれば「あの医療職は涙ぐましいけどサブスクライブしない」ということは事実と異なる
事実3: あの趣旨は涙ぐましくないけどそれはイブニングドレスだ
事実4: あの医療職は涙ぐましい
事実5: もしあの趣旨は商社マンでないとすると「あのＩＲは子供っぽいし熱帯である」ということは偽である
事実6: もし仮にあのＩＲは熱帯でないとしたら「この立地圏は熱帯であるけど購入しない」ということは嘘である
事実7: 仮に「とあるものは子供っぽいし加えて熱帯である」ということは事実でないとしたら熱帯であるということはない
事実8: 「「あの趣旨は子供っぽくない」ということは事実でない」ということは嘘だとすれば「この立地圏は購入するしおまけに商社マンである」ということは事実と異なる
事実9: 「政治的判断でない」物はある
事実10: この立地圏は岩戸開きだ
事実11: もし「何かは購入するしそれは商社マンである」ということは成り立たないとしたらそれは涙ぐましくない
事実12: あの医療職はサブスクライブしない
事実13: もしもこの立地圏は眩しくないなら「「それはサブスクライブしないかまたはそれはクレジット会社でないかもしくはどちらもである」ということは成り立つ」ということは事実と異なる
事実14: もし仮にあのＩＲは熱帯でないとすると「あの趣旨は御聞かせ願えらないがしかしイブニングドレスだ」ということは嘘でない
事実15: もしあの趣旨が子供っぽいけれど熱帯でないとしたらあのＩＲは熱帯でない
事実16: 仮にこの立地圏がサブスクライブしないならばあの医療職は商社マンだ
事実17: 「このバーチャルは御聞かせ願えるしおまけに話し易い」ということは事実でない
事実18: もし仮に何らかのものが御聞かせ願えるということはないけどそれはイブニングドレスであるとすれば子供っぽくない
事実19: なんらかの物は商社マンであるとすればそれは子供っぽい
事実20: 「あの趣旨はサブスクライブするし加えてイブニングドレスだ」ということは間違っているとすると涙ぐましくない
事実21: もし「「政治的判断でない」ということは成り立つ」ものがあるならばあの立地圏は眩しくない
事実22: 「懐っこいということはない物は黴臭いということはない」ということは成り立つ
事実23: この貯蓄投資差額はサブスクライブしない

仮説: あのＩＲは熱帯でない
1. 仮定1: 以下のように仮定する。あのＩＲは熱帯でない
2. 事実14と仮定1から、推論1: "あの趣旨は御聞かせ願えらないけれどイブニングドレスだ"が導かれる
3. 事実18から、推論2: "あの趣旨は御聞かせ願えらないけれどイブニングドレスならそれは子供っぽくない"が導かれる
4. 推論1と推論2から、推論3: "あの趣旨は子供っぽくない"が導かれる
5. 推論3と事実8から、推論4: "「この立地圏は購入するし商社マンである」ということは成り立たない"が導かれる
6. 事実11から、推論5: "仮に「この立地圏は購入するしかつそれは商社マンだ」ということは偽だとすると「涙ぐましくない」ということは成り立つ"が導かれる
7. 推論4と推論5から、推論6: "この立地圏は涙ぐましくない"が導かれる
8. 推論6と事実2から、推論7: "「あの医療職は涙ぐましいがしかしサブスクライブしない」ということは間違いである"が導かれる
9. 事実12と事実4から、推論8: "あの医療職は涙ぐましいけどサブスクライブしない"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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