あの御園は腎血管筋脂肪腫である
fact1: もしも「あの御園は欹てるか腎血管筋脂肪腫である」ということは成り立たないとすればこの判決要旨は揺るぐ fact2: 「この判決要旨は安っぽいかもしくは揺るぐ」ということは間違いだとしたらこの下校はうつ伏す fact3: もしも「この下校はうつ伏すし加えて安っぽい」ということは偽ならあの重力歩行モデルは揺るがない fact4: なんらかのものはカラムでないかまたは発生し難くないかもしくは両方ともである fact5: その垢は謝るしそれは所らしい fact6: あの重力歩行モデルはうつ伏すしその上徴収する fact7: 仮になにがしかのものがカラムでないかもしくは発生し難くないかあるいはどちらもだとしたらその垢は浅し fact8: 仮にその垢はうつ伏さないなら「「この下校はうつ伏すしおまけに安っぽい」ということは真実だ」ということは事実でない fact9: その垢は腎血管筋脂肪腫である fact10: もしも「この判決要旨は欹てるかもしくは揺るがない」ということは成り立たないとするとあの御園は腎血管筋脂肪腫だ fact11: もし仮にあの重力歩行モデルは揺るがないとしたら「「この判決要旨は欹てるかまたはそれは揺るぐということはない」ということは本当である」ということは成り立たない fact12: 「あの御園は欹てるしそれに腎血管筋脂肪腫だ」ということは誤りである fact13: 仮にとある物は謝るし加えて浅しならそれはうつ伏さない fact14: もしあの御園は腎血管筋脂肪腫でないとすると「この判決要旨は腎血管筋脂肪腫でそれは欹てる」ということは誤りだ
fact4 & fact7 -> int1: その垢は浅し; fact5 -> int2: 「その垢は謝る」ということは確かである; int1 & int2 -> int3: その垢は謝るしそれに浅し; fact13 -> int4: 仮にその垢が謝るしおまけにそれが浅しならばうつ伏さない; int3 & int4 -> int5: その垢はうつ伏さない; int5 & fact8 -> int6: 「この下校はうつ伏すし更に安っぽい」ということは成り立たない; int6 & fact3 -> int7: あの重力歩行モデルは揺るがない; int7 & fact11 -> int8: 「この判決要旨は欹てるかあるいは揺るがないかもしくは両方ともである」ということは成り立たない; int8 & fact10 -> hypothesis;
$facts$ = fact1: もしも「あの御園は欹てるか腎血管筋脂肪腫である」ということは成り立たないとすればこの判決要旨は揺るぐ fact2: 「この判決要旨は安っぽいかもしくは揺るぐ」ということは間違いだとしたらこの下校はうつ伏す fact3: もしも「この下校はうつ伏すし加えて安っぽい」ということは偽ならあの重力歩行モデルは揺るがない fact4: なんらかのものはカラムでないかまたは発生し難くないかもしくは両方ともである fact5: その垢は謝るしそれは所らしい fact6: あの重力歩行モデルはうつ伏すしその上徴収する fact7: 仮になにがしかのものがカラムでないかもしくは発生し難くないかあるいはどちらもだとしたらその垢は浅し fact8: 仮にその垢はうつ伏さないなら「「この下校はうつ伏すしおまけに安っぽい」ということは真実だ」ということは事実でない fact9: その垢は腎血管筋脂肪腫である fact10: もしも「この判決要旨は欹てるかもしくは揺るがない」ということは成り立たないとするとあの御園は腎血管筋脂肪腫だ fact11: もし仮にあの重力歩行モデルは揺るがないとしたら「「この判決要旨は欹てるかまたはそれは揺るぐということはない」ということは本当である」ということは成り立たない fact12: 「あの御園は欹てるしそれに腎血管筋脂肪腫だ」ということは誤りである fact13: 仮にとある物は謝るし加えて浅しならそれはうつ伏さない fact14: もしあの御園は腎血管筋脂肪腫でないとすると「この判決要旨は腎血管筋脂肪腫でそれは欹てる」ということは誤りだ ; $hypothesis$ = あの御園は腎血管筋脂肪腫である ; $proof$ = 
fact4 & fact7 -> int1: その垢は浅し; fact5 -> int2: 「その垢は謝る」ということは確かである; int1 & int2 -> int3: その垢は謝るしそれに浅し; fact13 -> int4: 仮にその垢が謝るしおまけにそれが浅しならばうつ伏さない; int3 & int4 -> int5: その垢はうつ伏さない; int5 & fact8 -> int6: 「この下校はうつ伏すし更に安っぽい」ということは成り立たない; int6 & fact3 -> int7: あの重力歩行モデルは揺るがない; int7 & fact11 -> int8: 「この判決要旨は欹てるかあるいは揺るがないかもしくは両方ともである」ということは成り立たない; int8 & fact10 -> hypothesis; __PROVED__
事実1: もしも「あの御園は欹てるか腎血管筋脂肪腫である」ということは成り立たないとすればこの判決要旨は揺るぐ
事実2: 「この判決要旨は安っぽいかもしくは揺るぐ」ということは間違いだとしたらこの下校はうつ伏す
事実3: もしも「この下校はうつ伏すし加えて安っぽい」ということは偽ならあの重力歩行モデルは揺るがない
事実4: なんらかのものはカラムでないかまたは発生し難くないかもしくは両方ともである
事実5: その垢は謝るしそれは所らしい
事実6: あの重力歩行モデルはうつ伏すしその上徴収する
事実7: 仮になにがしかのものがカラムでないかもしくは発生し難くないかあるいはどちらもだとしたらその垢は浅し
事実8: 仮にその垢はうつ伏さないなら「「この下校はうつ伏すしおまけに安っぽい」ということは真実だ」ということは事実でない
事実9: その垢は腎血管筋脂肪腫である
事実10: もしも「この判決要旨は欹てるかもしくは揺るがない」ということは成り立たないとするとあの御園は腎血管筋脂肪腫だ
事実11: もし仮にあの重力歩行モデルは揺るがないとしたら「「この判決要旨は欹てるかまたはそれは揺るぐということはない」ということは本当である」ということは成り立たない
事実12: 「あの御園は欹てるしそれに腎血管筋脂肪腫だ」ということは誤りである
事実13: 仮にとある物は謝るし加えて浅しならそれはうつ伏さない
事実14: もしあの御園は腎血管筋脂肪腫でないとすると「この判決要旨は腎血管筋脂肪腫でそれは欹てる」ということは誤りだ

仮説: あの御園は腎血管筋脂肪腫である
1. 事実4と事実7から、推論1: "その垢は浅し"が導かれる
2. 事実5から、推論2: "「その垢は謝る」ということは確かである"が導かれる
3. 推論1と推論2から、推論3: "その垢は謝るしそれに浅し"が導かれる
4. 事実13から、推論4: "仮にその垢が謝るしおまけにそれが浅しならばうつ伏さない"が導かれる
5. 推論3と推論4から、推論5: "その垢はうつ伏さない"が導かれる
6. 推論5と事実8から、推論6: "「この下校はうつ伏すし更に安っぽい」ということは成り立たない"が導かれる
7. 推論6と事実3から、推論7: "あの重力歩行モデルは揺るがない"が導かれる
8. 推論7と事実11から、推論8: "「この判決要旨は欹てるかあるいは揺るがないかもしくは両方ともである」ということは成り立たない"が導かれる
9. 推論8と事実10から、仮説が導かれる

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