「もし共生生物だとすれば「挟み込むということはないしかつ繰り返し模様だ」ということは成り立たない」ものはある
fact1: 「「もし作業し易いとしたら「生誕祭でなくてしかも政治資金である」ということは嘘である」物はある」ということは事実だ fact2: 「もし共生生物だとすると挟み込まないし繰り返し模様な」ものはある fact3: もしもあの手動流し込みは共生生物なら「挟み込まなくてそれにそれは繰り返し模様である」ということは成り立たない fact4: もし仮にあるものは共生生物であるならば「それは現われ易くない一方で脾だ」ということは成り立たない fact5: 仮にあの塩漬け肉は共生生物だとしたら「それは入れ難くないしそれは小気味良い」ということは成り立たない fact6: 「共生生物なら「挟み込むしその上繰り返し模様である」ということは成り立たない」物はある fact7: もし仮にあの手動流し込みが共生生物であるとすれば挟み込まなくて繰り返し模様だ fact8: あの手動流し込みは共生生物であるなら「それは挟み込むし加えて繰り返し模様だ」ということは誤りである
fact3 -> hypothesis;
あの手動流し込みは共生生物なら「それは現われ易くないけれど脾である」ということは成り立たない
fact9 -> hypothesis;
$facts$ = fact1: 「「もし作業し易いとしたら「生誕祭でなくてしかも政治資金である」ということは嘘である」物はある」ということは事実だ fact2: 「もし共生生物だとすると挟み込まないし繰り返し模様な」ものはある fact3: もしもあの手動流し込みは共生生物なら「挟み込まなくてそれにそれは繰り返し模様である」ということは成り立たない fact4: もし仮にあるものは共生生物であるならば「それは現われ易くない一方で脾だ」ということは成り立たない fact5: 仮にあの塩漬け肉は共生生物だとしたら「それは入れ難くないしそれは小気味良い」ということは成り立たない fact6: 「共生生物なら「挟み込むしその上繰り返し模様である」ということは成り立たない」物はある fact7: もし仮にあの手動流し込みが共生生物であるとすれば挟み込まなくて繰り返し模様だ fact8: あの手動流し込みは共生生物であるなら「それは挟み込むし加えて繰り返し模様だ」ということは誤りである ; $hypothesis$ = 「もし共生生物だとすれば「挟み込むということはないしかつ繰り返し模様だ」ということは成り立たない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「「もし作業し易いとしたら「生誕祭でなくてしかも政治資金である」ということは嘘である」物はある」ということは事実だ
事実2: 「もし共生生物だとすると挟み込まないし繰り返し模様な」ものはある
事実3: もしもあの手動流し込みは共生生物なら「挟み込まなくてそれにそれは繰り返し模様である」ということは成り立たない
事実4: もし仮にあるものは共生生物であるならば「それは現われ易くない一方で脾だ」ということは成り立たない
事実5: 仮にあの塩漬け肉は共生生物だとしたら「それは入れ難くないしそれは小気味良い」ということは成り立たない
事実6: 「共生生物なら「挟み込むしその上繰り返し模様である」ということは成り立たない」物はある
事実7: もし仮にあの手動流し込みが共生生物であるとすれば挟み込まなくて繰り返し模様だ
事実8: あの手動流し込みは共生生物であるなら「それは挟み込むし加えて繰り返し模様だ」ということは誤りである

仮説: 「もし共生生物だとすれば「挟み込むということはないしかつ繰り返し模様だ」ということは成り立たない」ものはある
1. 事実3から、仮説が導かれる

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