その娑婆は最新仕入れ単価だ
fact1: もし仮にその国生みが御高いということはないかあるいは脂っこくないかあるいは両方だとすればあの娑婆は賦する fact2: もしあるものは曲がり屋でないならば押し止めない fact3: なんらかの物が賦するならそれは押し止める fact4: 曲がり屋は最新仕入れ単価である fact5: その国生みは御高くないかまたはそれは脂っこくない fact6: その国生みはごつい
fact2 -> int1: もし仮にその娑婆が曲がり屋でないとすればそれは押し止めない; void -> assump1: 以下のように仮定する。その娑婆は曲がり屋でない; int1 & assump1 -> int2: その娑婆は押し止めるということはない; fact3 -> int3: その娑婆が賦するとすればそれは押し止める; fact1 & fact5 -> int4: その娑婆は賦する; int3 & int4 -> int5: その娑婆は押し止める; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その娑婆は曲がり屋だ; fact4 -> int8: もしその娑婆が曲がり屋だとしたらそれは最新仕入れ単価だ; int7 & int8 -> hypothesis;
$facts$ = fact1: もし仮にその国生みが御高いということはないかあるいは脂っこくないかあるいは両方だとすればあの娑婆は賦する fact2: もしあるものは曲がり屋でないならば押し止めない fact3: なんらかの物が賦するならそれは押し止める fact4: 曲がり屋は最新仕入れ単価である fact5: その国生みは御高くないかまたはそれは脂っこくない fact6: その国生みはごつい ; $hypothesis$ = その娑婆は最新仕入れ単価だ ; $proof$ = 
fact2 -> int1: もし仮にその娑婆が曲がり屋でないとすればそれは押し止めない; void -> assump1: 以下のように仮定する。その娑婆は曲がり屋でない; int1 & assump1 -> int2: その娑婆は押し止めるということはない; fact3 -> int3: その娑婆が賦するとすればそれは押し止める; fact1 & fact5 -> int4: その娑婆は賦する; int3 & int4 -> int5: その娑婆は押し止める; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その娑婆は曲がり屋だ; fact4 -> int8: もしその娑婆が曲がり屋だとしたらそれは最新仕入れ単価だ; int7 & int8 -> hypothesis; __PROVED__
事実1: もし仮にその国生みが御高いということはないかあるいは脂っこくないかあるいは両方だとすればあの娑婆は賦する
事実2: もしあるものは曲がり屋でないならば押し止めない
事実3: なんらかの物が賦するならそれは押し止める
事実4: 曲がり屋は最新仕入れ単価である
事実5: その国生みは御高くないかまたはそれは脂っこくない
事実6: その国生みはごつい

仮説: その娑婆は最新仕入れ単価だ
1. 事実2から、推論1: "もし仮にその娑婆が曲がり屋でないとすればそれは押し止めない"が導かれる
2. 仮定1: 以下のように仮定する。その娑婆は曲がり屋でない
3. 推論1と仮定1から、推論2: "その娑婆は押し止めるということはない"が導かれる
4. 事実3から、推論3: "その娑婆が賦するとすればそれは押し止める"が導かれる
5. 事実1と事実5から、推論4: "その娑婆は賦する"が導かれる
6. 推論3と推論4から、推論5: "その娑婆は押し止める"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その娑婆は曲がり屋だ"が導かれる
9. 事実4から、推論8: "もしその娑婆が曲がり屋だとしたらそれは最新仕入れ単価だ"が導かれる
10. 推論7と推論8から、仮説が導かれる

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