「その黄体はプリントしない」ということは事実だ
fact1: もし仮に何らかの物は顔料でないとすれば「それはウェルカムでたどたどしい」ということは嘘である fact2: あの小皿は生温かくて冷め易い fact3: 「その黄体はウェルカムだし加えてそれは白夜だ」ということは間違いであるとするとプリントしない fact4: その黄体がウェルカムだということはないならばそれはプリントしない fact5: もしもあるものが顔料だとすればそれはプリントする fact6: 「「その黄体はウェルカムであるし白夜だ」ということは本当であるということはない」ということは成り立つ fact7: 冷め易くない物は縄張りだしまた生温かい fact8: 仮にとある物は縄張りであるとすれば顔料だ
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
その黄体はプリントする
fact10 -> int1: 仮にその黄体が顔料だとしたらプリントする; fact9 -> int2: もしもその黄体は縄張りであるとしたら顔料だ; fact11 -> int3: 仮にその黄体が冷め易くないとしたらそれは縄張りでかつ生温かい;
$facts$ = fact1: もし仮に何らかの物は顔料でないとすれば「それはウェルカムでたどたどしい」ということは嘘である fact2: あの小皿は生温かくて冷め易い fact3: 「その黄体はウェルカムだし加えてそれは白夜だ」ということは間違いであるとするとプリントしない fact4: その黄体がウェルカムだということはないならばそれはプリントしない fact5: もしもあるものが顔料だとすればそれはプリントする fact6: 「「その黄体はウェルカムであるし白夜だ」ということは本当であるということはない」ということは成り立つ fact7: 冷め易くない物は縄張りだしまた生温かい fact8: 仮にとある物は縄張りであるとすれば顔料だ ; $hypothesis$ = 「その黄体はプリントしない」ということは事実だ ; $proof$ = 
fact3 & fact6 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物は顔料でないとすれば「それはウェルカムでたどたどしい」ということは嘘である
事実2: あの小皿は生温かくて冷め易い
事実3: 「その黄体はウェルカムだし加えてそれは白夜だ」ということは間違いであるとするとプリントしない
事実4: その黄体がウェルカムだということはないならばそれはプリントしない
事実5: もしもあるものが顔料だとすればそれはプリントする
事実6: 「「その黄体はウェルカムであるし白夜だ」ということは本当であるということはない」ということは成り立つ
事実7: 冷め易くない物は縄張りだしまた生温かい
事実8: 仮にとある物は縄張りであるとすれば顔料だ

仮説: 「その黄体はプリントしない」ということは事実だ
1. 事実3と事実6から、仮説が導かれる

よって、仮説が証明されました。