「その約定日は試作するけれど予想するということはない」ということは間違っている
fact1: 「その約定日は試作するがしかし予想しない」ということは成り立たない fact2: もしもそのコーネル大学講演が罹り易いけれどそれが折しないとするとこの非人間化は罹り易くない fact3: 「「その約定日は試作する一方で遡れるということはない」ということは本当である」ということは成り立たない fact4: もしこのエクソシストは引き難いとすれば「その約定日は予想する一方でＣＲＴだということはない」ということは偽だ fact5: もしこのエクソシストが引き難くないならその約定日は試作するけれど予想しない
fact1 -> hypothesis;
fact1 -> hypothesis;
その約定日は試作するが予想しない
$facts$ = fact1: 「その約定日は試作するがしかし予想しない」ということは成り立たない fact2: もしもそのコーネル大学講演が罹り易いけれどそれが折しないとするとこの非人間化は罹り易くない fact3: 「「その約定日は試作する一方で遡れるということはない」ということは本当である」ということは成り立たない fact4: もしこのエクソシストは引き難いとすれば「その約定日は予想する一方でＣＲＴだということはない」ということは偽だ fact5: もしこのエクソシストが引き難くないならその約定日は試作するけれど予想しない ; $hypothesis$ = 「その約定日は試作するけれど予想するということはない」ということは間違っている ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 「その約定日は試作するがしかし予想しない」ということは成り立たない
事実2: もしもそのコーネル大学講演が罹り易いけれどそれが折しないとするとこの非人間化は罹り易くない
事実3: 「「その約定日は試作する一方で遡れるということはない」ということは本当である」ということは成り立たない
事実4: もしこのエクソシストは引き難いとすれば「その約定日は予想する一方でＣＲＴだということはない」ということは偽だ
事実5: もしこのエクソシストが引き難くないならその約定日は試作するけれど予想しない

仮説: 「その約定日は試作するけれど予想するということはない」ということは間違っている
1. 事実1から、仮説が導かれる

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