「もしも「コップでないしさらに解け易くない」ということは誤りであるならば合わせ辛い」ものはある
fact1: 「解け易いとすれば「合わせ辛くない」ということは成り立つということはない」物はある fact2: 「ある物は棄却しないしそれにロジスティクスでない」ということは成り立たないとしたら民主的共和制である fact3: もし仮に「あの嫌悪顔はコップでないしそれに解け易くない」ということは嘘だとしたら「合わせ辛い」ということは成り立つ
fact3 -> hypothesis;
「「「棄却しないしロジスティクスでない」ということは成り立たないとしたら民主的共和制である」ものはある」ということは真実だ
fact4 -> int1: 「「この絶叫は棄却しなくてそれにロジスティクスでない」ということは成り立たないとすれば「この絶叫は民主的共和制である」ということは成り立つ」ということは確かである; int1 -> hypothesis;
$facts$ = fact1: 「解け易いとすれば「合わせ辛くない」ということは成り立つということはない」物はある fact2: 「ある物は棄却しないしそれにロジスティクスでない」ということは成り立たないとしたら民主的共和制である fact3: もし仮に「あの嫌悪顔はコップでないしそれに解け易くない」ということは嘘だとしたら「合わせ辛い」ということは成り立つ ; $hypothesis$ = 「もしも「コップでないしさらに解け易くない」ということは誤りであるならば合わせ辛い」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「解け易いとすれば「合わせ辛くない」ということは成り立つということはない」物はある
事実2: 「ある物は棄却しないしそれにロジスティクスでない」ということは成り立たないとしたら民主的共和制である
事実3: もし仮に「あの嫌悪顔はコップでないしそれに解け易くない」ということは嘘だとしたら「合わせ辛い」ということは成り立つ

仮説: 「もしも「コップでないしさらに解け易くない」ということは誤りであるならば合わせ辛い」ものはある
1. 事実3から、仮説が導かれる

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