この右要件は取り易くない
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: この塩分は飲み交わさない
fact1 -> int1: もしこの塩分は動向等でなくてしかも伝授しないとすると黒っぽい; void -> assump1: 以下のように仮定する。この塩分は動向等でなくて伝授しない; int1 & assump1 -> int2: この塩分は黒っぽい; fact18 -> int3: 何らかのものは黒っぽくないかまたはそれは出廷でないかまたは両方である; int3 & fact20 -> int4: この塩分は黒っぽくない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この塩分は動向等でなくてそれにそれは伝授しない」ということは誤りである; int6 & fact21 -> int7: 「この右要件は草案である」ということは真実である; fact23 & fact6 -> int8: この右要件は実姉だけれど修補義務でない; int8 & fact2 -> int9: 「この右要件は飲み交わすということはない」ということは本当である; int7 & int9 -> int10: この右要件は草案だが飲み交わさない; fact14 -> int11: 仮にこの右要件が草案だけど飲み交わさないとしたらそれは取り易くない; int10 & int11 -> hypothesis;
このオプショナル・ツアーは黒っぽい
fact26 -> int12: 「このオプショナル・ツアーは草案だということはないし飲み交わさない」ということは成り立たないとすれば黒っぽい;
$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: この塩分は飲み交わさない ; $hypothesis$ = この右要件は取り易くない ; $proof$ = 
fact1 -> int1: もしこの塩分は動向等でなくてしかも伝授しないとすると黒っぽい; void -> assump1: 以下のように仮定する。この塩分は動向等でなくて伝授しない; int1 & assump1 -> int2: この塩分は黒っぽい; fact18 -> int3: 何らかのものは黒っぽくないかまたはそれは出廷でないかまたは両方である; int3 & fact20 -> int4: この塩分は黒っぽくない; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この塩分は動向等でなくてそれにそれは伝授しない」ということは誤りである; int6 & fact21 -> int7: 「この右要件は草案である」ということは真実である; fact23 & fact6 -> int8: この右要件は実姉だけれど修補義務でない; int8 & fact2 -> int9: 「この右要件は飲み交わすということはない」ということは本当である; int7 & int9 -> int10: この右要件は草案だが飲み交わさない; fact14 -> int11: 仮にこの右要件が草案だけど飲み交わさないとしたらそれは取り易くない; int10 & int11 -> hypothesis; __PROVED__
事実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: この塩分は飲み交わさない

仮説: この右要件は取り易くない
1. 事実1から、推論1: "もしこの塩分は動向等でなくてしかも伝授しないとすると黒っぽい"が導かれる
2. 仮定1: 以下のように仮定する。この塩分は動向等でなくて伝授しない
3. 推論1と仮定1から、推論2: "この塩分は黒っぽい"が導かれる
4. 事実18から、推論3: "何らかのものは黒っぽくないかまたはそれは出廷でないかまたは両方である"が導かれる
5. 推論3と事実20から、推論4: "この塩分は黒っぽくない"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この塩分は動向等でなくてそれにそれは伝授しない」ということは誤りである"が導かれる
8. 推論6と事実21から、推論7: "「この右要件は草案である」ということは真実である"が導かれる
9. 事実23と事実6から、推論8: "この右要件は実姉だけれど修補義務でない"が導かれる
10. 推論8と事実2から、推論9: "「この右要件は飲み交わすということはない」ということは本当である"が導かれる
11. 推論7と推論9から、推論10: "この右要件は草案だが飲み交わさない"が導かれる
12. 事実14から、推論11: "仮にこの右要件が草案だけど飲み交わさないとしたらそれは取り易くない"が導かれる
13. 推論10と推論11から、仮説が導かれる

よって、仮説が証明されました。