「もしも「行き難いしその上記す」ということは成り立たないなら「感じ易くない」ということは確かな」物はある
fact1: 「「「行き難くてまた記す」ということは正しい」ということは嘘であるとすると感じ易い」物はある fact2: 「もし記さないとしたら感じ易いということはない」ものはある fact3: 「なにかは飛び退るし受け入れ易い」ということは事実でないとするとそれは達成し得るということはない fact4: 仮に「あの三十年代以後は焼き方であるしかつ一元管理する」ということは嘘ならばそれは移行し易くない fact5: 「もし仮に行き難くて更に記すとしたら感じ易くない」ものはある fact6: もし「この三十以上が記すしその上それは忍耐強い」ということは偽だとするとそれは本年度でない fact7: もし仮にこの三十以上は行き難くないなら「回転でない」ということは間違っていない fact8: 「もし仮に鋳ないなら加工し易くない」物はある fact9: 「「一元管理するし加えて村起こしである」ということは誤っていれば「ヘアライン仕上げしない」ということは成り立つ」ものはある fact10: もし仮に「この三十以上は痒いし更に記す」ということは成り立つということはないとすればそれは逸らす fact11: 仮に「この三十以上は行き難くて記す」ということは事実と異なるなら感じ易くない
fact11 -> hypothesis;
「もし仮に「飛び退るしかつ受け入れ易い」ということは成り立つということはないとしたら達成し得ない」ものはある
fact12 -> int1: もしも「このＧＨＲＰが飛び退るしその上受け入れ易い」ということは間違っているとしたら達成し得ない; int1 -> hypothesis;
$facts$ = fact1: 「「「行き難くてまた記す」ということは正しい」ということは嘘であるとすると感じ易い」物はある fact2: 「もし記さないとしたら感じ易いということはない」ものはある fact3: 「なにかは飛び退るし受け入れ易い」ということは事実でないとするとそれは達成し得るということはない fact4: 仮に「あの三十年代以後は焼き方であるしかつ一元管理する」ということは嘘ならばそれは移行し易くない fact5: 「もし仮に行き難くて更に記すとしたら感じ易くない」ものはある fact6: もし「この三十以上が記すしその上それは忍耐強い」ということは偽だとするとそれは本年度でない fact7: もし仮にこの三十以上は行き難くないなら「回転でない」ということは間違っていない fact8: 「もし仮に鋳ないなら加工し易くない」物はある fact9: 「「一元管理するし加えて村起こしである」ということは誤っていれば「ヘアライン仕上げしない」ということは成り立つ」ものはある fact10: もし仮に「この三十以上は痒いし更に記す」ということは成り立つということはないとすればそれは逸らす fact11: 仮に「この三十以上は行き難くて記す」ということは事実と異なるなら感じ易くない ; $hypothesis$ = 「もしも「行き難いしその上記す」ということは成り立たないなら「感じ易くない」ということは確かな」物はある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 「「「行き難くてまた記す」ということは正しい」ということは嘘であるとすると感じ易い」物はある
事実2: 「もし記さないとしたら感じ易いということはない」ものはある
事実3: 「なにかは飛び退るし受け入れ易い」ということは事実でないとするとそれは達成し得るということはない
事実4: 仮に「あの三十年代以後は焼き方であるしかつ一元管理する」ということは嘘ならばそれは移行し易くない
事実5: 「もし仮に行き難くて更に記すとしたら感じ易くない」ものはある
事実6: もし「この三十以上が記すしその上それは忍耐強い」ということは偽だとするとそれは本年度でない
事実7: もし仮にこの三十以上は行き難くないなら「回転でない」ということは間違っていない
事実8: 「もし仮に鋳ないなら加工し易くない」物はある
事実9: 「「一元管理するし加えて村起こしである」ということは誤っていれば「ヘアライン仕上げしない」ということは成り立つ」ものはある
事実10: もし仮に「この三十以上は痒いし更に記す」ということは成り立つということはないとすればそれは逸らす
事実11: 仮に「この三十以上は行き難くて記す」ということは事実と異なるなら感じ易くない

仮説: 「もしも「行き難いしその上記す」ということは成り立たないなら「感じ易くない」ということは確かな」物はある
1. 事実11から、仮説が導かれる

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