「その評価認証は開けるしおまけに灯す」ということは間違いだ
fact1: 「その北海道開拓は見慣れないかそれは無茶苦茶であるかあるいはどちらもである」ということは間違いであるならこの馬乳酒は見慣れるということはない fact2: あの非軸足は一万三千前後でない fact3: もし仮に「この馬乳酒は見慣れるということはない」ということは事実だとすればそれは高しない fact4: もしその評価認証は見易いとすれば「それは灯す」ということは成り立つ fact5: 「その北海道開拓は見慣れないかそれは無茶苦茶であるかまたはどちらもだ」ということは成り立つということはない fact6: 仮に何らかの物が生み出さないとすればそれはヒプノセラピーであるかあるいは未練がましいかどちらもだ fact7: 仮にこのスクリーン線数は見易くないとすれば「その評価認証は灯すかまたは一万三千前後でないかまたはどちらもである」ということは間違いだ fact8: もしとある物は高しないとすれば「信じ合えるかもしくは出願する」ということは偽だ fact9: もし仮に「「灯すか一万三千前後でないかまたは両方ともである」ということは偽である」ものがあるとすればあの非軸足はゲレンデである fact10: このスクリーン線数はゲレンデであるし一万三千前後だ fact11: もし仮にとある物はヒプノセラピーでないなら「見易くない」ということは正しい fact12: もしも「あの非軸足は一万三千前後でない」ということは正しいとしたらその評価認証は開けるし細かい fact13: もしも「その評価認証は見易くないしそれにゲレンデでない」ということは成り立たないとするとそれは灯す fact14: 仮にとあるものは好もしいとしたら「かったるいか真っ白くないかあるいは両方ともだ」ということは間違っている fact15: 「その評価認証は見易いがしかしゲレンデでない」ということは本当でない fact16: 「「信じ合えるか出願する」ということは間違いである」物があるとしたらあの話型は好もしい fact17: もしもその評価認証はヒプノセラピーであるとすると「見易い一方でゲレンデでない」ということは成り立たない fact18: もしその評価認証はヒプノセラピーであるとすると「それは見易くないしさらにゲレンデであるということはない」ということは成り立たない fact19: その評価認証はヒプノセラピーだ fact20: もし「あの話型はヒプノセラピーだということはない」ということは成り立たないとすれば「このスクリーン線数はヒプノセラピーでない」ということは成り立つ fact21: もし仮に「あの非軸足は一万三千前後でない」ということは真実なら「その評価認証は細かい」ということは本当である fact22: もし「とあるものはかったるいかまたは真っ白くない」ということは間違いであるとすればそれは生み出さない
fact12 & fact2 -> int1: その評価認証は開けるし加えて細かい; int1 -> int2: 「その評価認証は開ける」ということは確かだ; fact18 & fact19 -> int3: 「その評価認証は見易くないしまたゲレンデでない」ということは成り立つということはない; int3 & fact13 -> int4: その評価認証は灯す; int2 & int4 -> hypothesis;
fact12 & fact2 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AA}{b}; fact18 & fact19 -> int3: ¬(¬{C}{b} & ¬{D}{b}); int3 & fact13 -> int4: {B}{b}; int2 & int4 -> hypothesis;
あの非軸足はゲレンデだ
fact34 -> int5: もしもこのスクリーン線数はヒプノセラピーでないとするとそれは見易いということはない; fact32 -> int6: あの話型が生み出すということはないとすればそれはヒプノセラピーであるかあるいは未練がましいかまたは両方である; fact31 -> int7: 仮に「あの話型はかったるいかもしくはそれは真っ白くない」ということは偽であるとすれば生み出さない; fact23 -> int8: あの話型は好もしいとすれば「かったるいか真っ白くない」ということは偽である; fact26 -> int9: もし仮に「この馬乳酒は高しない」ということは誤っていないとしたら「それは信じ合えるかあるいは出願する」ということは事実と異なる; fact25 & fact27 -> int10: この馬乳酒は見慣れない; fact30 & int10 -> int11: この馬乳酒は高しない; int9 & int11 -> int12: 「この馬乳酒は信じ合えるかそれは出願する」ということは偽だ; int12 -> int13: 「「信じ合えるかあるいは出願する」ということは成り立たない」物はある; int13 & fact24 -> int14: あの話型は好もしい; int8 & int14 -> int15: 「あの話型はかったるいかもしくは真っ白くない」ということは成り立たない; int7 & int15 -> int16: あの話型は生み出さない; int6 & int16 -> int17: あの話型はヒプノセラピーであるかまたは未練がましいかまたはどちらもである;
$facts$ = fact1: 「その北海道開拓は見慣れないかそれは無茶苦茶であるかあるいはどちらもである」ということは間違いであるならこの馬乳酒は見慣れるということはない fact2: あの非軸足は一万三千前後でない fact3: もし仮に「この馬乳酒は見慣れるということはない」ということは事実だとすればそれは高しない fact4: もしその評価認証は見易いとすれば「それは灯す」ということは成り立つ fact5: 「その北海道開拓は見慣れないかそれは無茶苦茶であるかまたはどちらもだ」ということは成り立つということはない fact6: 仮に何らかの物が生み出さないとすればそれはヒプノセラピーであるかあるいは未練がましいかどちらもだ fact7: 仮にこのスクリーン線数は見易くないとすれば「その評価認証は灯すかまたは一万三千前後でないかまたはどちらもである」ということは間違いだ fact8: もしとある物は高しないとすれば「信じ合えるかもしくは出願する」ということは偽だ fact9: もし仮に「「灯すか一万三千前後でないかまたは両方ともである」ということは偽である」ものがあるとすればあの非軸足はゲレンデである fact10: このスクリーン線数はゲレンデであるし一万三千前後だ fact11: もし仮にとある物はヒプノセラピーでないなら「見易くない」ということは正しい fact12: もしも「あの非軸足は一万三千前後でない」ということは正しいとしたらその評価認証は開けるし細かい fact13: もしも「その評価認証は見易くないしそれにゲレンデでない」ということは成り立たないとするとそれは灯す fact14: 仮にとあるものは好もしいとしたら「かったるいか真っ白くないかあるいは両方ともだ」ということは間違っている fact15: 「その評価認証は見易いがしかしゲレンデでない」ということは本当でない fact16: 「「信じ合えるか出願する」ということは間違いである」物があるとしたらあの話型は好もしい fact17: もしもその評価認証はヒプノセラピーであるとすると「見易い一方でゲレンデでない」ということは成り立たない fact18: もしその評価認証はヒプノセラピーであるとすると「それは見易くないしさらにゲレンデであるということはない」ということは成り立たない fact19: その評価認証はヒプノセラピーだ fact20: もし「あの話型はヒプノセラピーだということはない」ということは成り立たないとすれば「このスクリーン線数はヒプノセラピーでない」ということは成り立つ fact21: もし仮に「あの非軸足は一万三千前後でない」ということは真実なら「その評価認証は細かい」ということは本当である fact22: もし「とあるものはかったるいかまたは真っ白くない」ということは間違いであるとすればそれは生み出さない ; $hypothesis$ = 「その評価認証は開けるしおまけに灯す」ということは間違いだ ; $proof$ = 
fact12 & fact2 -> int1: その評価認証は開けるし加えて細かい; int1 -> int2: 「その評価認証は開ける」ということは確かだ; fact18 & fact19 -> int3: 「その評価認証は見易くないしまたゲレンデでない」ということは成り立つということはない; int3 & fact13 -> int4: その評価認証は灯す; int2 & int4 -> hypothesis; __DISPROVED__
事実1: 「その北海道開拓は見慣れないかそれは無茶苦茶であるかあるいはどちらもである」ということは間違いであるならこの馬乳酒は見慣れるということはない
事実2: あの非軸足は一万三千前後でない
事実3: もし仮に「この馬乳酒は見慣れるということはない」ということは事実だとすればそれは高しない
事実4: もしその評価認証は見易いとすれば「それは灯す」ということは成り立つ
事実5: 「その北海道開拓は見慣れないかそれは無茶苦茶であるかまたはどちらもだ」ということは成り立つということはない
事実6: 仮に何らかの物が生み出さないとすればそれはヒプノセラピーであるかあるいは未練がましいかどちらもだ
事実7: 仮にこのスクリーン線数は見易くないとすれば「その評価認証は灯すかまたは一万三千前後でないかまたはどちらもである」ということは間違いだ
事実8: もしとある物は高しないとすれば「信じ合えるかもしくは出願する」ということは偽だ
事実9: もし仮に「「灯すか一万三千前後でないかまたは両方ともである」ということは偽である」ものがあるとすればあの非軸足はゲレンデである
事実10: このスクリーン線数はゲレンデであるし一万三千前後だ
事実11: もし仮にとある物はヒプノセラピーでないなら「見易くない」ということは正しい
事実12: もしも「あの非軸足は一万三千前後でない」ということは正しいとしたらその評価認証は開けるし細かい
事実13: もしも「その評価認証は見易くないしそれにゲレンデでない」ということは成り立たないとするとそれは灯す
事実14: 仮にとあるものは好もしいとしたら「かったるいか真っ白くないかあるいは両方ともだ」ということは間違っている
事実15: 「その評価認証は見易いがしかしゲレンデでない」ということは本当でない
事実16: 「「信じ合えるか出願する」ということは間違いである」物があるとしたらあの話型は好もしい
事実17: もしもその評価認証はヒプノセラピーであるとすると「見易い一方でゲレンデでない」ということは成り立たない
事実18: もしその評価認証はヒプノセラピーであるとすると「それは見易くないしさらにゲレンデであるということはない」ということは成り立たない
事実19: その評価認証はヒプノセラピーだ
事実20: もし「あの話型はヒプノセラピーだということはない」ということは成り立たないとすれば「このスクリーン線数はヒプノセラピーでない」ということは成り立つ
事実21: もし仮に「あの非軸足は一万三千前後でない」ということは真実なら「その評価認証は細かい」ということは本当である
事実22: もし「とあるものはかったるいかまたは真っ白くない」ということは間違いであるとすればそれは生み出さない

仮説: 「その評価認証は開けるしおまけに灯す」ということは間違いだ
1. 事実12と事実2から、推論1: "その評価認証は開けるし加えて細かい"が導かれる
2. 推論1から、推論2: "「その評価認証は開ける」ということは確かだ"が導かれる
3. 事実18と事実19から、推論3: "「その評価認証は見易くないしまたゲレンデでない」ということは成り立つということはない"が導かれる
4. 推論3と事実13から、推論4: "その評価認証は灯す"が導かれる
5. 推論2と推論4から、仮説が否定される

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