「あの低血圧は芝でなくてかついじましいということはない」ということは偽である
fact1: あのテトラッドは揶揄しない fact2: もし仮に「あのテトラッドは芝でまたそれは渇望する」ということは成り立たないならばあの低血圧は芝でない fact3: 「もしその彼等形はいじましくないならば「あの低血圧は芝でないししかもいじましいということはない」ということは間違っている」ということは事実と異ならない fact4: もし仮にあのテトラッドは揶揄しないとすると「その彼等形が解決システムだけどそれはグラインドしない」ということは正しいということはない fact5: もしあのテトラッドは揶揄しないとすると「その彼等形は解決システムでないしそれはグラインドするということはない」ということは本当であるということはない fact6: 「なにがしかの物は揶揄しない一方で遣り易い」ということは成り立たないとすればいじましくない fact7: この河川Ｈは揶揄しない fact8: 「その彼等形は解決システムでないけれどそれはグラインドする」ということは事実でない fact9: 芝であるしかつ渇望するというものはない fact10: もし「なんらかの物は解決システムでなくてそれはグラインドしない」ということは確かであるということはないとするとそれはいじましくない
fact5 & fact1 -> int1: 「その彼等形は解決システムでないししかもグラインドしない」ということは成り立たない; fact10 -> int2: もし「その彼等形は解決システムでないしグラインドしない」ということは成り立たないとすると「それはいじましくない」ということは本当だ; int1 & int2 -> int3: その彼等形はいじましくない; int3 & fact3 -> hypothesis;
あの低血圧は芝だということはないしおまけにいじましくない
fact11 -> int4: 「あのテトラッドは芝でしかも渇望する」ということは成り立たない; fact12 & int4 -> int5: あの低血圧は芝でない; fact13 -> int6: もし「あの低血圧は揶揄しないけれど遣り易い」ということは偽であるとしたらそれはいじましくない;
$facts$ = fact1: あのテトラッドは揶揄しない fact2: もし仮に「あのテトラッドは芝でまたそれは渇望する」ということは成り立たないならばあの低血圧は芝でない fact3: 「もしその彼等形はいじましくないならば「あの低血圧は芝でないししかもいじましいということはない」ということは間違っている」ということは事実と異ならない fact4: もし仮にあのテトラッドは揶揄しないとすると「その彼等形が解決システムだけどそれはグラインドしない」ということは正しいということはない fact5: もしあのテトラッドは揶揄しないとすると「その彼等形は解決システムでないしそれはグラインドするということはない」ということは本当であるということはない fact6: 「なにがしかの物は揶揄しない一方で遣り易い」ということは成り立たないとすればいじましくない fact7: この河川Ｈは揶揄しない fact8: 「その彼等形は解決システムでないけれどそれはグラインドする」ということは事実でない fact9: 芝であるしかつ渇望するというものはない fact10: もし「なんらかの物は解決システムでなくてそれはグラインドしない」ということは確かであるということはないとするとそれはいじましくない ; $hypothesis$ = 「あの低血圧は芝でなくてかついじましいということはない」ということは偽である ; $proof$ = 
fact5 & fact1 -> int1: 「その彼等形は解決システムでないししかもグラインドしない」ということは成り立たない; fact10 -> int2: もし「その彼等形は解決システムでないしグラインドしない」ということは成り立たないとすると「それはいじましくない」ということは本当だ; int1 & int2 -> int3: その彼等形はいじましくない; int3 & fact3 -> hypothesis; __PROVED__
事実1: あのテトラッドは揶揄しない
事実2: もし仮に「あのテトラッドは芝でまたそれは渇望する」ということは成り立たないならばあの低血圧は芝でない
事実3: 「もしその彼等形はいじましくないならば「あの低血圧は芝でないししかもいじましいということはない」ということは間違っている」ということは事実と異ならない
事実4: もし仮にあのテトラッドは揶揄しないとすると「その彼等形が解決システムだけどそれはグラインドしない」ということは正しいということはない
事実5: もしあのテトラッドは揶揄しないとすると「その彼等形は解決システムでないしそれはグラインドするということはない」ということは本当であるということはない
事実6: 「なにがしかの物は揶揄しない一方で遣り易い」ということは成り立たないとすればいじましくない
事実7: この河川Ｈは揶揄しない
事実8: 「その彼等形は解決システムでないけれどそれはグラインドする」ということは事実でない
事実9: 芝であるしかつ渇望するというものはない
事実10: もし「なんらかの物は解決システムでなくてそれはグラインドしない」ということは確かであるということはないとするとそれはいじましくない

仮説: 「あの低血圧は芝でなくてかついじましいということはない」ということは偽である
1. 事実5と事実1から、推論1: "「その彼等形は解決システムでないししかもグラインドしない」ということは成り立たない"が導かれる
2. 事実10から、推論2: "もし「その彼等形は解決システムでないしグラインドしない」ということは成り立たないとすると「それはいじましくない」ということは本当だ"が導かれる
3. 推論1と推論2から、推論3: "その彼等形はいじましくない"が導かれる
4. 推論3と事実3から、仮説が導かれる

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