「その四込みは感電するということはないしかつ汚れ易くない」ということは間違っている
fact1: この三条大橋は万世だ fact2: その大島殿はスポット群である fact3: あの親善は契約する fact4: もしもその四込みがスポット群でないとしたらその打撃系は汚れ易い fact5: もし仮に「その大島殿は汚れ易い」ということは誤っているということはないとすればその四込みは汚れ易くない fact6: この地積は汚れ易い fact7: 仮にこの三条大橋が万世でまた契約するとするとその打撃系はスポット群でない fact8: スポット群は万世だということはなくて契約するということはない fact9: もしこの地積が分封するとするとその大島殿は汚れ易い fact10: この三条大橋は契約する fact11: もしも何らかの物は万世でないとすると「「それは感電しなくてそれに汚れ易くない」ということは本当である」ということは間違いだ fact12: 仮に「この三条大橋はスポット群でなくて万世でない」ということは成り立つということはないとすれば「その打撃系は万世でない」ということは確かである fact13: もしこの三条大橋が分封しないならこの地積は万世だ fact14: 仮にその大島殿が汚れ易いならばその四込みは感電するということはなくてそれは汚れ易くない fact15: もし仮にその打撃系はスポット群でないなら「この地積は分封する」ということは確かだ
fact1 & fact10 -> int1: 「この三条大橋は万世であるし契約する」ということは事実だ; int1 & fact7 -> int2: その打撃系はスポット群でない; int2 & fact15 -> int3: 「この地積は分封する」ということは本当だ; int3 & fact9 -> int4: その大島殿は汚れ易い; int4 & fact14 -> hypothesis;
その打撃系は万世でない
$facts$ = fact1: この三条大橋は万世だ fact2: その大島殿はスポット群である fact3: あの親善は契約する fact4: もしもその四込みがスポット群でないとしたらその打撃系は汚れ易い fact5: もし仮に「その大島殿は汚れ易い」ということは誤っているということはないとすればその四込みは汚れ易くない fact6: この地積は汚れ易い fact7: 仮にこの三条大橋が万世でまた契約するとするとその打撃系はスポット群でない fact8: スポット群は万世だということはなくて契約するということはない fact9: もしこの地積が分封するとするとその大島殿は汚れ易い fact10: この三条大橋は契約する fact11: もしも何らかの物は万世でないとすると「「それは感電しなくてそれに汚れ易くない」ということは本当である」ということは間違いだ fact12: 仮に「この三条大橋はスポット群でなくて万世でない」ということは成り立つということはないとすれば「その打撃系は万世でない」ということは確かである fact13: もしこの三条大橋が分封しないならこの地積は万世だ fact14: 仮にその大島殿が汚れ易いならばその四込みは感電するということはなくてそれは汚れ易くない fact15: もし仮にその打撃系はスポット群でないなら「この地積は分封する」ということは確かだ ; $hypothesis$ = 「その四込みは感電するということはないしかつ汚れ易くない」ということは間違っている ; $proof$ = 
fact1 & fact10 -> int1: 「この三条大橋は万世であるし契約する」ということは事実だ; int1 & fact7 -> int2: その打撃系はスポット群でない; int2 & fact15 -> int3: 「この地積は分封する」ということは本当だ; int3 & fact9 -> int4: その大島殿は汚れ易い; int4 & fact14 -> hypothesis; __DISPROVED__
事実1: この三条大橋は万世だ
事実2: その大島殿はスポット群である
事実3: あの親善は契約する
事実4: もしもその四込みがスポット群でないとしたらその打撃系は汚れ易い
事実5: もし仮に「その大島殿は汚れ易い」ということは誤っているということはないとすればその四込みは汚れ易くない
事実6: この地積は汚れ易い
事実7: 仮にこの三条大橋が万世でまた契約するとするとその打撃系はスポット群でない
事実8: スポット群は万世だということはなくて契約するということはない
事実9: もしこの地積が分封するとするとその大島殿は汚れ易い
事実10: この三条大橋は契約する
事実11: もしも何らかの物は万世でないとすると「「それは感電しなくてそれに汚れ易くない」ということは本当である」ということは間違いだ
事実12: 仮に「この三条大橋はスポット群でなくて万世でない」ということは成り立つということはないとすれば「その打撃系は万世でない」ということは確かである
事実13: もしこの三条大橋が分封しないならこの地積は万世だ
事実14: 仮にその大島殿が汚れ易いならばその四込みは感電するということはなくてそれは汚れ易くない
事実15: もし仮にその打撃系はスポット群でないなら「この地積は分封する」ということは確かだ

仮説: 「その四込みは感電するということはないしかつ汚れ易くない」ということは間違っている
1. 事実1と事実10から、推論1: "「この三条大橋は万世であるし契約する」ということは事実だ"が導かれる
2. 推論1と事実7から、推論2: "その打撃系はスポット群でない"が導かれる
3. 推論2と事実15から、推論3: "「この地積は分封する」ということは本当だ"が導かれる
4. 推論3と事実9から、推論4: "その大島殿は汚れ易い"が導かれる
5. 推論4と事実14から、仮説が否定される

よって、仮説が否定されました。