あの本草は僻みっぽくない
fact1: この内部利益は飲み掛けないならば「伏すがしかしＭ法でない」ということは成り立つということはない fact2: もしこの内部利益が捨て難いとすれば飲み掛ける fact3: 切り易いものは帯紐である fact4: この内部利益は僻みっぽい fact5: その国学者は飲み掛けない fact6: この内部利益は飲み掛けない fact7: 「「この内部利益は伏すけどそれはＭ法でない」ということは成り立つということはない」ということは成り立つならその郷民は切り易い fact8: もし「その郷民はキャッシュ化する一方で捨て難くない」ということは間違っているとすればあの本草は僻みっぽいということはない fact9: とあるものは帯紐だとしたら「それはキャッシュ化するしそれは捨て難くない」ということは偽だ fact10: 「その郷民は切り易いがＭ法でない」ということは間違いである
fact1 & fact6 -> int1: 「「この内部利益は伏すけれどＭ法でない」ということは誤りである」ということは本当だ; int1 & fact7 -> int2: 「その郷民は切り易い」ということは本当である; fact3 -> int3: もしその郷民が切り易いとしたらそれは帯紐である; int2 & int3 -> int4: その郷民は帯紐だ; fact9 -> int5: もしもその郷民は帯紐であるとすると「それはキャッシュ化するがしかし捨て難くない」ということは確かでない; int4 & int5 -> int6: 「その郷民はキャッシュ化するけれど捨て難いということはない」ということは嘘だ; int6 & fact8 -> hypothesis;
$facts$ = fact1: この内部利益は飲み掛けないならば「伏すがしかしＭ法でない」ということは成り立つということはない fact2: もしこの内部利益が捨て難いとすれば飲み掛ける fact3: 切り易いものは帯紐である fact4: この内部利益は僻みっぽい fact5: その国学者は飲み掛けない fact6: この内部利益は飲み掛けない fact7: 「「この内部利益は伏すけどそれはＭ法でない」ということは成り立つということはない」ということは成り立つならその郷民は切り易い fact8: もし「その郷民はキャッシュ化する一方で捨て難くない」ということは間違っているとすればあの本草は僻みっぽいということはない fact9: とあるものは帯紐だとしたら「それはキャッシュ化するしそれは捨て難くない」ということは偽だ fact10: 「その郷民は切り易いがＭ法でない」ということは間違いである ; $hypothesis$ = あの本草は僻みっぽくない ; $proof$ = 
fact1 & fact6 -> int1: 「「この内部利益は伏すけれどＭ法でない」ということは誤りである」ということは本当だ; int1 & fact7 -> int2: 「その郷民は切り易い」ということは本当である; fact3 -> int3: もしその郷民が切り易いとしたらそれは帯紐である; int2 & int3 -> int4: その郷民は帯紐だ; fact9 -> int5: もしもその郷民は帯紐であるとすると「それはキャッシュ化するがしかし捨て難くない」ということは確かでない; int4 & int5 -> int6: 「その郷民はキャッシュ化するけれど捨て難いということはない」ということは嘘だ; int6 & fact8 -> hypothesis; __PROVED__
事実1: この内部利益は飲み掛けないならば「伏すがしかしＭ法でない」ということは成り立つということはない
事実2: もしこの内部利益が捨て難いとすれば飲み掛ける
事実3: 切り易いものは帯紐である
事実4: この内部利益は僻みっぽい
事実5: その国学者は飲み掛けない
事実6: この内部利益は飲み掛けない
事実7: 「「この内部利益は伏すけどそれはＭ法でない」ということは成り立つということはない」ということは成り立つならその郷民は切り易い
事実8: もし「その郷民はキャッシュ化する一方で捨て難くない」ということは間違っているとすればあの本草は僻みっぽいということはない
事実9: とあるものは帯紐だとしたら「それはキャッシュ化するしそれは捨て難くない」ということは偽だ
事実10: 「その郷民は切り易いがＭ法でない」ということは間違いである

仮説: あの本草は僻みっぽくない
1. 事実1と事実6から、推論1: "「「この内部利益は伏すけれどＭ法でない」ということは誤りである」ということは本当だ"が導かれる
2. 推論1と事実7から、推論2: "「その郷民は切り易い」ということは本当である"が導かれる
3. 事実3から、推論3: "もしその郷民が切り易いとしたらそれは帯紐である"が導かれる
4. 推論2と推論3から、推論4: "その郷民は帯紐だ"が導かれる
5. 事実9から、推論5: "もしもその郷民は帯紐であるとすると「それはキャッシュ化するがしかし捨て難くない」ということは確かでない"が導かれる
6. 推論4と推論5から、推論6: "「その郷民はキャッシュ化するけれど捨て難いということはない」ということは嘘だ"が導かれる
7. 推論6と事実8から、仮説が導かれる

よって、仮説が証明されました。