あの浄瑠璃擬きは配給でない
fact1: 「探索するししかも辛気臭い」物はある fact2: もしなにかは配給であるならばランクする fact3: もし仮に「探索するしそれに辛気臭い」ものがあるとしたらそのリーマンはランクしない fact4: そのリーマンは探索するということはない fact5: あの浄瑠璃擬きは辛気臭い fact6: もしも「そのリーマンはランクしない」ということは正しいとしたらあの浄瑠璃擬きは気高し fact7: もし仮にそのリーマンが探索するとするとあの浄瑠璃擬きは配給だということはない fact8: 「滑り易いしその上付加する」ものはある fact9: 何かは辛気臭い fact10: 「探索する」物はある fact11: もし仮になにかは気高しとすれば配給である fact12: もし仮に何かはランクするとしたらそれは配給だ
fact1 & fact3 -> int1: 「そのリーマンはランクしない」ということは真実である; int1 & fact6 -> int2: あの浄瑠璃擬きは気高し; fact11 -> int3: もしもあの浄瑠璃擬きは気高しならば「配給だ」ということは確かである; int2 & int3 -> hypothesis;
あの浄瑠璃擬きは配給でない
$facts$ = fact1: 「探索するししかも辛気臭い」物はある fact2: もしなにかは配給であるならばランクする fact3: もし仮に「探索するしそれに辛気臭い」ものがあるとしたらそのリーマンはランクしない fact4: そのリーマンは探索するということはない fact5: あの浄瑠璃擬きは辛気臭い fact6: もしも「そのリーマンはランクしない」ということは正しいとしたらあの浄瑠璃擬きは気高し fact7: もし仮にそのリーマンが探索するとするとあの浄瑠璃擬きは配給だということはない fact8: 「滑り易いしその上付加する」ものはある fact9: 何かは辛気臭い fact10: 「探索する」物はある fact11: もし仮になにかは気高しとすれば配給である fact12: もし仮に何かはランクするとしたらそれは配給だ ; $hypothesis$ = あの浄瑠璃擬きは配給でない ; $proof$ = 
fact1 & fact3 -> int1: 「そのリーマンはランクしない」ということは真実である; int1 & fact6 -> int2: あの浄瑠璃擬きは気高し; fact11 -> int3: もしもあの浄瑠璃擬きは気高しならば「配給だ」ということは確かである; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「探索するししかも辛気臭い」物はある
事実2: もしなにかは配給であるならばランクする
事実3: もし仮に「探索するしそれに辛気臭い」ものがあるとしたらそのリーマンはランクしない
事実4: そのリーマンは探索するということはない
事実5: あの浄瑠璃擬きは辛気臭い
事実6: もしも「そのリーマンはランクしない」ということは正しいとしたらあの浄瑠璃擬きは気高し
事実7: もし仮にそのリーマンが探索するとするとあの浄瑠璃擬きは配給だということはない
事実8: 「滑り易いしその上付加する」ものはある
事実9: 何かは辛気臭い
事実10: 「探索する」物はある
事実11: もし仮になにかは気高しとすれば配給である
事実12: もし仮に何かはランクするとしたらそれは配給だ

仮説: あの浄瑠璃擬きは配給でない
1. 事実1と事実3から、推論1: "「そのリーマンはランクしない」ということは真実である"が導かれる
2. 推論1と事実6から、推論2: "あの浄瑠璃擬きは気高し"が導かれる
3. 事実11から、推論3: "もしもあの浄瑠璃擬きは気高しならば「配給だ」ということは確かである"が導かれる
4. 推論2と推論3から、仮説が否定される

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