この伝導は建設者でない
fact1: もし仮にその自主規制団体が建設者であるならこの伝導は失効する fact2: この伝導が失効すればその自主規制団体は建設者である fact3: 仮にその自主規制団体は失効するなら「この伝導は建設者だ」ということは本当である fact4: あのコパは建設者である fact5: すべては押さえ難くてさらにそれは六年毎だということはない fact6: あの南大門は失効する fact7: 仮に「その自主規制団体は掃除しないけれど建設者である」ということは嘘だとすればあの伝導は建設者でない fact8: なにがしかの物は失効しないなら「掃除しないし建設者である」ということは間違いである fact9: あのラシャは失効する fact10: あるものは六年毎だということはないなら「失効するしかつ径である」ということは事実と異なる fact11: その自主規制団体は失効する fact12: この伝導は失効する
fact3 & fact11 -> hypothesis;
fact3 & fact11 -> hypothesis;
この伝導は建設者でない
fact16 -> int1: もし仮にその自主規制団体は失効しないなら「掃除しないが建設者だ」ということは間違っている; fact15 -> int2: このニュー・ツーリズム時代は六年毎でないとしたら「それは失効するし径である」ということは成り立たない; fact13 -> int3: このニュー・ツーリズム時代は押さえ難いけど六年毎でない; int3 -> int4: 「このニュー・ツーリズム時代は六年毎でない」ということは確かだ; int2 & int4 -> int5: 「このニュー・ツーリズム時代は失効するしそれは径である」ということは偽である; int5 -> int6: 「「失効するしそれに径だ」ということは真実であるということはない」物はある;
$facts$ = fact1: もし仮にその自主規制団体が建設者であるならこの伝導は失効する fact2: この伝導が失効すればその自主規制団体は建設者である fact3: 仮にその自主規制団体は失効するなら「この伝導は建設者だ」ということは本当である fact4: あのコパは建設者である fact5: すべては押さえ難くてさらにそれは六年毎だということはない fact6: あの南大門は失効する fact7: 仮に「その自主規制団体は掃除しないけれど建設者である」ということは嘘だとすればあの伝導は建設者でない fact8: なにがしかの物は失効しないなら「掃除しないし建設者である」ということは間違いである fact9: あのラシャは失効する fact10: あるものは六年毎だということはないなら「失効するしかつ径である」ということは事実と異なる fact11: その自主規制団体は失効する fact12: この伝導は失効する ; $hypothesis$ = この伝導は建設者でない ; $proof$ = 
fact3 & fact11 -> hypothesis; __DISPROVED__
事実1: もし仮にその自主規制団体が建設者であるならこの伝導は失効する
事実2: この伝導が失効すればその自主規制団体は建設者である
事実3: 仮にその自主規制団体は失効するなら「この伝導は建設者だ」ということは本当である
事実4: あのコパは建設者である
事実5: すべては押さえ難くてさらにそれは六年毎だということはない
事実6: あの南大門は失効する
事実7: 仮に「その自主規制団体は掃除しないけれど建設者である」ということは嘘だとすればあの伝導は建設者でない
事実8: なにがしかの物は失効しないなら「掃除しないし建設者である」ということは間違いである
事実9: あのラシャは失効する
事実10: あるものは六年毎だということはないなら「失効するしかつ径である」ということは事実と異なる
事実11: その自主規制団体は失効する
事実12: この伝導は失効する

仮説: この伝導は建設者でない
1. 事実3と事実11から、仮説が否定される

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