「「留まれない」ということは本当であるとすると「重いが加除でない」ということは偽である」物はある
fact1: その領主層は留まれないならば「重い一方で加除でない」ということは偽だ fact2: もしも「その領主層は高速・軽量化する」ということは正しいとすれば「重いけれど消化液でない」ということは偽である fact3: 「留まれないなら「重くてそれに加除である」ということは嘘な」物はある fact4: 「極まり悪くないとしたらあざといが兄弟愛でない」物はある fact5: 「もしも留まれるとすれば「重いけど加除でない」ということは偽である」ものはある fact6: もしもその領主層は留まれないならば「重いし加除である」ということは偽だ fact7: 「捩じ上げないとしたら「基本パラメータであるし凄まじくない」ということは嘘な」ものはある fact8: もしもその領主層は留まれるとしたら「重いしそれは加除でない」ということは事実と異なる fact9: 「もし仮に死に掛かるとすれば「まあるいがしかし行儀良くない」ということは成り立たない」ものはある fact10: 「「便乗しない」ということは本当だとすると連射するがジュネーヴ諸条約でない」ものはある fact11: もしこの複式簿記は重くないとしたら「天正日記だしさらに東大法卒だ」ということは嘘である fact12: 何かは倒れ伏さないなら「それは手っ取り早いがしかし著増しない」ということは誤りだ fact13: もしもあの中間行政法が織り出さないとしたら説教するけれど離職しない fact14: 「「溜まり易くない」ということは成り立つとすれば「泥臭いしかつ狡賢い」ということは成り立たない」物はある fact15: もし仮にその領主層は留まれるということはないとしたら「それは重いししかもそれは加除でない」ということは真実だ
fact1 -> hypothesis;
もしも「その領主層は倒れ伏さない」ということは正しいとすると「手っ取り早いが著増しない」ということは正しくない
fact16 -> hypothesis;
$facts$ = fact1: その領主層は留まれないならば「重い一方で加除でない」ということは偽だ fact2: もしも「その領主層は高速・軽量化する」ということは正しいとすれば「重いけれど消化液でない」ということは偽である fact3: 「留まれないなら「重くてそれに加除である」ということは嘘な」物はある fact4: 「極まり悪くないとしたらあざといが兄弟愛でない」物はある fact5: 「もしも留まれるとすれば「重いけど加除でない」ということは偽である」ものはある fact6: もしもその領主層は留まれないならば「重いし加除である」ということは偽だ fact7: 「捩じ上げないとしたら「基本パラメータであるし凄まじくない」ということは嘘な」ものはある fact8: もしもその領主層は留まれるとしたら「重いしそれは加除でない」ということは事実と異なる fact9: 「もし仮に死に掛かるとすれば「まあるいがしかし行儀良くない」ということは成り立たない」ものはある fact10: 「「便乗しない」ということは本当だとすると連射するがジュネーヴ諸条約でない」ものはある fact11: もしこの複式簿記は重くないとしたら「天正日記だしさらに東大法卒だ」ということは嘘である fact12: 何かは倒れ伏さないなら「それは手っ取り早いがしかし著増しない」ということは誤りだ fact13: もしもあの中間行政法が織り出さないとしたら説教するけれど離職しない fact14: 「「溜まり易くない」ということは成り立つとすれば「泥臭いしかつ狡賢い」ということは成り立たない」物はある fact15: もし仮にその領主層は留まれるということはないとしたら「それは重いししかもそれは加除でない」ということは真実だ ; $hypothesis$ = 「「留まれない」ということは本当であるとすると「重いが加除でない」ということは偽である」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: その領主層は留まれないならば「重い一方で加除でない」ということは偽だ
事実2: もしも「その領主層は高速・軽量化する」ということは正しいとすれば「重いけれど消化液でない」ということは偽である
事実3: 「留まれないなら「重くてそれに加除である」ということは嘘な」物はある
事実4: 「極まり悪くないとしたらあざといが兄弟愛でない」物はある
事実5: 「もしも留まれるとすれば「重いけど加除でない」ということは偽である」ものはある
事実6: もしもその領主層は留まれないならば「重いし加除である」ということは偽だ
事実7: 「捩じ上げないとしたら「基本パラメータであるし凄まじくない」ということは嘘な」ものはある
事実8: もしもその領主層は留まれるとしたら「重いしそれは加除でない」ということは事実と異なる
事実9: 「もし仮に死に掛かるとすれば「まあるいがしかし行儀良くない」ということは成り立たない」ものはある
事実10: 「「便乗しない」ということは本当だとすると連射するがジュネーヴ諸条約でない」ものはある
事実11: もしこの複式簿記は重くないとしたら「天正日記だしさらに東大法卒だ」ということは嘘である
事実12: 何かは倒れ伏さないなら「それは手っ取り早いがしかし著増しない」ということは誤りだ
事実13: もしもあの中間行政法が織り出さないとしたら説教するけれど離職しない
事実14: 「「溜まり易くない」ということは成り立つとすれば「泥臭いしかつ狡賢い」ということは成り立たない」物はある
事実15: もし仮にその領主層は留まれるということはないとしたら「それは重いししかもそれは加除でない」ということは真実だ

仮説: 「「留まれない」ということは本当であるとすると「重いが加除でない」ということは偽である」物はある
1. 事実1から、仮説が導かれる

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