あの溝跡は著述する
fact1: もし仮に「その独立価格比準法は心安いけど折檻しない」ということは成り立たないなら著述しない fact2: 仮に「なにがしかのものは騎射でなくておまけに折檻しない」ということは間違っているとするとそれは心安い fact3: なんらかの物が悼むとすると著述する fact4: 仮にあの溝跡が狂おしいならば悼む fact5: そのハイテク企業は狂おしい fact6: あの溝跡は狂おしい fact7: もしなにがしかの物は心安いなら「悼むがしかし狂おしくない」ということは誤りである
fact4 & fact6 -> int1: あの溝跡は悼む; fact3 -> int2: もしもあの溝跡が悼めば著述する; int1 & int2 -> hypothesis;
その独立価格比準法は悼む
$facts$ = fact1: もし仮に「その独立価格比準法は心安いけど折檻しない」ということは成り立たないなら著述しない fact2: 仮に「なにがしかのものは騎射でなくておまけに折檻しない」ということは間違っているとするとそれは心安い fact3: なんらかの物が悼むとすると著述する fact4: 仮にあの溝跡が狂おしいならば悼む fact5: そのハイテク企業は狂おしい fact6: あの溝跡は狂おしい fact7: もしなにがしかの物は心安いなら「悼むがしかし狂おしくない」ということは誤りである ; $hypothesis$ = あの溝跡は著述する ; $proof$ = 
fact4 & fact6 -> int1: あの溝跡は悼む; fact3 -> int2: もしもあの溝跡が悼めば著述する; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮に「その独立価格比準法は心安いけど折檻しない」ということは成り立たないなら著述しない
事実2: 仮に「なにがしかのものは騎射でなくておまけに折檻しない」ということは間違っているとするとそれは心安い
事実3: なんらかの物が悼むとすると著述する
事実4: 仮にあの溝跡が狂おしいならば悼む
事実5: そのハイテク企業は狂おしい
事実6: あの溝跡は狂おしい
事実7: もしなにがしかの物は心安いなら「悼むがしかし狂おしくない」ということは誤りである

仮説: あの溝跡は著述する
1. 事実4と事実6から、推論1: "あの溝跡は悼む"が導かれる
2. 事実3から、推論2: "もしもあの溝跡が悼めば著述する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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