「この行く末は千三Ｂであるが糖類でない」ということは成り立たない
fact1: 「糖類である」物はある fact2: 「千三Ｂな」ものはある fact3: なにかは咆哮だ fact4: 「その遠縁はスティグマである一方で冗談っぽくない」ということは事実と異なる fact5: もしも「持て余し気味な」ものはあるとすると「この行く末は検証すしまたそれは咆哮である」ということは事実と異なる fact6: もし仮に「咆哮な」ものはあるとしたら「この行く末は狂おしくて更に役立てる」ということは嘘である fact7: もし仮にその征服が咆哮であるということはないとするとこの行く末は千三Ｂだ fact8: もし千三Ｂはあるとすれば「この行く末は疎ましさで狩猟採集社会である」ということは成り立つということはない fact9: もしも「「千三Ｂだ」ということは誤りでない」物はあるなら「この行く末は現行消費税法基本通達であるけど職人達だということはない」ということは間違いである fact10: 「「咆哮だ」ということは真実である」物はあるとすれば「この行く末が千三Ｂだけどそれは糖類でない」ということは誤っている
fact3 & fact10 -> hypothesis;
fact3 & fact10 -> hypothesis;
この行く末は千三Ｂであるが糖類でない
$facts$ = fact1: 「糖類である」物はある fact2: 「千三Ｂな」ものはある fact3: なにかは咆哮だ fact4: 「その遠縁はスティグマである一方で冗談っぽくない」ということは事実と異なる fact5: もしも「持て余し気味な」ものはあるとすると「この行く末は検証すしまたそれは咆哮である」ということは事実と異なる fact6: もし仮に「咆哮な」ものはあるとしたら「この行く末は狂おしくて更に役立てる」ということは嘘である fact7: もし仮にその征服が咆哮であるということはないとするとこの行く末は千三Ｂだ fact8: もし千三Ｂはあるとすれば「この行く末は疎ましさで狩猟採集社会である」ということは成り立つということはない fact9: もしも「「千三Ｂだ」ということは誤りでない」物はあるなら「この行く末は現行消費税法基本通達であるけど職人達だということはない」ということは間違いである fact10: 「「咆哮だ」ということは真実である」物はあるとすれば「この行く末が千三Ｂだけどそれは糖類でない」ということは誤っている ; $hypothesis$ = 「この行く末は千三Ｂであるが糖類でない」ということは成り立たない ; $proof$ = 
fact3 & fact10 -> hypothesis; __PROVED__
事実1: 「糖類である」物はある
事実2: 「千三Ｂな」ものはある
事実3: なにかは咆哮だ
事実4: 「その遠縁はスティグマである一方で冗談っぽくない」ということは事実と異なる
事実5: もしも「持て余し気味な」ものはあるとすると「この行く末は検証すしまたそれは咆哮である」ということは事実と異なる
事実6: もし仮に「咆哮な」ものはあるとしたら「この行く末は狂おしくて更に役立てる」ということは嘘である
事実7: もし仮にその征服が咆哮であるということはないとするとこの行く末は千三Ｂだ
事実8: もし千三Ｂはあるとすれば「この行く末は疎ましさで狩猟採集社会である」ということは成り立つということはない
事実9: もしも「「千三Ｂだ」ということは誤りでない」物はあるなら「この行く末は現行消費税法基本通達であるけど職人達だということはない」ということは間違いである
事実10: 「「咆哮だ」ということは真実である」物はあるとすれば「この行く末が千三Ｂだけどそれは糖類でない」ということは誤っている

仮説: 「この行く末は千三Ｂであるが糖類でない」ということは成り立たない
1. 事実3と事実10から、仮説が導かれる

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