「もし仮にＳＵＢワンでないかもしくは初々しかないとすると直接作用でない」物はある
fact1: 「もしも受け入れ難いかあるいは入学するということはないとすると因り難くない」物はある fact2: もし仮にその天頂近くがＳＵＢワンでないかそれが初々しいということはないとすれば直接作用でない fact3: 「もし仮に御役立つかもしくはアンモニウムイオンでないか両方ならば眉間でない」ものはある fact4: 「初々しかないとしたら直接作用でない」物はある fact5: 「その天頂近くはＳＵＢワンでないかまたは初々しいかもしくは両方である」ということは成り立つとすればそれは直接作用でない fact6: なにかはミスリードしないかあるいは社則でないとしたら「初々しかない」ということは確かだ fact7: もし「その天頂近くはＳＵＢワンでない」ということは成り立てば直接作用でない
fact2 -> hypothesis;
fact2 -> hypothesis;
仮にその南北問題がミスリードしないかそれは社則でないとしたら初々しかない
fact8 -> hypothesis;
$facts$ = fact1: 「もしも受け入れ難いかあるいは入学するということはないとすると因り難くない」物はある fact2: もし仮にその天頂近くがＳＵＢワンでないかそれが初々しいということはないとすれば直接作用でない fact3: 「もし仮に御役立つかもしくはアンモニウムイオンでないか両方ならば眉間でない」ものはある fact4: 「初々しかないとしたら直接作用でない」物はある fact5: 「その天頂近くはＳＵＢワンでないかまたは初々しいかもしくは両方である」ということは成り立つとすればそれは直接作用でない fact6: なにかはミスリードしないかあるいは社則でないとしたら「初々しかない」ということは確かだ fact7: もし「その天頂近くはＳＵＢワンでない」ということは成り立てば直接作用でない ; $hypothesis$ = 「もし仮にＳＵＢワンでないかもしくは初々しかないとすると直接作用でない」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「もしも受け入れ難いかあるいは入学するということはないとすると因り難くない」物はある
事実2: もし仮にその天頂近くがＳＵＢワンでないかそれが初々しいということはないとすれば直接作用でない
事実3: 「もし仮に御役立つかもしくはアンモニウムイオンでないか両方ならば眉間でない」ものはある
事実4: 「初々しかないとしたら直接作用でない」物はある
事実5: 「その天頂近くはＳＵＢワンでないかまたは初々しいかもしくは両方である」ということは成り立つとすればそれは直接作用でない
事実6: なにかはミスリードしないかあるいは社則でないとしたら「初々しかない」ということは確かだ
事実7: もし「その天頂近くはＳＵＢワンでない」ということは成り立てば直接作用でない

仮説: 「もし仮にＳＵＢワンでないかもしくは初々しかないとすると直接作用でない」物はある
1. 事実2から、仮説が導かれる

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