「あの所掌事務は乗り易くないがそれは夏らしい」ということは成り立たない
fact1: もし何らかの物が狙い易くないならあの所掌事務は乗り易くないがしかしそれは夏らしい fact2: その手玉は慰労会でないかもしくは主管課である fact3: 仮に「「忌まわしくない」ということは成り立つ」物があるとするとこの未鳥は引き止める fact4: この攻撃側は政治社会でない fact5: この未鳥は他場面だ fact6: もしこの未鳥が引き止めるとしたらその手玉は忌まわしくない fact7: 仮に「「乗り易くない」ということは成り立つ」ものがあればあの所掌事務は夏らしい fact8: この未鳥は忌まわしい fact9: もし仮にとある物は政治社会であるとすれば「それは乗り易くないしかつそれは夏らしい」ということは偽だ fact10: 苦しない物は忌まわしいかまたは引き止めるか両方だ fact11: その手玉は夏らしい fact12: もし仮にその手玉が引き止めるということはないかあるいはそれが苦しないかもしくはどちらもであるとするとあの在来産業は狙い易くない fact13: 「仮にその手玉が引き止めないとしたらこの未鳥は苦しない」ということは確かだ fact14: 仮にこの未鳥が政治社会であるか忌まわしいとすると「その手玉は引き止めない」ということは確かである
fact8 -> int1: この未鳥は政治社会であるか忌まわしいかもしくはどちらもだ; int1 & fact14 -> int2: 「その手玉は引き止めない」ということは間違いだということはない; int2 -> int3: その手玉は引き止めるということはないかもしくはそれは苦しということはないかまたは両方だ; int3 & fact12 -> int4: あの在来産業は狙い易くない; int4 -> int5: 「狙い易いということはない」物はある; int5 & fact1 -> hypothesis;
「あの所掌事務は乗り易くないが夏らしい」ということは成り立たない
fact15 -> int6: もしもあの所掌事務は政治社会ならば「乗り易くないしさらに夏らしい」ということは成り立つということはない; fact16 -> int7: 「あの所掌事務は苦しない」ということは成り立つなら忌まわしいか引き止めるかあるいは両方である;
$facts$ = fact1: もし何らかの物が狙い易くないならあの所掌事務は乗り易くないがしかしそれは夏らしい fact2: その手玉は慰労会でないかもしくは主管課である fact3: 仮に「「忌まわしくない」ということは成り立つ」物があるとするとこの未鳥は引き止める fact4: この攻撃側は政治社会でない fact5: この未鳥は他場面だ fact6: もしこの未鳥が引き止めるとしたらその手玉は忌まわしくない fact7: 仮に「「乗り易くない」ということは成り立つ」ものがあればあの所掌事務は夏らしい fact8: この未鳥は忌まわしい fact9: もし仮にとある物は政治社会であるとすれば「それは乗り易くないしかつそれは夏らしい」ということは偽だ fact10: 苦しない物は忌まわしいかまたは引き止めるか両方だ fact11: その手玉は夏らしい fact12: もし仮にその手玉が引き止めるということはないかあるいはそれが苦しないかもしくはどちらもであるとするとあの在来産業は狙い易くない fact13: 「仮にその手玉が引き止めないとしたらこの未鳥は苦しない」ということは確かだ fact14: 仮にこの未鳥が政治社会であるか忌まわしいとすると「その手玉は引き止めない」ということは確かである ; $hypothesis$ = 「あの所掌事務は乗り易くないがそれは夏らしい」ということは成り立たない ; $proof$ = 
fact8 -> int1: この未鳥は政治社会であるか忌まわしいかもしくはどちらもだ; int1 & fact14 -> int2: 「その手玉は引き止めない」ということは間違いだということはない; int2 -> int3: その手玉は引き止めるということはないかもしくはそれは苦しということはないかまたは両方だ; int3 & fact12 -> int4: あの在来産業は狙い易くない; int4 -> int5: 「狙い易いということはない」物はある; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: もし何らかの物が狙い易くないならあの所掌事務は乗り易くないがしかしそれは夏らしい
事実2: その手玉は慰労会でないかもしくは主管課である
事実3: 仮に「「忌まわしくない」ということは成り立つ」物があるとするとこの未鳥は引き止める
事実4: この攻撃側は政治社会でない
事実5: この未鳥は他場面だ
事実6: もしこの未鳥が引き止めるとしたらその手玉は忌まわしくない
事実7: 仮に「「乗り易くない」ということは成り立つ」ものがあればあの所掌事務は夏らしい
事実8: この未鳥は忌まわしい
事実9: もし仮にとある物は政治社会であるとすれば「それは乗り易くないしかつそれは夏らしい」ということは偽だ
事実10: 苦しない物は忌まわしいかまたは引き止めるか両方だ
事実11: その手玉は夏らしい
事実12: もし仮にその手玉が引き止めるということはないかあるいはそれが苦しないかもしくはどちらもであるとするとあの在来産業は狙い易くない
事実13: 「仮にその手玉が引き止めないとしたらこの未鳥は苦しない」ということは確かだ
事実14: 仮にこの未鳥が政治社会であるか忌まわしいとすると「その手玉は引き止めない」ということは確かである

仮説: 「あの所掌事務は乗り易くないがそれは夏らしい」ということは成り立たない
1. 事実8から、推論1: "この未鳥は政治社会であるか忌まわしいかもしくはどちらもだ"が導かれる
2. 推論1と事実14から、推論2: "「その手玉は引き止めない」ということは間違いだということはない"が導かれる
3. 推論2から、推論3: "その手玉は引き止めるということはないかもしくはそれは苦しということはないかまたは両方だ"が導かれる
4. 推論3と事実12から、推論4: "あの在来産業は狙い易くない"が導かれる
5. 推論4から、推論5: "「狙い易いということはない」物はある"が導かれる
6. 推論5と事実1から、仮説が否定される

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