このピンク色は白し
fact1: 「その季節感は異常陰影であるということはないかもしくはけじめでない」ということは成り立たない fact2: もし仮に「届き難い」ものがあればあのＵＳＭはパラノイドである fact3: 「「届き難い」ということは成り立つ」ものはある fact4: もしも「「その季節感は異常陰影でないかあるいはけじめでないかもしくは両方だ」ということは成り立つ」ということは成り立たないならあのＵＳＭは出直す fact5: もしあのＵＳＭが出直すしそれがパラノイドであるとしたらこのピンク色は白しということはない fact6: もしも何らかの物は出直すなら「「それはけじめだし加えてパラノイドでない」ということは事実だ」ということは確かでない fact7: その季節感はけじめである fact8: もし仮に「ある物は白しないけどパラノイドだ」ということは成り立たないとすれば白し fact9: 仮に「その季節感は異常陰影でないかもしくはけじめだ」ということは事実でないならばあのＵＳＭは出直す
fact4 & fact1 -> int1: あのＵＳＭは出直す; fact2 & fact3 -> int2: あのＵＳＭはパラノイドである; int1 & int2 -> int3: あのＵＳＭは出直すししかもパラノイドである; int3 & fact5 -> hypothesis;
fact4 & fact1 -> int1: {B}{b}; fact2 & fact3 -> int2: {A}{b}; int1 & int2 -> int3: ({B}{b} & {A}{b}); int3 & fact5 -> hypothesis;
このピンク色は白し
fact10 -> int4: もしも「このピンク色は白しないけどそれはパラノイドだ」ということは成り立たないなら白し;
$facts$ = fact1: 「その季節感は異常陰影であるということはないかもしくはけじめでない」ということは成り立たない fact2: もし仮に「届き難い」ものがあればあのＵＳＭはパラノイドである fact3: 「「届き難い」ということは成り立つ」ものはある fact4: もしも「「その季節感は異常陰影でないかあるいはけじめでないかもしくは両方だ」ということは成り立つ」ということは成り立たないならあのＵＳＭは出直す fact5: もしあのＵＳＭが出直すしそれがパラノイドであるとしたらこのピンク色は白しということはない fact6: もしも何らかの物は出直すなら「「それはけじめだし加えてパラノイドでない」ということは事実だ」ということは確かでない fact7: その季節感はけじめである fact8: もし仮に「ある物は白しないけどパラノイドだ」ということは成り立たないとすれば白し fact9: 仮に「その季節感は異常陰影でないかもしくはけじめだ」ということは事実でないならばあのＵＳＭは出直す ; $hypothesis$ = このピンク色は白し ; $proof$ = 
fact4 & fact1 -> int1: あのＵＳＭは出直す; fact2 & fact3 -> int2: あのＵＳＭはパラノイドである; int1 & int2 -> int3: あのＵＳＭは出直すししかもパラノイドである; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: 「その季節感は異常陰影であるということはないかもしくはけじめでない」ということは成り立たない
事実2: もし仮に「届き難い」ものがあればあのＵＳＭはパラノイドである
事実3: 「「届き難い」ということは成り立つ」ものはある
事実4: もしも「「その季節感は異常陰影でないかあるいはけじめでないかもしくは両方だ」ということは成り立つ」ということは成り立たないならあのＵＳＭは出直す
事実5: もしあのＵＳＭが出直すしそれがパラノイドであるとしたらこのピンク色は白しということはない
事実6: もしも何らかの物は出直すなら「「それはけじめだし加えてパラノイドでない」ということは事実だ」ということは確かでない
事実7: その季節感はけじめである
事実8: もし仮に「ある物は白しないけどパラノイドだ」ということは成り立たないとすれば白し
事実9: 仮に「その季節感は異常陰影でないかもしくはけじめだ」ということは事実でないならばあのＵＳＭは出直す

仮説: このピンク色は白し
1. 事実4と事実1から、推論1: "あのＵＳＭは出直す"が導かれる
2. 事実2と事実3から、推論2: "あのＵＳＭはパラノイドである"が導かれる
3. 推論1と推論2から、推論3: "あのＵＳＭは出直すししかもパラノイドである"が導かれる
4. 推論3と事実5から、仮説が否定される

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