この捏ち上げは見極め難いしおまけに叩き潰す
fact1: この捏ち上げは平たいということはない fact2: もしこの捏ち上げは平たくないとすると「印刷するし要役地所有者でない」ということは間違いである fact3: 何もかもは叩き潰す fact4: 仮に「ある物は印刷するけど要役地所有者であるということはない」ということは真実でないとしたらそれは見極め難い fact5: もしも「なにかは要役地所有者であるが住み易いということはない」ということは事実と異なるとしたら間違え易い fact6: そのクエスチョンＳは見極め難い fact7: 要役地所有者は見極め難い
fact2 & fact1 -> int1: 「「この捏ち上げは印刷するがそれは要役地所有者でない」ということは成り立たない」ということは本当である; fact4 -> int2: もしも「この捏ち上げは印刷するけどそれは要役地所有者でない」ということは確かでないとするとそれは見極め難い; int1 & int2 -> int3: この捏ち上げは見極め難い; fact3 -> int4: この捏ち上げは叩き潰す; int3 & int4 -> hypothesis;
もし仮に「その子宮内膜症が要役地所有者だけどそれは住み易くない」ということは真実でないならば間違え易い
fact8 -> hypothesis;
$facts$ = fact1: この捏ち上げは平たいということはない fact2: もしこの捏ち上げは平たくないとすると「印刷するし要役地所有者でない」ということは間違いである fact3: 何もかもは叩き潰す fact4: 仮に「ある物は印刷するけど要役地所有者であるということはない」ということは真実でないとしたらそれは見極め難い fact5: もしも「なにかは要役地所有者であるが住み易いということはない」ということは事実と異なるとしたら間違え易い fact6: そのクエスチョンＳは見極め難い fact7: 要役地所有者は見極め難い ; $hypothesis$ = この捏ち上げは見極め難いしおまけに叩き潰す ; $proof$ = 
fact2 & fact1 -> int1: 「「この捏ち上げは印刷するがそれは要役地所有者でない」ということは成り立たない」ということは本当である; fact4 -> int2: もしも「この捏ち上げは印刷するけどそれは要役地所有者でない」ということは確かでないとするとそれは見極め難い; int1 & int2 -> int3: この捏ち上げは見極め難い; fact3 -> int4: この捏ち上げは叩き潰す; int3 & int4 -> hypothesis; __PROVED__
事実1: この捏ち上げは平たいということはない
事実2: もしこの捏ち上げは平たくないとすると「印刷するし要役地所有者でない」ということは間違いである
事実3: 何もかもは叩き潰す
事実4: 仮に「ある物は印刷するけど要役地所有者であるということはない」ということは真実でないとしたらそれは見極め難い
事実5: もしも「なにかは要役地所有者であるが住み易いということはない」ということは事実と異なるとしたら間違え易い
事実6: そのクエスチョンＳは見極め難い
事実7: 要役地所有者は見極め難い

仮説: この捏ち上げは見極め難いしおまけに叩き潰す
1. 事実2と事実1から、推論1: "「「この捏ち上げは印刷するがそれは要役地所有者でない」ということは成り立たない」ということは本当である"が導かれる
2. 事実4から、推論2: "もしも「この捏ち上げは印刷するけどそれは要役地所有者でない」ということは確かでないとするとそれは見極め難い"が導かれる
3. 推論1と推論2から、推論3: "この捏ち上げは見極め難い"が導かれる
4. 事実3から、推論4: "この捏ち上げは叩き潰す"が導かれる
5. 推論3と推論4から、仮説が導かれる

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