あの連隊はフランス国内だ
fact1: 仮に出易くないものは同方向でないならそれはフランス国内である fact2: もしもなにがしかのものは厚ぼったいということはないとすると「慢性蕁麻疹であるし更に農民保有地でない」ということは事実と異なる fact3: 仮にあの財貨・サービスが道しるべだけれど流通課業でないとしたらあの連隊は幇助だ fact4: 幇助は出易くなくてそれに同方向でない fact5: 「その映画作品は乳臭くない」ということは事実である fact6: 仮にその映画作品は希望しないけれど動かし難いとすればそれはすんごくない fact7: 「その映画作品は農民保有地であるしその上すんごい」ということは成り立たない fact8: 仮にあの連隊が厚ぼったいがそれがすんごいということはないならその映画作品は厚ぼったいということはない fact9: もし仮にその映画作品が厚ぼったいとすると希望するということはなくて動かし難い fact10: もしあの連隊が農民保有地でないがしかし厚ぼったいならば動かし難くない fact11: その映画作品は厚ぼったい fact12: もし仮に「「あるものは農民保有地である一方ですんごくない」ということは確かだ」ということは偽なら「フランス国内でない」ということは本当である fact13: もしもその職業安定局が過負荷でないとするとあの財貨・サービスが道しるべだけど流通課業でない fact14: 仮にその映画作品はすんごくないとすると「あの連隊は農民保有地だ一方ですんごくない」ということは嘘だ fact15: 「あの連隊はすんごいし厚ぼったい」ということは成り立たない
fact9 & fact11 -> int1: その映画作品は希望しないがしかし動かし難い; int1 & fact6 -> int2: その映画作品はすんごくない; int2 & fact14 -> int3: 「あの連隊は農民保有地だ一方ですんごいということはない」ということは間違いだ; fact12 -> int4: もし「あの連隊は農民保有地だがしかしすんごくない」ということは成り立つということはないとしたら「それはフランス国内でない」ということは成り立つ; int3 & int4 -> hypothesis;
「その映画作品は慢性蕁麻疹だ一方で農民保有地でない」ということは嘘である
fact16 -> int5: もしもその映画作品は厚ぼったくないならば「慢性蕁麻疹であるししかもそれは農民保有地だということはない」ということは誤りである; fact21 -> int6: もしあの連隊が出易くなくてしかもそれが同方向でないとすればフランス国内だ; fact20 -> int7: 仮にあの連隊は幇助だとすると「それは出易いということはなくてまた同方向でない」ということは真実だ;
$facts$ = fact1: 仮に出易くないものは同方向でないならそれはフランス国内である fact2: もしもなにがしかのものは厚ぼったいということはないとすると「慢性蕁麻疹であるし更に農民保有地でない」ということは事実と異なる fact3: 仮にあの財貨・サービスが道しるべだけれど流通課業でないとしたらあの連隊は幇助だ fact4: 幇助は出易くなくてそれに同方向でない fact5: 「その映画作品は乳臭くない」ということは事実である fact6: 仮にその映画作品は希望しないけれど動かし難いとすればそれはすんごくない fact7: 「その映画作品は農民保有地であるしその上すんごい」ということは成り立たない fact8: 仮にあの連隊が厚ぼったいがそれがすんごいということはないならその映画作品は厚ぼったいということはない fact9: もし仮にその映画作品が厚ぼったいとすると希望するということはなくて動かし難い fact10: もしあの連隊が農民保有地でないがしかし厚ぼったいならば動かし難くない fact11: その映画作品は厚ぼったい fact12: もし仮に「「あるものは農民保有地である一方ですんごくない」ということは確かだ」ということは偽なら「フランス国内でない」ということは本当である fact13: もしもその職業安定局が過負荷でないとするとあの財貨・サービスが道しるべだけど流通課業でない fact14: 仮にその映画作品はすんごくないとすると「あの連隊は農民保有地だ一方ですんごくない」ということは嘘だ fact15: 「あの連隊はすんごいし厚ぼったい」ということは成り立たない ; $hypothesis$ = あの連隊はフランス国内だ ; $proof$ = 
fact9 & fact11 -> int1: その映画作品は希望しないがしかし動かし難い; int1 & fact6 -> int2: その映画作品はすんごくない; int2 & fact14 -> int3: 「あの連隊は農民保有地だ一方ですんごいということはない」ということは間違いだ; fact12 -> int4: もし「あの連隊は農民保有地だがしかしすんごくない」ということは成り立つということはないとしたら「それはフランス国内でない」ということは成り立つ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮に出易くないものは同方向でないならそれはフランス国内である
事実2: もしもなにがしかのものは厚ぼったいということはないとすると「慢性蕁麻疹であるし更に農民保有地でない」ということは事実と異なる
事実3: 仮にあの財貨・サービスが道しるべだけれど流通課業でないとしたらあの連隊は幇助だ
事実4: 幇助は出易くなくてそれに同方向でない
事実5: 「その映画作品は乳臭くない」ということは事実である
事実6: 仮にその映画作品は希望しないけれど動かし難いとすればそれはすんごくない
事実7: 「その映画作品は農民保有地であるしその上すんごい」ということは成り立たない
事実8: 仮にあの連隊が厚ぼったいがそれがすんごいということはないならその映画作品は厚ぼったいということはない
事実9: もし仮にその映画作品が厚ぼったいとすると希望するということはなくて動かし難い
事実10: もしあの連隊が農民保有地でないがしかし厚ぼったいならば動かし難くない
事実11: その映画作品は厚ぼったい
事実12: もし仮に「「あるものは農民保有地である一方ですんごくない」ということは確かだ」ということは偽なら「フランス国内でない」ということは本当である
事実13: もしもその職業安定局が過負荷でないとするとあの財貨・サービスが道しるべだけど流通課業でない
事実14: 仮にその映画作品はすんごくないとすると「あの連隊は農民保有地だ一方ですんごくない」ということは嘘だ
事実15: 「あの連隊はすんごいし厚ぼったい」ということは成り立たない

仮説: あの連隊はフランス国内だ
1. 事実9と事実11から、推論1: "その映画作品は希望しないがしかし動かし難い"が導かれる
2. 推論1と事実6から、推論2: "その映画作品はすんごくない"が導かれる
3. 推論2と事実14から、推論3: "「あの連隊は農民保有地だ一方ですんごいということはない」ということは間違いだ"が導かれる
4. 事実12から、推論4: "もし「あの連隊は農民保有地だがしかしすんごくない」ということは成り立つということはないとしたら「それはフランス国内でない」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が否定される

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