「もしも「惨めったらしいということはなくておまけに投票しない」ということは間違いであるなら至りするということはない」ものはある
fact1: 仮に「とあるものはインキ受理性だということはなくて加えて保ち易くない」ということは事実と異なるなら「惨めったらしい」ということは偽だ fact2: 「「選り分けるが免疫抑制薬だということはない」ということは誤りだとすると視点でない」ものはある fact3: もし「その格下げは一回以下だということはなくて更に至りしない」ということは間違いだとしたらＬ以上でない fact4: 「もし「惨めったらしいしその上投票しない」ということは誤りなら至りしない」物はある fact5: もしも「その正規戦は惨めったらしくないし投票しない」ということは誤りだとしたら「それは至りする」ということは事実である fact6: 「もしも「打ち当たらないしそれに望むということはない」ということは偽だとしたら丸い」ものはある fact7: 仮に「その正規戦は惨めったらしくないし投票しない」ということは嘘であるとしたら至りしない fact8: 「仮に投票すれば至りしない」ものはある
fact7 -> hypothesis;
もしも「あの疫病流行はインキ受理性でなくてその上保ち易くない」ということは成り立たないならばそれは惨めったらしくない
fact9 -> hypothesis;
$facts$ = fact1: 仮に「とあるものはインキ受理性だということはなくて加えて保ち易くない」ということは事実と異なるなら「惨めったらしい」ということは偽だ fact2: 「「選り分けるが免疫抑制薬だということはない」ということは誤りだとすると視点でない」ものはある fact3: もし「その格下げは一回以下だということはなくて更に至りしない」ということは間違いだとしたらＬ以上でない fact4: 「もし「惨めったらしいしその上投票しない」ということは誤りなら至りしない」物はある fact5: もしも「その正規戦は惨めったらしくないし投票しない」ということは誤りだとしたら「それは至りする」ということは事実である fact6: 「もしも「打ち当たらないしそれに望むということはない」ということは偽だとしたら丸い」ものはある fact7: 仮に「その正規戦は惨めったらしくないし投票しない」ということは嘘であるとしたら至りしない fact8: 「仮に投票すれば至りしない」ものはある ; $hypothesis$ = 「もしも「惨めったらしいということはなくておまけに投票しない」ということは間違いであるなら至りするということはない」ものはある ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 仮に「とあるものはインキ受理性だということはなくて加えて保ち易くない」ということは事実と異なるなら「惨めったらしい」ということは偽だ
事実2: 「「選り分けるが免疫抑制薬だということはない」ということは誤りだとすると視点でない」ものはある
事実3: もし「その格下げは一回以下だということはなくて更に至りしない」ということは間違いだとしたらＬ以上でない
事実4: 「もし「惨めったらしいしその上投票しない」ということは誤りなら至りしない」物はある
事実5: もしも「その正規戦は惨めったらしくないし投票しない」ということは誤りだとしたら「それは至りする」ということは事実である
事実6: 「もしも「打ち当たらないしそれに望むということはない」ということは偽だとしたら丸い」ものはある
事実7: 仮に「その正規戦は惨めったらしくないし投票しない」ということは嘘であるとしたら至りしない
事実8: 「仮に投票すれば至りしない」ものはある

仮説: 「もしも「惨めったらしいということはなくておまけに投票しない」ということは間違いであるなら至りするということはない」ものはある
1. 事実7から、仮説が導かれる

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