「「もしもトロフィーだとすれば手術後だし更に御所トンネルでない」物はある」ということは本当だということはない
fact1: もしその延長線上が滞り易いならばそれは禿げ上がらない fact2: 「「トロフィーである」ということは成り立てば手術後だし御所トンネルな」物はある fact3: もしもなんらかのものが程遠いならばそれは御所トンネルであるがしかし公衆トイレでない fact4: 「トロフィーならば「御所トンネルでない」ということは本当である」ものはある fact5: 「もしトロフィーなら手術後な」物はある fact6: 「もし仮に「薄らぐ」ということは真実であるなら「心憎くない」ということは本当な」ものはある fact7: もしこの発行決議がトロフィーならばそれは手術後だ fact8: 「仮に引き起こし易いとすればしこり立つしむくつけし」物はある fact9: 仮にこの発行決議がトロフィーならそれは手術後だしその上御所トンネルだ fact10: もしこの発行決議がトロフィーであるならば手術後であるしそれに御所トンネルだということはない fact11: もしなにがしかの物が封殺するとするとそれは水臭くてそれは採点者でない
fact10 -> hypothesis;
「「仮に「封殺する」ということは真実であるなら水臭くてかつ採点者だということはない」ものはある」ということは確かである
fact12 -> int1: もしあのベルリン五輪が封殺するとしたら水臭いけれど採点者でない; int1 -> hypothesis;
$facts$ = fact1: もしその延長線上が滞り易いならばそれは禿げ上がらない fact2: 「「トロフィーである」ということは成り立てば手術後だし御所トンネルな」物はある fact3: もしもなんらかのものが程遠いならばそれは御所トンネルであるがしかし公衆トイレでない fact4: 「トロフィーならば「御所トンネルでない」ということは本当である」ものはある fact5: 「もしトロフィーなら手術後な」物はある fact6: 「もし仮に「薄らぐ」ということは真実であるなら「心憎くない」ということは本当な」ものはある fact7: もしこの発行決議がトロフィーならばそれは手術後だ fact8: 「仮に引き起こし易いとすればしこり立つしむくつけし」物はある fact9: 仮にこの発行決議がトロフィーならそれは手術後だしその上御所トンネルだ fact10: もしこの発行決議がトロフィーであるならば手術後であるしそれに御所トンネルだということはない fact11: もしなにがしかの物が封殺するとするとそれは水臭くてそれは採点者でない ; $hypothesis$ = 「「もしもトロフィーだとすれば手術後だし更に御所トンネルでない」物はある」ということは本当だということはない ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: もしその延長線上が滞り易いならばそれは禿げ上がらない
事実2: 「「トロフィーである」ということは成り立てば手術後だし御所トンネルな」物はある
事実3: もしもなんらかのものが程遠いならばそれは御所トンネルであるがしかし公衆トイレでない
事実4: 「トロフィーならば「御所トンネルでない」ということは本当である」ものはある
事実5: 「もしトロフィーなら手術後な」物はある
事実6: 「もし仮に「薄らぐ」ということは真実であるなら「心憎くない」ということは本当な」ものはある
事実7: もしこの発行決議がトロフィーならばそれは手術後だ
事実8: 「仮に引き起こし易いとすればしこり立つしむくつけし」物はある
事実9: 仮にこの発行決議がトロフィーならそれは手術後だしその上御所トンネルだ
事実10: もしこの発行決議がトロフィーであるならば手術後であるしそれに御所トンネルだということはない
事実11: もしなにがしかの物が封殺するとするとそれは水臭くてそれは採点者でない

仮説: 「「もしもトロフィーだとすれば手術後だし更に御所トンネルでない」物はある」ということは本当だということはない
1. 事実10から、仮説が否定される

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