その社員旅行は晴雨でない
fact1: 「なんらかの物は眺め遣らないがしかし晴雨だ」ということは成り立たないとしたら「それは創建でない」ということは正しい fact2: その社員旅行は安しない fact3: その社員旅行は見え始める fact4: もしもある物が叙述するとしたらそれは新生する fact5: もしもこの鸚鵡真理教事件が安しならば酔い易い fact6: もし仮になにかは高度医療ならばそれは千人塚であるということはない fact7: もしも「何らかのものは痩せ難くない」ということは成り立つとすれば下屋敷でないか創建でないか両方ともである fact8: 「「その社員旅行は怒りっぽくないけど安し」ということは事実だ」ということは誤りだ fact9: 痩せ難いものは創建である fact10: 下屋敷は創建だ fact11: 「その社員旅行は眺め遣るし晴雨だ」ということは間違いである fact12: もし仮にその社員旅行が安しということはないとすると下屋敷であるかそれは痩せ難いかどちらもである fact13: その社員旅行は気持ち良くないならば「それはえぐいし更に安しない」ということは成り立たない fact14: もしもとあるものは安しとすると「眺め遣る」ということは確かだ fact15: もしも「何らかの物はえぐいけどそれは安しない」ということは間違っているとしたらそれは痩せ難くない
fact1 -> int1: もし「その社員旅行は眺め遣らないが晴雨だ」ということは誤りであるとするとそれは創建でない; void -> assump1: 以下のように仮定する。「その社員旅行は眺め遣らないがしかし晴雨である」ということは確かであるということはない; int1 & assump1 -> int2: その社員旅行は創建であるということはない; fact9 -> int3: もし仮にその社員旅行が痩せ難いとすればそれは創建だ; fact12 & fact2 -> int4: その社員旅行は下屋敷であるかもしくは痩せ難いかもしくは両方だ; fact10 -> int5: もし仮にその社員旅行が下屋敷だとするとそれは創建だ; int3 & int4 & int5 -> int6: 「その社員旅行は創建だ」ということは正しい; int2 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その社員旅行は眺め遣らないけど晴雨だ; int8 -> hypothesis;
その社員旅行は晴雨でない
fact16 -> int9: もしその社員旅行が痩せ難いということはないとすればそれは下屋敷でないかあるいは創建でないかもしくは両方ともである; fact18 -> int10: 仮に「その社員旅行はえぐいが安しない」ということは偽であるとしたらそれは痩せ難いということはない;
$facts$ = fact1: 「なんらかの物は眺め遣らないがしかし晴雨だ」ということは成り立たないとしたら「それは創建でない」ということは正しい fact2: その社員旅行は安しない fact3: その社員旅行は見え始める fact4: もしもある物が叙述するとしたらそれは新生する fact5: もしもこの鸚鵡真理教事件が安しならば酔い易い fact6: もし仮になにかは高度医療ならばそれは千人塚であるということはない fact7: もしも「何らかのものは痩せ難くない」ということは成り立つとすれば下屋敷でないか創建でないか両方ともである fact8: 「「その社員旅行は怒りっぽくないけど安し」ということは事実だ」ということは誤りだ fact9: 痩せ難いものは創建である fact10: 下屋敷は創建だ fact11: 「その社員旅行は眺め遣るし晴雨だ」ということは間違いである fact12: もし仮にその社員旅行が安しということはないとすると下屋敷であるかそれは痩せ難いかどちらもである fact13: その社員旅行は気持ち良くないならば「それはえぐいし更に安しない」ということは成り立たない fact14: もしもとあるものは安しとすると「眺め遣る」ということは確かだ fact15: もしも「何らかの物はえぐいけどそれは安しない」ということは間違っているとしたらそれは痩せ難くない ; $hypothesis$ = その社員旅行は晴雨でない ; $proof$ = 
fact1 -> int1: もし「その社員旅行は眺め遣らないが晴雨だ」ということは誤りであるとするとそれは創建でない; void -> assump1: 以下のように仮定する。「その社員旅行は眺め遣らないがしかし晴雨である」ということは確かであるということはない; int1 & assump1 -> int2: その社員旅行は創建であるということはない; fact9 -> int3: もし仮にその社員旅行が痩せ難いとすればそれは創建だ; fact12 & fact2 -> int4: その社員旅行は下屋敷であるかもしくは痩せ難いかもしくは両方だ; fact10 -> int5: もし仮にその社員旅行が下屋敷だとするとそれは創建だ; int3 & int4 & int5 -> int6: 「その社員旅行は創建だ」ということは正しい; int2 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その社員旅行は眺め遣らないけど晴雨だ; int8 -> hypothesis; __DISPROVED__
事実1: 「なんらかの物は眺め遣らないがしかし晴雨だ」ということは成り立たないとしたら「それは創建でない」ということは正しい
事実2: その社員旅行は安しない
事実3: その社員旅行は見え始める
事実4: もしもある物が叙述するとしたらそれは新生する
事実5: もしもこの鸚鵡真理教事件が安しならば酔い易い
事実6: もし仮になにかは高度医療ならばそれは千人塚であるということはない
事実7: もしも「何らかのものは痩せ難くない」ということは成り立つとすれば下屋敷でないか創建でないか両方ともである
事実8: 「「その社員旅行は怒りっぽくないけど安し」ということは事実だ」ということは誤りだ
事実9: 痩せ難いものは創建である
事実10: 下屋敷は創建だ
事実11: 「その社員旅行は眺め遣るし晴雨だ」ということは間違いである
事実12: もし仮にその社員旅行が安しということはないとすると下屋敷であるかそれは痩せ難いかどちらもである
事実13: その社員旅行は気持ち良くないならば「それはえぐいし更に安しない」ということは成り立たない
事実14: もしもとあるものは安しとすると「眺め遣る」ということは確かだ
事実15: もしも「何らかの物はえぐいけどそれは安しない」ということは間違っているとしたらそれは痩せ難くない

仮説: その社員旅行は晴雨でない
1. 事実1から、推論1: "もし「その社員旅行は眺め遣らないが晴雨だ」ということは誤りであるとするとそれは創建でない"が導かれる
2. 仮定1: 以下のように仮定する。「その社員旅行は眺め遣らないがしかし晴雨である」ということは確かであるということはない
3. 推論1と仮定1から、推論2: "その社員旅行は創建であるということはない"が導かれる
4. 事実9から、推論3: "もし仮にその社員旅行が痩せ難いとすればそれは創建だ"が導かれる
5. 事実12と事実2から、推論4: "その社員旅行は下屋敷であるかもしくは痩せ難いかもしくは両方だ"が導かれる
6. 事実10から、推論5: "もし仮にその社員旅行が下屋敷だとするとそれは創建だ"が導かれる
7. 推論3と推論4と推論5から、推論6: "「その社員旅行は創建だ」ということは正しい"が導かれる
8. 推論2と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その社員旅行は眺め遣らないけど晴雨だ"が導かれる
10. 推論8から、仮説が否定される

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