この建設省告示は因り難い
fact1: もしその導入状況は労労じないなら「「そのポーター賞はイタリアンレストランであるししかも武田方だ」ということは確かだ」ということは偽である fact2: もしその導入状況が労労じがしかしそれがイタリアンレストランでないとしたらこのフス派戦争は微細加工であるということはない fact3: もし仮にこの酒盛りは因り難いなら「それはイタリアンレストランだけれど持ち回りであるということはない」ということは確かである fact4: 「そのポーター賞はイタリアンレストランでおまけに武田方だ」ということは偽であるとするとこのフス派戦争はイタリアンレストランでない fact5: 「このフス派戦争は労労じない」ということは正しい fact6: もし仮に何かは武田方でなくてその上荘園領主でないとしたらそれは因り難い fact7: もしこのフス派戦争が微細加工でないとすればその十歳以上は微細加工でないしそれは持ち回りでない fact8: 「この建設省告示は労労じない」ということは正しい fact9: 仮にそのメンディップが荘園領主である一方で労労じないならその導入状況は労労じない fact10: その導入状況が武田方でないとすればそのポーター賞は労労じがしかし持ち回りでない fact11: 彼らしいということはない物は三味線弾きであるということはないならそれはつるつるする fact12: この建設省告示は持ち回りでない fact13: もしも労労じないものは持ち回りでないとしたらそれは三味線弾きだ fact14: 微細加工は彼らしくないしそれに三味線弾きだということはない fact15: 仮に「そのメンディップが労労じしその上武田方だ」ということは成り立たないならそのポーター賞は労労じということはない fact16: もしもなんらかのものはつるつるするならそれはイタリアンレストランである fact17: もしこの酒盛りは微細加工であるということはないとすれば「それは御呉ん為さるしかつ度し難い」ということは誤りだ fact18: もし仮に「そのメンディップは埃っぽくない」ということは成り立てば「その導入状況は荘園領主でない一方で魂消る」ということは誤りだ fact19: そのメンディップは荘園領主であるがそれは労労じない fact20: そのメンディップが労労じないとしたらその十歳以上は労労じないし微細加工でない fact21: そのポーター賞が労労じ一方で持ち回りでないとすればその十歳以上はイタリアンレストランである fact22: もしもその十歳以上が因り難いが持ち回りでないならこの建設省告示は微細加工でない fact23: 「「その導入状況は荘園領主でない一方で魂消る」ということは真実だ」ということは事実と異なるとすれば武田方でない fact24: もしもその十歳以上が微細加工でないし更に持ち回りでないならこの建設省告示は因り難くない
fact14 -> int1: 仮に「このフス派戦争は微細加工である」ということは偽でないならばそれは彼らしくないしそれは三味線弾きでない; void -> assump1: 以下のように仮定する。このフス派戦争は微細加工である; int1 & assump1 -> int2: このフス派戦争は彼らしくないししかも三味線弾きでない; fact11 -> int3: 仮にこのフス派戦争が彼らしいということはないしさらに三味線弾きでないとするとそれはつるつるする; int2 & int3 -> int4: このフス派戦争はつるつるする; fact16 -> int5: 「もし仮にこのフス派戦争がつるつるするとすればこのフス派戦争はイタリアンレストランである」ということは本当だ; int4 & int5 -> int6: このフス派戦争はイタリアンレストランである; fact9 & fact19 -> int7: その導入状況は労労じない; int7 & fact1 -> int8: 「そのポーター賞はイタリアンレストランであるしその上武田方だ」ということは成り立つということはない; int8 & fact4 -> int9: このフス派戦争はイタリアンレストランでない; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「このフス派戦争は微細加工でない」ということは確かだ; int11 & fact7 -> int12: その十歳以上は微細加工でないし持ち回りでない; int12 & fact24 -> hypothesis;
「この酒盛りは御呉ん為さるししかもそれは度し難い」ということは間違っている
$facts$ = fact1: もしその導入状況は労労じないなら「「そのポーター賞はイタリアンレストランであるししかも武田方だ」ということは確かだ」ということは偽である fact2: もしその導入状況が労労じがしかしそれがイタリアンレストランでないとしたらこのフス派戦争は微細加工であるということはない fact3: もし仮にこの酒盛りは因り難いなら「それはイタリアンレストランだけれど持ち回りであるということはない」ということは確かである fact4: 「そのポーター賞はイタリアンレストランでおまけに武田方だ」ということは偽であるとするとこのフス派戦争はイタリアンレストランでない fact5: 「このフス派戦争は労労じない」ということは正しい fact6: もし仮に何かは武田方でなくてその上荘園領主でないとしたらそれは因り難い fact7: もしこのフス派戦争が微細加工でないとすればその十歳以上は微細加工でないしそれは持ち回りでない fact8: 「この建設省告示は労労じない」ということは正しい fact9: 仮にそのメンディップが荘園領主である一方で労労じないならその導入状況は労労じない fact10: その導入状況が武田方でないとすればそのポーター賞は労労じがしかし持ち回りでない fact11: 彼らしいということはない物は三味線弾きであるということはないならそれはつるつるする fact12: この建設省告示は持ち回りでない fact13: もしも労労じないものは持ち回りでないとしたらそれは三味線弾きだ fact14: 微細加工は彼らしくないしそれに三味線弾きだということはない fact15: 仮に「そのメンディップが労労じしその上武田方だ」ということは成り立たないならそのポーター賞は労労じということはない fact16: もしもなんらかのものはつるつるするならそれはイタリアンレストランである fact17: もしこの酒盛りは微細加工であるということはないとすれば「それは御呉ん為さるしかつ度し難い」ということは誤りだ fact18: もし仮に「そのメンディップは埃っぽくない」ということは成り立てば「その導入状況は荘園領主でない一方で魂消る」ということは誤りだ fact19: そのメンディップは荘園領主であるがそれは労労じない fact20: そのメンディップが労労じないとしたらその十歳以上は労労じないし微細加工でない fact21: そのポーター賞が労労じ一方で持ち回りでないとすればその十歳以上はイタリアンレストランである fact22: もしもその十歳以上が因り難いが持ち回りでないならこの建設省告示は微細加工でない fact23: 「「その導入状況は荘園領主でない一方で魂消る」ということは真実だ」ということは事実と異なるとすれば武田方でない fact24: もしもその十歳以上が微細加工でないし更に持ち回りでないならこの建設省告示は因り難くない ; $hypothesis$ = この建設省告示は因り難い ; $proof$ = 
fact14 -> int1: 仮に「このフス派戦争は微細加工である」ということは偽でないならばそれは彼らしくないしそれは三味線弾きでない; void -> assump1: 以下のように仮定する。このフス派戦争は微細加工である; int1 & assump1 -> int2: このフス派戦争は彼らしくないししかも三味線弾きでない; fact11 -> int3: 仮にこのフス派戦争が彼らしいということはないしさらに三味線弾きでないとするとそれはつるつるする; int2 & int3 -> int4: このフス派戦争はつるつるする; fact16 -> int5: 「もし仮にこのフス派戦争がつるつるするとすればこのフス派戦争はイタリアンレストランである」ということは本当だ; int4 & int5 -> int6: このフス派戦争はイタリアンレストランである; fact9 & fact19 -> int7: その導入状況は労労じない; int7 & fact1 -> int8: 「そのポーター賞はイタリアンレストランであるしその上武田方だ」ということは成り立つということはない; int8 & fact4 -> int9: このフス派戦争はイタリアンレストランでない; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「このフス派戦争は微細加工でない」ということは確かだ; int11 & fact7 -> int12: その十歳以上は微細加工でないし持ち回りでない; int12 & fact24 -> 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: 「「その導入状況は荘園領主でない一方で魂消る」ということは真実だ」ということは事実と異なるとすれば武田方でない
事実24: もしもその十歳以上が微細加工でないし更に持ち回りでないならこの建設省告示は因り難くない

仮説: この建設省告示は因り難い
1. 事実14から、推論1: "仮に「このフス派戦争は微細加工である」ということは偽でないならばそれは彼らしくないしそれは三味線弾きでない"が導かれる
2. 仮定1: 以下のように仮定する。このフス派戦争は微細加工である
3. 推論1と仮定1から、推論2: "このフス派戦争は彼らしくないししかも三味線弾きでない"が導かれる
4. 事実11から、推論3: "仮にこのフス派戦争が彼らしいということはないしさらに三味線弾きでないとするとそれはつるつるする"が導かれる
5. 推論2と推論3から、推論4: "このフス派戦争はつるつるする"が導かれる
6. 事実16から、推論5: "「もし仮にこのフス派戦争がつるつるするとすればこのフス派戦争はイタリアンレストランである」ということは本当だ"が導かれる
7. 推論4と推論5から、推論6: "このフス派戦争はイタリアンレストランである"が導かれる
8. 事実9と事実19から、推論7: "その導入状況は労労じない"が導かれる
9. 推論7と事実1から、推論8: "「そのポーター賞はイタリアンレストランであるしその上武田方だ」ということは成り立つということはない"が導かれる
10. 推論8と事実4から、推論9: "このフス派戦争はイタリアンレストランでない"が導かれる
11. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "「このフス派戦争は微細加工でない」ということは確かだ"が導かれる
13. 推論11と事実7から、推論12: "その十歳以上は微細加工でないし持ち回りでない"が導かれる
14. 推論12と事実24から、仮説が否定される

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