その満仮は馴染み難くなくてそれに忘我でない
fact1: もし「この遍行は飛び出せるということはない」ということは成り立つとすればこの御互いが差し出はましくらないしそれはすばしっこくない fact2: 「そのギリシャ文明はすばしっこい」ということは確かであるとしたらこの遍行は差し出がましいけれど飛び出せない fact3: この遍行は忘我でない fact4: もしその満仮が飛び出せないかあるいはそれが若々しいか両方ともならこの遍行は飛び出せない fact5: この遍行が差し出がましいが飛び出せるということはないとしたらその満仮は差し出がましかない fact6: もしその賃金上昇が五科目でないとしたらそのギリシャ文明は若々しかないし書き終わらない fact7: その満仮は馴染み難くない fact8: もし仮に「その賃金上昇は捲らないがしかし作り難い」ということは成り立たないとするとそれは五科目でない fact9: もしも若々しかないものが書き終わらないとすればそれはすばしっこい fact10: あの小菊は差し出がましかない fact11: この遍行は差し出がましかない fact12: もしこの遍行が差し出がましかないとすればあの満仮は馴染み難くない fact13: もし「とあるものは書き終わらないけどそれは飛び出せる」ということは間違っているとするとそれは飛び出せない fact14: 仮に何かは差し出がましかないならば「馴染み難いということはなくておまけに忘我でない」ということは事実と異なる fact15: もしこの遍行が差し出がましかないならその満仮は馴染み難くないし加えて忘我でない
fact15 & fact11 -> hypothesis;
fact15 & fact11 -> hypothesis;
この御互いは馴染み難くない
fact16 -> int1: 仮に「その満仮は書き終わらないがしかし飛び出せる」ということは本当でないとすればそれは飛び出せない;
$facts$ = fact1: もし「この遍行は飛び出せるということはない」ということは成り立つとすればこの御互いが差し出はましくらないしそれはすばしっこくない fact2: 「そのギリシャ文明はすばしっこい」ということは確かであるとしたらこの遍行は差し出がましいけれど飛び出せない fact3: この遍行は忘我でない fact4: もしその満仮が飛び出せないかあるいはそれが若々しいか両方ともならこの遍行は飛び出せない fact5: この遍行が差し出がましいが飛び出せるということはないとしたらその満仮は差し出がましかない fact6: もしその賃金上昇が五科目でないとしたらそのギリシャ文明は若々しかないし書き終わらない fact7: その満仮は馴染み難くない fact8: もし仮に「その賃金上昇は捲らないがしかし作り難い」ということは成り立たないとするとそれは五科目でない fact9: もしも若々しかないものが書き終わらないとすればそれはすばしっこい fact10: あの小菊は差し出がましかない fact11: この遍行は差し出がましかない fact12: もしこの遍行が差し出がましかないとすればあの満仮は馴染み難くない fact13: もし「とあるものは書き終わらないけどそれは飛び出せる」ということは間違っているとするとそれは飛び出せない fact14: 仮に何かは差し出がましかないならば「馴染み難いということはなくておまけに忘我でない」ということは事実と異なる fact15: もしこの遍行が差し出がましかないならその満仮は馴染み難くないし加えて忘我でない ; $hypothesis$ = その満仮は馴染み難くなくてそれに忘我でない ; $proof$ = 
fact15 & fact11 -> hypothesis; __PROVED__
事実1: もし「この遍行は飛び出せるということはない」ということは成り立つとすればこの御互いが差し出はましくらないしそれはすばしっこくない
事実2: 「そのギリシャ文明はすばしっこい」ということは確かであるとしたらこの遍行は差し出がましいけれど飛び出せない
事実3: この遍行は忘我でない
事実4: もしその満仮が飛び出せないかあるいはそれが若々しいか両方ともならこの遍行は飛び出せない
事実5: この遍行が差し出がましいが飛び出せるということはないとしたらその満仮は差し出がましかない
事実6: もしその賃金上昇が五科目でないとしたらそのギリシャ文明は若々しかないし書き終わらない
事実7: その満仮は馴染み難くない
事実8: もし仮に「その賃金上昇は捲らないがしかし作り難い」ということは成り立たないとするとそれは五科目でない
事実9: もしも若々しかないものが書き終わらないとすればそれはすばしっこい
事実10: あの小菊は差し出がましかない
事実11: この遍行は差し出がましかない
事実12: もしこの遍行が差し出がましかないとすればあの満仮は馴染み難くない
事実13: もし「とあるものは書き終わらないけどそれは飛び出せる」ということは間違っているとするとそれは飛び出せない
事実14: 仮に何かは差し出がましかないならば「馴染み難いということはなくておまけに忘我でない」ということは事実と異なる
事実15: もしこの遍行が差し出がましかないならその満仮は馴染み難くないし加えて忘我でない

仮説: その満仮は馴染み難くなくてそれに忘我でない
1. 事実15と事実11から、仮説が導かれる

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