「「もしも全体化だとすると「遊び呆けないけれど千九百九十二年度である」ということは間違っている」物はある」ということは誤っている
fact1: この共同便所は全体化であるとすると「遊び呆けなくてそれは千九百九十二年度である」ということは誤っている fact2: もしも「この共同便所は全体化だ」ということは事実であるなら「遊び呆けるし千九百九十二年度である」ということは成り立たない fact3: もし何かは運営方針であるなら「商船隊でないがしかし二時間前だ」ということは成り立たない fact4: 「もしもメールだとしたら「次の間で更に中垣だ」ということは誤りである」物はある fact5: 「もし全体化であるなら「遊び呆けないしその上千九百九十二年度だ」ということは誤りでない」物はある
fact1 -> hypothesis;
「仮に運営方針であるとすると「商船隊であるということはなくて二時間前だ」ということは嘘である」ものはある
fact6 -> int1: もし「その造影後期相は運営方針だ」ということは成り立つなら「商船隊でないしかつ二時間前だ」ということは間違いである; int1 -> hypothesis;
$facts$ = fact1: この共同便所は全体化であるとすると「遊び呆けなくてそれは千九百九十二年度である」ということは誤っている fact2: もしも「この共同便所は全体化だ」ということは事実であるなら「遊び呆けるし千九百九十二年度である」ということは成り立たない fact3: もし何かは運営方針であるなら「商船隊でないがしかし二時間前だ」ということは成り立たない fact4: 「もしもメールだとしたら「次の間で更に中垣だ」ということは誤りである」物はある fact5: 「もし全体化であるなら「遊び呆けないしその上千九百九十二年度だ」ということは誤りでない」物はある ; $hypothesis$ = 「「もしも全体化だとすると「遊び呆けないけれど千九百九十二年度である」ということは間違っている」物はある」ということは誤っている ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: この共同便所は全体化であるとすると「遊び呆けなくてそれは千九百九十二年度である」ということは誤っている
事実2: もしも「この共同便所は全体化だ」ということは事実であるなら「遊び呆けるし千九百九十二年度である」ということは成り立たない
事実3: もし何かは運営方針であるなら「商船隊でないがしかし二時間前だ」ということは成り立たない
事実4: 「もしもメールだとしたら「次の間で更に中垣だ」ということは誤りである」物はある
事実5: 「もし全体化であるなら「遊び呆けないしその上千九百九十二年度だ」ということは誤りでない」物はある

仮説: 「「もしも全体化だとすると「遊び呆けないけれど千九百九十二年度である」ということは間違っている」物はある」ということは誤っている
1. 事実1から、仮説が否定される

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