この受信メールは御支払いしない
fact1: もし「中継点である」物があるならこの受信メールは御支払いしない fact2: 御弟子さん達は御支払いする fact3: 「そのキリスト教精神は目まぐるしいし更に中継点である」ということは間違っている fact4: 「そのキリスト教精神は目まぐるしいがそれは中継点でない」ということは誤っている fact5: 「「所らしいしかつ著しい」ということは誤りな」ものはある fact6: もしも「「目まぐるしい一方で中継点でない」ということは間違いな」ものがあるならこの受信メールは御支払いしない fact7: 「ある物は目まぐるしいが中継点でない」ということは正しい
fact4 -> int1: 「「目まぐるしいしおまけに中継点でない」ということは成り立つということはない」ものはある; int1 & fact6 -> hypothesis;
この受信メールは御支払いする
fact8 -> int2: もしも「この受信メールは御弟子さん達だ」ということは確かだとすればそれは御支払いする;
$facts$ = fact1: もし「中継点である」物があるならこの受信メールは御支払いしない fact2: 御弟子さん達は御支払いする fact3: 「そのキリスト教精神は目まぐるしいし更に中継点である」ということは間違っている fact4: 「そのキリスト教精神は目まぐるしいがそれは中継点でない」ということは誤っている fact5: 「「所らしいしかつ著しい」ということは誤りな」ものはある fact6: もしも「「目まぐるしい一方で中継点でない」ということは間違いな」ものがあるならこの受信メールは御支払いしない fact7: 「ある物は目まぐるしいが中継点でない」ということは正しい ; $hypothesis$ = この受信メールは御支払いしない ; $proof$ = 
fact4 -> int1: 「「目まぐるしいしおまけに中継点でない」ということは成り立つということはない」ものはある; int1 & fact6 -> hypothesis; __PROVED__
事実1: もし「中継点である」物があるならこの受信メールは御支払いしない
事実2: 御弟子さん達は御支払いする
事実3: 「そのキリスト教精神は目まぐるしいし更に中継点である」ということは間違っている
事実4: 「そのキリスト教精神は目まぐるしいがそれは中継点でない」ということは誤っている
事実5: 「「所らしいしかつ著しい」ということは誤りな」ものはある
事実6: もしも「「目まぐるしい一方で中継点でない」ということは間違いな」ものがあるならこの受信メールは御支払いしない
事実7: 「ある物は目まぐるしいが中継点でない」ということは正しい

仮説: この受信メールは御支払いしない
1. 事実4から、推論1: "「「目まぐるしいしおまけに中継点でない」ということは成り立つということはない」ものはある"が導かれる
2. 推論1と事実6から、仮説が導かれる

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