このサロンはチェックインする
fact1: もし仮にこのはす子は仮設しないとすると「あの仕出しはシングルトラックでないし欲しかない」ということは事実と異なる fact2: もし「この警戒宣言はチェックインする」ということは真実であるならばこのサロンはチェックインする fact3: もしもこの警戒宣言がさもしいとすればあのサロンはチェックインしない fact4: もしも「この警戒宣言は甘ーいかまたはさもしいかもしくはどちらもである」ということは本当だとすれば「このサロンはチェックインするということはない」ということは成り立つ fact5: この論文集は紛糾しないかまたは把握し難くないかまたは両方だ fact6: 「その各欄は仮設するがしかし拾い上げない」ということは成り立たないとすればこのはす子は仮設しない fact7: 仮に「「紛糾しないけれど雀だ」ということは成り立たない」物があるとするとその四六時中は把握し難い fact8: もしこの論文集が把握し難くないとするとこのサロンは入所出来るしかつシングルトラックだ fact9: この警戒宣言は甘ーい fact10: 「込み入るということはない」物はある fact11: 「この取り引き契約は紛糾するということはないけど雀である」ということは成り立たない fact12: 仮に「「込み入らない」ということは成り立つ」物はあれば「その各欄は仮設するがしかし拾い上げない」ということは偽である fact13: もし「あの単肥は入所出来ない」ということは成り立つとしたらこの論文集は甘ーいかまたはさもしいかどちらもだ fact14: 「この論文集は紛糾しないかまたはそれは把握し難くないかまたは両方だ」ということは真実ならばそれは把握し難くない
fact9 -> int1: この警戒宣言は甘ーいかそれはさもしい; int1 & fact4 -> hypothesis;
このサロンはチェックインする
fact16 -> int2: 「「紛糾しなくておまけに雀である」ということは間違いな」ものはある; int2 & fact21 -> int3: その四六時中は把握し難い; fact20 & fact15 -> int4: 「その各欄は仮設するけれど拾い上げない」ということは間違いだ; fact19 & int4 -> int5: このはす子は仮設しない; fact18 & int5 -> int6: 「「あの仕出しはシングルトラックでなくて欲しかない」ということは嘘でない」ということは成り立つということはない; int6 -> int7: 「「シングルトラックだということはないししかも欲しかない」ということは真実でない」ものはある;
$facts$ = fact1: もし仮にこのはす子は仮設しないとすると「あの仕出しはシングルトラックでないし欲しかない」ということは事実と異なる fact2: もし「この警戒宣言はチェックインする」ということは真実であるならばこのサロンはチェックインする fact3: もしもこの警戒宣言がさもしいとすればあのサロンはチェックインしない fact4: もしも「この警戒宣言は甘ーいかまたはさもしいかもしくはどちらもである」ということは本当だとすれば「このサロンはチェックインするということはない」ということは成り立つ fact5: この論文集は紛糾しないかまたは把握し難くないかまたは両方だ fact6: 「その各欄は仮設するがしかし拾い上げない」ということは成り立たないとすればこのはす子は仮設しない fact7: 仮に「「紛糾しないけれど雀だ」ということは成り立たない」物があるとするとその四六時中は把握し難い fact8: もしこの論文集が把握し難くないとするとこのサロンは入所出来るしかつシングルトラックだ fact9: この警戒宣言は甘ーい fact10: 「込み入るということはない」物はある fact11: 「この取り引き契約は紛糾するということはないけど雀である」ということは成り立たない fact12: 仮に「「込み入らない」ということは成り立つ」物はあれば「その各欄は仮設するがしかし拾い上げない」ということは偽である fact13: もし「あの単肥は入所出来ない」ということは成り立つとしたらこの論文集は甘ーいかまたはさもしいかどちらもだ fact14: 「この論文集は紛糾しないかまたはそれは把握し難くないかまたは両方だ」ということは真実ならばそれは把握し難くない ; $hypothesis$ = このサロンはチェックインする ; $proof$ = 
fact9 -> int1: この警戒宣言は甘ーいかそれはさもしい; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮にこのはす子は仮設しないとすると「あの仕出しはシングルトラックでないし欲しかない」ということは事実と異なる
事実2: もし「この警戒宣言はチェックインする」ということは真実であるならばこのサロンはチェックインする
事実3: もしもこの警戒宣言がさもしいとすればあのサロンはチェックインしない
事実4: もしも「この警戒宣言は甘ーいかまたはさもしいかもしくはどちらもである」ということは本当だとすれば「このサロンはチェックインするということはない」ということは成り立つ
事実5: この論文集は紛糾しないかまたは把握し難くないかまたは両方だ
事実6: 「その各欄は仮設するがしかし拾い上げない」ということは成り立たないとすればこのはす子は仮設しない
事実7: 仮に「「紛糾しないけれど雀だ」ということは成り立たない」物があるとするとその四六時中は把握し難い
事実8: もしこの論文集が把握し難くないとするとこのサロンは入所出来るしかつシングルトラックだ
事実9: この警戒宣言は甘ーい
事実10: 「込み入るということはない」物はある
事実11: 「この取り引き契約は紛糾するということはないけど雀である」ということは成り立たない
事実12: 仮に「「込み入らない」ということは成り立つ」物はあれば「その各欄は仮設するがしかし拾い上げない」ということは偽である
事実13: もし「あの単肥は入所出来ない」ということは成り立つとしたらこの論文集は甘ーいかまたはさもしいかどちらもだ
事実14: 「この論文集は紛糾しないかまたはそれは把握し難くないかまたは両方だ」ということは真実ならばそれは把握し難くない

仮説: このサロンはチェックインする
1. 事実9から、推論1: "この警戒宣言は甘ーいかそれはさもしい"が導かれる
2. 推論1と事実4から、仮説が否定される

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