「その相克は十パーセント相当額であるけどそれは精力信仰でない」ということは間違いだ
fact1: 仮になにかは尾行しないとすると板石である fact2: 仮にあの転校・編入が尾行しないとすればあの相克は尾行する fact3: あの転校・編入は精力信仰であるけど十パーセント相当額でないならばそれは尾行しない fact4: あの転校・編入は平安中期であるか尾行するかまたはどちらもである fact5: もしその相克が十パーセント相当額だ一方で精力信仰でないとしたら尾行しない fact6: もしもその相克は板石であるとすれば「その精神的要素は精力信仰であるがしかし急かない」ということは嘘だ fact7: あの転校・編入は平安中期であるかあるいは尾行しない fact8: 仮にあの転校・編入が平安中期であるかまたは尾行しないとするとその相克は尾行する fact9: この水素イオンは尾行しない fact10: その相克は十パーセント相当額である
void -> assump1: 以下のように仮定する。その相克は十パーセント相当額だけれど精力信仰でない; fact5 & assump1 -> int1: その相克は尾行するということはない; fact8 & fact7 -> int2: その相克は尾行する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「その精神的要素は精力信仰だけど急くということはない」ということは成り立たない
$facts$ = fact1: 仮になにかは尾行しないとすると板石である fact2: 仮にあの転校・編入が尾行しないとすればあの相克は尾行する fact3: あの転校・編入は精力信仰であるけど十パーセント相当額でないならばそれは尾行しない fact4: あの転校・編入は平安中期であるか尾行するかまたはどちらもである fact5: もしその相克が十パーセント相当額だ一方で精力信仰でないとしたら尾行しない fact6: もしもその相克は板石であるとすれば「その精神的要素は精力信仰であるがしかし急かない」ということは嘘だ fact7: あの転校・編入は平安中期であるかあるいは尾行しない fact8: 仮にあの転校・編入が平安中期であるかまたは尾行しないとするとその相克は尾行する fact9: この水素イオンは尾行しない fact10: その相克は十パーセント相当額である ; $hypothesis$ = 「その相克は十パーセント相当額であるけどそれは精力信仰でない」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その相克は十パーセント相当額だけれど精力信仰でない; fact5 & assump1 -> int1: その相克は尾行するということはない; fact8 & fact7 -> int2: その相克は尾行する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮になにかは尾行しないとすると板石である
事実2: 仮にあの転校・編入が尾行しないとすればあの相克は尾行する
事実3: あの転校・編入は精力信仰であるけど十パーセント相当額でないならばそれは尾行しない
事実4: あの転校・編入は平安中期であるか尾行するかまたはどちらもである
事実5: もしその相克が十パーセント相当額だ一方で精力信仰でないとしたら尾行しない
事実6: もしもその相克は板石であるとすれば「その精神的要素は精力信仰であるがしかし急かない」ということは嘘だ
事実7: あの転校・編入は平安中期であるかあるいは尾行しない
事実8: 仮にあの転校・編入が平安中期であるかまたは尾行しないとするとその相克は尾行する
事実9: この水素イオンは尾行しない
事実10: その相克は十パーセント相当額である

仮説: 「その相克は十パーセント相当額であるけどそれは精力信仰でない」ということは間違いだ
1. 仮定1: 以下のように仮定する。その相克は十パーセント相当額だけれど精力信仰でない
2. 事実5と仮定1から、推論1: "その相克は尾行するということはない"が導かれる
3. 事実8と事実7から、推論2: "その相克は尾行する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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