この登記行為は誇らしい
fact1: このアイホールは生まれ難い fact2: 仮になんらかのものがギブスでないとするとそれは見付け易いしさらに三複合体である fact3: この登記行為は下痢便でないしさらに生まれ難いということはない fact4: もし仮にこの登記行為は下痢便でないしさらに生まれ難くないとするとギブスでない fact5: 暮らし易いギブスはない fact6: もしも「なにがしかの物はギブスであるししかも暮らし易い」ということは成り立つということはないとすればそれは暮らし易くない fact7: 仮にこの登記行為は三複合体であるとしたらそれは誇らしい
fact2 -> int1: 仮にこの登記行為はギブスでないならそれは見付け易いし加えて三複合体である; fact3 & fact4 -> int2: この登記行為はギブスでない; int1 & int2 -> int3: この登記行為は見付け易くて三複合体だ; int3 -> int4: この登記行為は三複合体である; int4 & fact7 -> hypothesis;
この登記行為は暮らし易くないしさらに下痢便でない
fact8 -> int5: 仮に「「その太文字はギブスであるし暮らし易い」ということは本当だ」ということは事実と異なるなら暮らし易くない; fact9 -> int6: 「その太文字はギブスであるしまた暮らし易い」ということは成り立たない; int5 & int6 -> int7: その太文字は暮らし易くない;
$facts$ = fact1: このアイホールは生まれ難い fact2: 仮になんらかのものがギブスでないとするとそれは見付け易いしさらに三複合体である fact3: この登記行為は下痢便でないしさらに生まれ難いということはない fact4: もし仮にこの登記行為は下痢便でないしさらに生まれ難くないとするとギブスでない fact5: 暮らし易いギブスはない fact6: もしも「なにがしかの物はギブスであるししかも暮らし易い」ということは成り立つということはないとすればそれは暮らし易くない fact7: 仮にこの登記行為は三複合体であるとしたらそれは誇らしい ; $hypothesis$ = この登記行為は誇らしい ; $proof$ = 
fact2 -> int1: 仮にこの登記行為はギブスでないならそれは見付け易いし加えて三複合体である; fact3 & fact4 -> int2: この登記行為はギブスでない; int1 & int2 -> int3: この登記行為は見付け易くて三複合体だ; int3 -> int4: この登記行為は三複合体である; int4 & fact7 -> hypothesis; __PROVED__
事実1: このアイホールは生まれ難い
事実2: 仮になんらかのものがギブスでないとするとそれは見付け易いしさらに三複合体である
事実3: この登記行為は下痢便でないしさらに生まれ難いということはない
事実4: もし仮にこの登記行為は下痢便でないしさらに生まれ難くないとするとギブスでない
事実5: 暮らし易いギブスはない
事実6: もしも「なにがしかの物はギブスであるししかも暮らし易い」ということは成り立つということはないとすればそれは暮らし易くない
事実7: 仮にこの登記行為は三複合体であるとしたらそれは誇らしい

仮説: この登記行為は誇らしい
1. 事実2から、推論1: "仮にこの登記行為はギブスでないならそれは見付け易いし加えて三複合体である"が導かれる
2. 事実3と事実4から、推論2: "この登記行為はギブスでない"が導かれる
3. 推論1と推論2から、推論3: "この登記行為は見付け易くて三複合体だ"が導かれる
4. 推論3から、推論4: "この登記行為は三複合体である"が導かれる
5. 推論4と事実7から、仮説が導かれる

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