あの評価基準日は株式制度でない
fact1: とある物がＡＩＤＳ患者でないしさらに送り迎えないならば株式制度でない fact2: 「その横列は移り易いしその上事欠く」ということは間違っている fact3: あの評価基準日は送り迎えない fact4: もしその横列が送り迎えるということはないならあの評価基準日はＡＩＤＳ患者であるということはないしそれにそれは送り迎えない fact5: 何らかの物はたっぷりしないしかつセットであるということはないとすると悪性化しない fact6: 仮に「「その横列は移り易くて事欠く」ということは成り立たない」ということは本当であるとすれば送り迎えない fact7: もし仮にあの評価基準日はＡＩＤＳ患者でない一方で送り迎えるとすれば株式制度でない
fact6 & fact2 -> int1: その横列は送り迎えない; int1 & fact4 -> int2: あの評価基準日はＡＩＤＳ患者でないしそれに送り迎えない; fact1 -> int3: もしあの評価基準日がＡＩＤＳ患者でなくて送り迎えるということはないとすればそれは株式制度でない; int2 & int3 -> hypothesis;
もしその銃殺物がたっぷりしないしそれにセットでないなら悪性化しない
fact8 -> hypothesis;
$facts$ = fact1: とある物がＡＩＤＳ患者でないしさらに送り迎えないならば株式制度でない fact2: 「その横列は移り易いしその上事欠く」ということは間違っている fact3: あの評価基準日は送り迎えない fact4: もしその横列が送り迎えるということはないならあの評価基準日はＡＩＤＳ患者であるということはないしそれにそれは送り迎えない fact5: 何らかの物はたっぷりしないしかつセットであるということはないとすると悪性化しない fact6: 仮に「「その横列は移り易くて事欠く」ということは成り立たない」ということは本当であるとすれば送り迎えない fact7: もし仮にあの評価基準日はＡＩＤＳ患者でない一方で送り迎えるとすれば株式制度でない ; $hypothesis$ = あの評価基準日は株式制度でない ; $proof$ = 
fact6 & fact2 -> int1: その横列は送り迎えない; int1 & fact4 -> int2: あの評価基準日はＡＩＤＳ患者でないしそれに送り迎えない; fact1 -> int3: もしあの評価基準日がＡＩＤＳ患者でなくて送り迎えるということはないとすればそれは株式制度でない; int2 & int3 -> hypothesis; __PROVED__
事実1: とある物がＡＩＤＳ患者でないしさらに送り迎えないならば株式制度でない
事実2: 「その横列は移り易いしその上事欠く」ということは間違っている
事実3: あの評価基準日は送り迎えない
事実4: もしその横列が送り迎えるということはないならあの評価基準日はＡＩＤＳ患者であるということはないしそれにそれは送り迎えない
事実5: 何らかの物はたっぷりしないしかつセットであるということはないとすると悪性化しない
事実6: 仮に「「その横列は移り易くて事欠く」ということは成り立たない」ということは本当であるとすれば送り迎えない
事実7: もし仮にあの評価基準日はＡＩＤＳ患者でない一方で送り迎えるとすれば株式制度でない

仮説: あの評価基準日は株式制度でない
1. 事実6と事実2から、推論1: "その横列は送り迎えない"が導かれる
2. 推論1と事実4から、推論2: "あの評価基準日はＡＩＤＳ患者でないしそれに送り迎えない"が導かれる
3. 事実1から、推論3: "もしあの評価基準日がＡＩＤＳ患者でなくて送り迎えるということはないとすればそれは株式制度でない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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