もしもその貴校は揺すとすれば「その長打は減少し続ける」ということは本当である
fact1: もしもその貴校が減少し続けないとしたらその長打は可笑しくて減少し続ける fact2: もしも「あるものが陰るしその上揺す」ということは事実であるなら減少し続けない fact3: その貴校が減少し続けないとしたらその長打は可笑しい fact4: もし仮に「「寺銭であるしかつ緩い」ということは誤っている」物があるとするとその貴校は陰る fact5: なにがしかのものは寺銭だしそれに緩い fact6: 「その既往歴は寺銭であるしかつそれは緩い」ということは誤っている
fact6 -> int1: 「「寺銭であるししかも緩い」ということは誤りである」物はある; int1 & fact4 -> int2: その貴校は陰る; void -> assump1: 以下のように仮定する。「その貴校は揺す」ということは成り立つ; int2 & assump1 -> int3: その貴校は陰るしおまけに揺す; fact2 -> int4: もし仮にその貴校は陰るし揺すとしたらそれは減少し続けない; int3 & int4 -> int5: その貴校は減少し続けない; int5 & fact1 -> int6: その長打は可笑しいし減少し続ける; int6 -> int7: その長打は減少し続ける; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もしもその貴校が減少し続けないとしたらその長打は可笑しくて減少し続ける fact2: もしも「あるものが陰るしその上揺す」ということは事実であるなら減少し続けない fact3: その貴校が減少し続けないとしたらその長打は可笑しい fact4: もし仮に「「寺銭であるしかつ緩い」ということは誤っている」物があるとするとその貴校は陰る fact5: なにがしかのものは寺銭だしそれに緩い fact6: 「その既往歴は寺銭であるしかつそれは緩い」ということは誤っている ; $hypothesis$ = もしもその貴校は揺すとすれば「その長打は減少し続ける」ということは本当である ; $proof$ = 
fact6 -> int1: 「「寺銭であるししかも緩い」ということは誤りである」物はある; int1 & fact4 -> int2: その貴校は陰る; void -> assump1: 以下のように仮定する。「その貴校は揺す」ということは成り立つ; int2 & assump1 -> int3: その貴校は陰るしおまけに揺す; fact2 -> int4: もし仮にその貴校は陰るし揺すとしたらそれは減少し続けない; int3 & int4 -> int5: その貴校は減少し続けない; int5 & fact1 -> int6: その長打は可笑しいし減少し続ける; int6 -> int7: その長打は減少し続ける; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしもその貴校が減少し続けないとしたらその長打は可笑しくて減少し続ける
事実2: もしも「あるものが陰るしその上揺す」ということは事実であるなら減少し続けない
事実3: その貴校が減少し続けないとしたらその長打は可笑しい
事実4: もし仮に「「寺銭であるしかつ緩い」ということは誤っている」物があるとするとその貴校は陰る
事実5: なにがしかのものは寺銭だしそれに緩い
事実6: 「その既往歴は寺銭であるしかつそれは緩い」ということは誤っている

仮説: もしもその貴校は揺すとすれば「その長打は減少し続ける」ということは本当である
1. 事実6から、推論1: "「「寺銭であるししかも緩い」ということは誤りである」物はある"が導かれる
2. 推論1と事実4から、推論2: "その貴校は陰る"が導かれる
3. 仮定1: 以下のように仮定する。「その貴校は揺す」ということは成り立つ
4. 推論2と仮定1から、推論3: "その貴校は陰るしおまけに揺す"が導かれる
5. 事実2から、推論4: "もし仮にその貴校は陰るし揺すとしたらそれは減少し続けない"が導かれる
6. 推論3と推論4から、推論5: "その貴校は減少し続けない"が導かれる
7. 推論5と事実1から、推論6: "その長打は可笑しいし減少し続ける"が導かれる
8. 推論6から、推論7: "その長打は減少し続ける"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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