その前日は横溢するということはない
fact1: 「もし仮に「この利己は真白い」ということは間違っているということはないとすればあの前日は横溢する」ということは成り立つ fact2: もしもこの利己が寄り道するとすればその前日は横溢する fact3: もしも「寄り道しない」物があるならその前日は横溢しない fact4: もし仮にその診療応援が空々しかないしおまけに焦れったくないならばそれは真白くない fact5: この利己は真白いか焦れったいかまたはどちらもである fact6: もしとあるものが寄り道するとしたらそれは三回経口投与する fact7: もしその診療応援が空々しいけどそれが焦れったくないならそれは真白くない fact8: 仮にこの利己が真白くないし焦れったくないならばそれは空々しいということはない fact9: もしその診療応援は真白くないなら「この利己は寄り道するかそれは真白いかどちらもである」ということは真実だ fact10: その診療応援は空々しかないしさらに焦れったくない fact11: 仮になにかは横溢するということはないならば寄り道するしそれは真白い fact12: もしその診療応援が空々しかないがしかし焦れったいとすれば「それは真白くない」ということは真実だ
fact4 & fact10 -> int1: その診療応援は真白くない; int1 & fact9 -> int2: この利己は寄り道するか真白い; int2 & fact2 & fact1 -> hypothesis;
その前日は横溢しない
$facts$ = fact1: 「もし仮に「この利己は真白い」ということは間違っているということはないとすればあの前日は横溢する」ということは成り立つ fact2: もしもこの利己が寄り道するとすればその前日は横溢する fact3: もしも「寄り道しない」物があるならその前日は横溢しない fact4: もし仮にその診療応援が空々しかないしおまけに焦れったくないならばそれは真白くない fact5: この利己は真白いか焦れったいかまたはどちらもである fact6: もしとあるものが寄り道するとしたらそれは三回経口投与する fact7: もしその診療応援が空々しいけどそれが焦れったくないならそれは真白くない fact8: 仮にこの利己が真白くないし焦れったくないならばそれは空々しいということはない fact9: もしその診療応援は真白くないなら「この利己は寄り道するかそれは真白いかどちらもである」ということは真実だ fact10: その診療応援は空々しかないしさらに焦れったくない fact11: 仮になにかは横溢するということはないならば寄り道するしそれは真白い fact12: もしその診療応援が空々しかないがしかし焦れったいとすれば「それは真白くない」ということは真実だ ; $hypothesis$ = その前日は横溢するということはない ; $proof$ = 
fact4 & fact10 -> int1: その診療応援は真白くない; int1 & fact9 -> int2: この利己は寄り道するか真白い; int2 & fact2 & fact1 -> hypothesis; __DISPROVED__
事実1: 「もし仮に「この利己は真白い」ということは間違っているということはないとすればあの前日は横溢する」ということは成り立つ
事実2: もしもこの利己が寄り道するとすればその前日は横溢する
事実3: もしも「寄り道しない」物があるならその前日は横溢しない
事実4: もし仮にその診療応援が空々しかないしおまけに焦れったくないならばそれは真白くない
事実5: この利己は真白いか焦れったいかまたはどちらもである
事実6: もしとあるものが寄り道するとしたらそれは三回経口投与する
事実7: もしその診療応援が空々しいけどそれが焦れったくないならそれは真白くない
事実8: 仮にこの利己が真白くないし焦れったくないならばそれは空々しいということはない
事実9: もしその診療応援は真白くないなら「この利己は寄り道するかそれは真白いかどちらもである」ということは真実だ
事実10: その診療応援は空々しかないしさらに焦れったくない
事実11: 仮になにかは横溢するということはないならば寄り道するしそれは真白い
事実12: もしその診療応援が空々しかないがしかし焦れったいとすれば「それは真白くない」ということは真実だ

仮説: その前日は横溢するということはない
1. 事実4と事実10から、推論1: "その診療応援は真白くない"が導かれる
2. 推論1と事実9から、推論2: "この利己は寄り道するか真白い"が導かれる
3. 推論2と事実2と事実1から、仮説が否定される

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