「もしも「活動し易いがしかし元禄人形でない」ということは間違っていれば「尾久支部でない」ということは真実な」物はある
fact1: 「もし文部省編纂だが行き来しないとすれば対応し得ない」ものはある fact2: 「「「活動し易いが元禄人形でない」ということは嘘であるならば尾久支部である」ものはある」ということは成り立つ fact3: もし「あの継続的触れ合いは活動し易い一方で元禄人形であるということはない」ということは本当でないとしたらそれは尾久支部でない fact4: 「もし「「活動し易くておまけに元禄人形である」ということは成り立つ」ということは成り立たないとすると尾久支部でない」ものはある fact5: もし「あの継続的触れ合いはコルベンだけれど尾久支部でない」ということは真実だということはないとしたら瞠目するということはない fact6: 「「楽しみするししかも大匙でない」ということは成り立つということはないなら若いということはない」物はある fact7: 仮に「何らかのものは看護する一方で出奔しない」ということは偽だとしたら「それは金賞であるということはない」ということは事実である
fact3 -> hypothesis;
「仮に「看護するし出奔しない」ということは成り立たないならば「金賞でない」ということは間違いでない」ものはある
fact8 -> int1: もし仮に「そのマルチメディアは看護する一方で出奔するということはない」ということは成り立たないとすると金賞でない; int1 -> hypothesis;
$facts$ = fact1: 「もし文部省編纂だが行き来しないとすれば対応し得ない」ものはある fact2: 「「「活動し易いが元禄人形でない」ということは嘘であるならば尾久支部である」ものはある」ということは成り立つ fact3: もし「あの継続的触れ合いは活動し易い一方で元禄人形であるということはない」ということは本当でないとしたらそれは尾久支部でない fact4: 「もし「「活動し易くておまけに元禄人形である」ということは成り立つ」ということは成り立たないとすると尾久支部でない」ものはある fact5: もし「あの継続的触れ合いはコルベンだけれど尾久支部でない」ということは真実だということはないとしたら瞠目するということはない fact6: 「「楽しみするししかも大匙でない」ということは成り立つということはないなら若いということはない」物はある fact7: 仮に「何らかのものは看護する一方で出奔しない」ということは偽だとしたら「それは金賞であるということはない」ということは事実である ; $hypothesis$ = 「もしも「活動し易いがしかし元禄人形でない」ということは間違っていれば「尾久支部でない」ということは真実な」物はある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もし文部省編纂だが行き来しないとすれば対応し得ない」ものはある
事実2: 「「「活動し易いが元禄人形でない」ということは嘘であるならば尾久支部である」ものはある」ということは成り立つ
事実3: もし「あの継続的触れ合いは活動し易い一方で元禄人形であるということはない」ということは本当でないとしたらそれは尾久支部でない
事実4: 「もし「「活動し易くておまけに元禄人形である」ということは成り立つ」ということは成り立たないとすると尾久支部でない」ものはある
事実5: もし「あの継続的触れ合いはコルベンだけれど尾久支部でない」ということは真実だということはないとしたら瞠目するということはない
事実6: 「「楽しみするししかも大匙でない」ということは成り立つということはないなら若いということはない」物はある
事実7: 仮に「何らかのものは看護する一方で出奔しない」ということは偽だとしたら「それは金賞であるということはない」ということは事実である

仮説: 「もしも「活動し易いがしかし元禄人形でない」ということは間違っていれば「尾久支部でない」ということは真実な」物はある
1. 事実3から、仮説が導かれる

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