「あの時間外労働協定はモットーであるということはないかあるいは飲食でないかあるいはどちらもである」ということは偽だ
fact1: もし仮にとある物が心地良いかまたはそれは高分子物質であるかまたはどちらもであるなら平ったくない fact2: 仮にその先祖信仰が高分子物質でないが心地良いとしたらそのビューポートは頑是無い fact3: もし仮にその先祖信仰が漁獲量でないがしかし頑是無いならそのビューポートは高分子物質である fact4: この立ち技は平ったくない fact5: もし仮にその農村地帯が瑞々しくないとするとあの時間外労働協定はモットーでないか飲食でないかあるいは両方である fact6: ある物は平ったいとすれば「それはモットーでないかそれは飲食でないかあるいは両方ともだ」ということは成り立つということはない fact7: 「この立ち技は歩き難いか瑞々しくない」ということは間違いだ fact8: もし「この立ち技は平ったくない」ということは確かだとするとその先祖信仰は漁獲量でないがしかし頑是無い fact9: 平ったくない物は頑是無いということはないか変革しないかもしくは両方ともだ fact10: 「そのビューポートは高分子物質だが心地良くない」ということは事実であるならばその農村地帯は瑞々しくない fact11: 仮に「あの時間外労働協定は高分子物質でない」ということは確かであるとしたらそのビューポートは飲食でないかもしくは頑是無くないかまたはどちらもだ fact12: そのビューポートは心地良くない
fact8 & fact4 -> int1: その先祖信仰は漁獲量でないけれど頑是無い; int1 & fact3 -> int2: そのビューポートは高分子物質である; int2 & fact12 -> int3: そのビューポートは高分子物質であるが心地良くない; int3 & fact10 -> int4: その農村地帯は瑞々しくない; int4 & fact5 -> hypothesis;
「「あの時間外労働協定はモットーでないかあるいは飲食でないかあるいは両方である」ということは嘘だ」ということは確かだ
fact13 -> int5: もしもあの時間外労働協定は平ったいならば「それはモットーでないかもしくは飲食でないかもしくは両方である」ということは偽だ; fact14 -> int6: 「「歩き難いかもしくは瑞々しいということはない」ということは本当だということはない」物はある;
$facts$ = fact1: もし仮にとある物が心地良いかまたはそれは高分子物質であるかまたはどちらもであるなら平ったくない fact2: 仮にその先祖信仰が高分子物質でないが心地良いとしたらそのビューポートは頑是無い fact3: もし仮にその先祖信仰が漁獲量でないがしかし頑是無いならそのビューポートは高分子物質である fact4: この立ち技は平ったくない fact5: もし仮にその農村地帯が瑞々しくないとするとあの時間外労働協定はモットーでないか飲食でないかあるいは両方である fact6: ある物は平ったいとすれば「それはモットーでないかそれは飲食でないかあるいは両方ともだ」ということは成り立つということはない fact7: 「この立ち技は歩き難いか瑞々しくない」ということは間違いだ fact8: もし「この立ち技は平ったくない」ということは確かだとするとその先祖信仰は漁獲量でないがしかし頑是無い fact9: 平ったくない物は頑是無いということはないか変革しないかもしくは両方ともだ fact10: 「そのビューポートは高分子物質だが心地良くない」ということは事実であるならばその農村地帯は瑞々しくない fact11: 仮に「あの時間外労働協定は高分子物質でない」ということは確かであるとしたらそのビューポートは飲食でないかもしくは頑是無くないかまたはどちらもだ fact12: そのビューポートは心地良くない ; $hypothesis$ = 「あの時間外労働協定はモットーであるということはないかあるいは飲食でないかあるいはどちらもである」ということは偽だ ; $proof$ = 
fact8 & fact4 -> int1: その先祖信仰は漁獲量でないけれど頑是無い; int1 & fact3 -> int2: そのビューポートは高分子物質である; int2 & fact12 -> int3: そのビューポートは高分子物質であるが心地良くない; int3 & fact10 -> int4: その農村地帯は瑞々しくない; int4 & fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にとある物が心地良いかまたはそれは高分子物質であるかまたはどちらもであるなら平ったくない
事実2: 仮にその先祖信仰が高分子物質でないが心地良いとしたらそのビューポートは頑是無い
事実3: もし仮にその先祖信仰が漁獲量でないがしかし頑是無いならそのビューポートは高分子物質である
事実4: この立ち技は平ったくない
事実5: もし仮にその農村地帯が瑞々しくないとするとあの時間外労働協定はモットーでないか飲食でないかあるいは両方である
事実6: ある物は平ったいとすれば「それはモットーでないかそれは飲食でないかあるいは両方ともだ」ということは成り立つということはない
事実7: 「この立ち技は歩き難いか瑞々しくない」ということは間違いだ
事実8: もし「この立ち技は平ったくない」ということは確かだとするとその先祖信仰は漁獲量でないがしかし頑是無い
事実9: 平ったくない物は頑是無いということはないか変革しないかもしくは両方ともだ
事実10: 「そのビューポートは高分子物質だが心地良くない」ということは事実であるならばその農村地帯は瑞々しくない
事実11: 仮に「あの時間外労働協定は高分子物質でない」ということは確かであるとしたらそのビューポートは飲食でないかもしくは頑是無くないかまたはどちらもだ
事実12: そのビューポートは心地良くない

仮説: 「あの時間外労働協定はモットーであるということはないかあるいは飲食でないかあるいはどちらもである」ということは偽だ
1. 事実8と事実4から、推論1: "その先祖信仰は漁獲量でないけれど頑是無い"が導かれる
2. 推論1と事実3から、推論2: "そのビューポートは高分子物質である"が導かれる
3. 推論2と事実12から、推論3: "そのビューポートは高分子物質であるが心地良くない"が導かれる
4. 推論3と事実10から、推論4: "その農村地帯は瑞々しくない"が導かれる
5. 推論4と事実5から、仮説が否定される

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