その隠しは吸い上げるけれどそれは奥床しくない
fact1: その隠しが閲覧室でないならばそれは吸い上げるしそれは金属元素だ fact2: もし仮にそのジャケット姿は学習計画でないかまたは肥前国でないかまたはどちらもならば肥前国でない fact3: このオルドー自由主義は金属元素だ fact4: その隠しは金属元素だ fact5: 「その隠しは吸い上げるしそれに奥床しい」ということは間違いである fact6: もし仮にその隠しは薬臭いとすると「金属元素であるし寒々しかない」ということは間違いだ fact7: 仮に「「なにがしかの物は奥床しいけど記述群でない」ということは成り立つ」ということは誤っているとすると「それは奥床しいということはない」ということは本当である fact8: もし仮に「「学習計画だしその上肥前国だ」ということは間違いである」物があるならその隠しは肥前国でない fact9: なにかは閲覧室でないならば「学習計画であるし肥前国である」ということは成り立たない fact10: もしその隠しは金属元素であるとすれば「吸い上げるしそれは奥床しい」ということは間違いだ fact11: 仮にその隠しは金属元素であるとすれば「吸い上げる一方で奥床しいということはない」ということは誤っている
fact11 & fact4 -> hypothesis;
fact11 & fact4 -> hypothesis;
その隠しは吸い上げる一方で奥床しくない
fact13 -> int1: もしも「その隠しは奥床しい一方で記述群でない」ということは事実と異なるとしたらそれは奥床しいということはない;
$facts$ = fact1: その隠しが閲覧室でないならばそれは吸い上げるしそれは金属元素だ fact2: もし仮にそのジャケット姿は学習計画でないかまたは肥前国でないかまたはどちらもならば肥前国でない fact3: このオルドー自由主義は金属元素だ fact4: その隠しは金属元素だ fact5: 「その隠しは吸い上げるしそれに奥床しい」ということは間違いである fact6: もし仮にその隠しは薬臭いとすると「金属元素であるし寒々しかない」ということは間違いだ fact7: 仮に「「なにがしかの物は奥床しいけど記述群でない」ということは成り立つ」ということは誤っているとすると「それは奥床しいということはない」ということは本当である fact8: もし仮に「「学習計画だしその上肥前国だ」ということは間違いである」物があるならその隠しは肥前国でない fact9: なにかは閲覧室でないならば「学習計画であるし肥前国である」ということは成り立たない fact10: もしその隠しは金属元素であるとすれば「吸い上げるしそれは奥床しい」ということは間違いだ fact11: 仮にその隠しは金属元素であるとすれば「吸い上げる一方で奥床しいということはない」ということは誤っている ; $hypothesis$ = その隠しは吸い上げるけれどそれは奥床しくない ; $proof$ = 
fact11 & fact4 -> hypothesis; __DISPROVED__
事実1: その隠しが閲覧室でないならばそれは吸い上げるしそれは金属元素だ
事実2: もし仮にそのジャケット姿は学習計画でないかまたは肥前国でないかまたはどちらもならば肥前国でない
事実3: このオルドー自由主義は金属元素だ
事実4: その隠しは金属元素だ
事実5: 「その隠しは吸い上げるしそれに奥床しい」ということは間違いである
事実6: もし仮にその隠しは薬臭いとすると「金属元素であるし寒々しかない」ということは間違いだ
事実7: 仮に「「なにがしかの物は奥床しいけど記述群でない」ということは成り立つ」ということは誤っているとすると「それは奥床しいということはない」ということは本当である
事実8: もし仮に「「学習計画だしその上肥前国だ」ということは間違いである」物があるならその隠しは肥前国でない
事実9: なにかは閲覧室でないならば「学習計画であるし肥前国である」ということは成り立たない
事実10: もしその隠しは金属元素であるとすれば「吸い上げるしそれは奥床しい」ということは間違いだ
事実11: 仮にその隠しは金属元素であるとすれば「吸い上げる一方で奥床しいということはない」ということは誤っている

仮説: その隠しは吸い上げるけれどそれは奥床しくない
1. 事実11と事実4から、仮説が否定される

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