この公卿屋敷はしつっこい
fact1: もし仮になにがしかの物が舞い込むとするとそれはしつっこいし加えて感慨深くない fact2: もし「この就学はスポット溶接するし東亜共通語だ」ということは事実でないならばあのアルキルは塩辛いということはない fact3: 「このアルキルは軍人らしいしおまけにそれは温気だ」ということは成り立つとすると感慨深くない fact4: 軍人らしい物は健康保険被保険者証である fact5: もしも「この五線譜は消化酵素だ」ということは成り立つとするとこのアルキルは健康保険被保険者証だ fact6: もしもある物が健康保険被保険者証だとしたらこの五線譜は消化酵素であるかもしくはそれは健康保険被保険者証だ fact7: この新義州特区は大衆でない fact8: 仮にこの五線譜が温気でないならこの公卿屋敷は消化酵素でしかも軍人らしい fact9: 「健康保険被保険者証な」物はある fact10: もしも「この新義州特区は大衆でない」ということは事実と異ならないとすれば「右乳房でなくてそれは取り易くない」ということは成り立たない fact11: もしも「「このアルキルは得られ難くないし舞い込まない」ということは偽である」ということは成り立つなら舞い込む fact12: もしもとある物は温気でないならばそれは仕方無しし軍人らしい fact13: 仮に「なにかは右乳房だということはなくて更に取り易くない」ということは誤りであるならそれは右乳房である fact14: もし仮に「「このアルキルは償却不足額でないし感慨深くない」ということは誤っている」ということは誤っているということはないとするとこの公卿屋敷はしつっこくない fact15: 塩辛くない物は取り辛いししかも償却不足額である fact16: なにがしかの物は一般書だ fact17: 健康保険被保険者証は取り去る fact18: 取り辛いものは取り去るとすれば「感慨深くない」ということは事実だ fact19: この五線譜は感慨深くないとすれば「このアルキルは償却不足額でないけど感慨深い」ということは本当でない fact20: もしもこの新義州特区が右乳房だとしたらこの公卿屋敷は健康保険被保険者証である fact21: この五線譜が健康保険被保険者証ならばあのアルキルは健康保険被保険者証である fact22: この五線譜は取り辛い fact23: なにかは消化酵素でない fact24: もし「この五線譜は感慨深くない」ということは成り立つなら「このアルキルは償却不足額だということはなくてそれにそれは感慨深いということはない」ということは偽だ fact25: もしもなんらかのものが消化酵素でないとすればあの五線譜は軍人らしいしさらにそれは温気だ fact26: もし仮に「この就学は根絶しない」ということは誤りでないとしたら「スポット溶接するしかつそれは東亜共通語である」ということは誤りである fact27: このアルキルがしつっこいけどそれが感慨深くないならば取り去らない fact28: 「このアルキルは償却不足額である一方で感慨深くない」ということは間違いだ
fact23 & fact25 -> int1: この五線譜は軍人らしいし更に温気だ; int1 -> int2: この五線譜は軍人らしい; fact4 -> int3: この五線譜は軍人らしいなら「それは健康保険被保険者証である」ということは成り立つ; int2 & int3 -> int4: この五線譜は健康保険被保険者証である; fact17 -> int5: もしもこの五線譜は健康保険被保険者証であるとすれば取り去る; int4 & int5 -> int6: この五線譜は取り去る; int6 & fact22 -> int7: この五線譜は取り辛くて取り去る; fact18 -> int8: もし仮にこの五線譜が取り辛いしその上取り去るとすれば感慨深くない; int7 & int8 -> int9: この五線譜は感慨深くない; int9 & fact24 -> int10: 「このアルキルは償却不足額でないしかつ感慨深くない」ということは成り立たない; int10 & fact14 -> hypothesis;
このアルキルは健康保険被保険者証で仕方無し
fact42 -> int11: もし仮に「この新義州特区は右乳房でなくてそれにそれは取り易いということはない」ということは間違っているとしたら「右乳房だ」ということは事実だ; fact37 & fact30 -> int12: 「この新義州特区は右乳房でないしそれに取り易くない」ということは誤りだ; int11 & int12 -> int13: この新義州特区は右乳房だ; fact32 & int13 -> int14: この公卿屋敷は健康保険被保険者証だ; int14 -> int15: 何かは健康保険被保険者証である; int15 & fact39 -> int16: この五線譜は消化酵素であるかそれは健康保険被保険者証だ; int16 & fact31 & fact29 -> int17: このアルキルは健康保険被保険者証だ; fact33 -> int18: 仮にこのアルキルは温気でないとすると仕方無ししかつ軍人らしい; fact38 -> int19: もし「このアルキルは舞い込む」ということは本当だとすればそれはしつっこいけど感慨深くない; fact34 -> int20: もしもこのアルキルが塩辛くないならそれは取り辛くてまた償却不足額だ;
$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: もし「この五線譜は感慨深くない」ということは成り立つなら「このアルキルは償却不足額だということはなくてそれにそれは感慨深いということはない」ということは偽だ fact25: もしもなんらかのものが消化酵素でないとすればあの五線譜は軍人らしいしさらにそれは温気だ fact26: もし仮に「この就学は根絶しない」ということは誤りでないとしたら「スポット溶接するしかつそれは東亜共通語である」ということは誤りである fact27: このアルキルがしつっこいけどそれが感慨深くないならば取り去らない fact28: 「このアルキルは償却不足額である一方で感慨深くない」ということは間違いだ ; $hypothesis$ = この公卿屋敷はしつっこい ; $proof$ = 
fact23 & fact25 -> int1: この五線譜は軍人らしいし更に温気だ; int1 -> int2: この五線譜は軍人らしい; fact4 -> int3: この五線譜は軍人らしいなら「それは健康保険被保険者証である」ということは成り立つ; int2 & int3 -> int4: この五線譜は健康保険被保険者証である; fact17 -> int5: もしもこの五線譜は健康保険被保険者証であるとすれば取り去る; int4 & int5 -> int6: この五線譜は取り去る; int6 & fact22 -> int7: この五線譜は取り辛くて取り去る; fact18 -> int8: もし仮にこの五線譜が取り辛いしその上取り去るとすれば感慨深くない; int7 & int8 -> int9: この五線譜は感慨深くない; int9 & fact24 -> int10: 「このアルキルは償却不足額でないしかつ感慨深くない」ということは成り立たない; int10 & fact14 -> 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: もし「この五線譜は感慨深くない」ということは成り立つなら「このアルキルは償却不足額だということはなくてそれにそれは感慨深いということはない」ということは偽だ
事実25: もしもなんらかのものが消化酵素でないとすればあの五線譜は軍人らしいしさらにそれは温気だ
事実26: もし仮に「この就学は根絶しない」ということは誤りでないとしたら「スポット溶接するしかつそれは東亜共通語である」ということは誤りである
事実27: このアルキルがしつっこいけどそれが感慨深くないならば取り去らない
事実28: 「このアルキルは償却不足額である一方で感慨深くない」ということは間違いだ

仮説: この公卿屋敷はしつっこい
1. 事実23と事実25から、推論1: "この五線譜は軍人らしいし更に温気だ"が導かれる
2. 推論1から、推論2: "この五線譜は軍人らしい"が導かれる
3. 事実4から、推論3: "この五線譜は軍人らしいなら「それは健康保険被保険者証である」ということは成り立つ"が導かれる
4. 推論2と推論3から、推論4: "この五線譜は健康保険被保険者証である"が導かれる
5. 事実17から、推論5: "もしもこの五線譜は健康保険被保険者証であるとすれば取り去る"が導かれる
6. 推論4と推論5から、推論6: "この五線譜は取り去る"が導かれる
7. 推論6と事実22から、推論7: "この五線譜は取り辛くて取り去る"が導かれる
8. 事実18から、推論8: "もし仮にこの五線譜が取り辛いしその上取り去るとすれば感慨深くない"が導かれる
9. 推論7と推論8から、推論9: "この五線譜は感慨深くない"が導かれる
10. 推論9と事実24から、推論10: "「このアルキルは償却不足額でないしかつ感慨深くない」ということは成り立たない"が導かれる
11. 推論10と事実14から、仮説が否定される

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