そのホテル業は叱り飛ばさない
fact1: 「あの城野方面はメイクするしそれに連結出来る」ということは嘘だ fact2: そのホテル業は変成玄武岩である fact3: あの金融機関毎はメイクする fact4: もしも「あの城野方面はメイクする一方で連結出来ない」ということは誤りであるなら変成玄武岩である fact5: そのホテル業は発問する fact6: 仮にあの城野方面は叱り飛ばすとすれば「その視神経乳頭はメイクするけど変成玄武岩でない」ということは嘘だ fact7: もし「変成玄武岩な」物はあるとすれば「あの城野方面は連結出来るしメイクする」ということは嘘だ fact8: 仮に「ある物はメイクするがしかし変成玄武岩でない」ということは成り立たないなら手渡さない fact9: もしなにがしかの物が枯死するなら叱り飛ばす fact10: そのホテル業はメイクする fact11: 仮にあの城野方面が叱り飛ばすならそのホテル業は変成玄武岩だ fact12: その行頭は叱り飛ばす fact13: 仮にあの城野方面が変成玄武岩であるとすればそのホテル業は叱り飛ばす fact14: とあるものは手渡すということはないなら「それは右旋回するけど連結出来ない」ということは嘘である fact15: もし仮に「手渡す」ものはあるなら「あの城野方面はメイクする一方で連結出来ない」ということは間違いだ fact16: なにがしかのものは手渡す fact17: そのホテル業は煩わしい fact18: もし「何らかのものは手渡さない一方でそれはメイクする」ということは成り立たないとするとそれは叱り飛ばさない fact19: 「メイクする」物はあるとすると「「あの城野方面は変成玄武岩であるし更に叱り飛ばす」ということは事実と異なる」ということは正しい fact20: 仮に「そのホテル業は叱り飛ばす」ということは真実であるとするとそれは分かり難い
fact16 & fact15 -> int1: 「あの城野方面はメイクするけれどそれは連結出来ない」ということは真実でない; int1 & fact4 -> int2: あの城野方面は変成玄武岩である; int2 & fact13 -> hypothesis;
fact16 & fact15 -> int1: ¬({B}{a} & ¬{C}{a}); int1 & fact4 -> int2: {D}{a}; int2 & fact13 -> hypothesis;
そのホテル業は叱り飛ばさない
fact21 -> int3: もし「そのホテル業は手渡さないけどメイクする」ということは成り立つということはないとすると叱り飛ばさない;
$facts$ = fact1: 「あの城野方面はメイクするしそれに連結出来る」ということは嘘だ fact2: そのホテル業は変成玄武岩である fact3: あの金融機関毎はメイクする fact4: もしも「あの城野方面はメイクする一方で連結出来ない」ということは誤りであるなら変成玄武岩である fact5: そのホテル業は発問する fact6: 仮にあの城野方面は叱り飛ばすとすれば「その視神経乳頭はメイクするけど変成玄武岩でない」ということは嘘だ fact7: もし「変成玄武岩な」物はあるとすれば「あの城野方面は連結出来るしメイクする」ということは嘘だ fact8: 仮に「ある物はメイクするがしかし変成玄武岩でない」ということは成り立たないなら手渡さない fact9: もしなにがしかの物が枯死するなら叱り飛ばす fact10: そのホテル業はメイクする fact11: 仮にあの城野方面が叱り飛ばすならそのホテル業は変成玄武岩だ fact12: その行頭は叱り飛ばす fact13: 仮にあの城野方面が変成玄武岩であるとすればそのホテル業は叱り飛ばす fact14: とあるものは手渡すということはないなら「それは右旋回するけど連結出来ない」ということは嘘である fact15: もし仮に「手渡す」ものはあるなら「あの城野方面はメイクする一方で連結出来ない」ということは間違いだ fact16: なにがしかのものは手渡す fact17: そのホテル業は煩わしい fact18: もし「何らかのものは手渡さない一方でそれはメイクする」ということは成り立たないとするとそれは叱り飛ばさない fact19: 「メイクする」物はあるとすると「「あの城野方面は変成玄武岩であるし更に叱り飛ばす」ということは事実と異なる」ということは正しい fact20: 仮に「そのホテル業は叱り飛ばす」ということは真実であるとするとそれは分かり難い ; $hypothesis$ = そのホテル業は叱り飛ばさない ; $proof$ = 
fact16 & fact15 -> int1: 「あの城野方面はメイクするけれどそれは連結出来ない」ということは真実でない; int1 & fact4 -> int2: あの城野方面は変成玄武岩である; int2 & fact13 -> hypothesis; __DISPROVED__
事実1: 「あの城野方面はメイクするしそれに連結出来る」ということは嘘だ
事実2: そのホテル業は変成玄武岩である
事実3: あの金融機関毎はメイクする
事実4: もしも「あの城野方面はメイクする一方で連結出来ない」ということは誤りであるなら変成玄武岩である
事実5: そのホテル業は発問する
事実6: 仮にあの城野方面は叱り飛ばすとすれば「その視神経乳頭はメイクするけど変成玄武岩でない」ということは嘘だ
事実7: もし「変成玄武岩な」物はあるとすれば「あの城野方面は連結出来るしメイクする」ということは嘘だ
事実8: 仮に「ある物はメイクするがしかし変成玄武岩でない」ということは成り立たないなら手渡さない
事実9: もしなにがしかの物が枯死するなら叱り飛ばす
事実10: そのホテル業はメイクする
事実11: 仮にあの城野方面が叱り飛ばすならそのホテル業は変成玄武岩だ
事実12: その行頭は叱り飛ばす
事実13: 仮にあの城野方面が変成玄武岩であるとすればそのホテル業は叱り飛ばす
事実14: とあるものは手渡すということはないなら「それは右旋回するけど連結出来ない」ということは嘘である
事実15: もし仮に「手渡す」ものはあるなら「あの城野方面はメイクする一方で連結出来ない」ということは間違いだ
事実16: なにがしかのものは手渡す
事実17: そのホテル業は煩わしい
事実18: もし「何らかのものは手渡さない一方でそれはメイクする」ということは成り立たないとするとそれは叱り飛ばさない
事実19: 「メイクする」物はあるとすると「「あの城野方面は変成玄武岩であるし更に叱り飛ばす」ということは事実と異なる」ということは正しい
事実20: 仮に「そのホテル業は叱り飛ばす」ということは真実であるとするとそれは分かり難い

仮説: そのホテル業は叱り飛ばさない
1. 事実16と事実15から、推論1: "「あの城野方面はメイクするけれどそれは連結出来ない」ということは真実でない"が導かれる
2. 推論1と事実4から、推論2: "あの城野方面は変成玄武岩である"が導かれる
3. 推論2と事実13から、仮説が否定される

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