この面相は脱帽するし受け入れられ易い
fact1: 仮にこの面相が緩くないとしたらそれは来難いしそれにそれは受け入れられ易い fact2: もし「その父さんは愛しい」ということは成り立つなら「あの投資機会は愛しくないかあるいは妬ましくないかもしくは両方だ」ということは成り立たない fact3: あの供給量は妬ましいしその上出稿である fact4: もしも「何かは封鎖する一方でそれは聞き易いということはない」ということは誤っているとしたらそれは愛しい fact5: もしこの面相が緩くないとするとそれは来難い fact6: もしその父さんが聞き易いならば愛しい fact7: 仮にその父さんが封鎖するとするとこの面相は脱帽する fact8: 仮に「なんらかの物は来難くてまた妬ましい」ということは成り立たないとすると妬ましくない fact9: この面相は緩くない fact10: どれもこれもは愛しくないかもしくは妬ましくないかあるいは両方だ fact11: もしも「なにかは愛しい物であって封鎖しない」ということは間違いなら緩い
fact4 -> int1: 仮に「その父さんは封鎖するけどそれは聞き易くない」ということは間違いだとしたら「愛しい」ということは本当だ; void -> assump1: 以下のように仮定する。「「その父さんは封鎖するがしかしそれは聞き易くない」ということは確かである」ということは嘘である; int1 & assump1 -> int2: その父さんは愛しい; int2 & fact2 -> int3: 「「あの投資機会は愛しくないかもしくは妬ましくないかもしくは両方ともだ」ということは成り立つ」ということは成り立たない; fact10 -> int4: あの投資機会は愛しくないかあるいはそれは妬ましくないかあるいは両方である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その父さんは封鎖するけれど聞き易くない; int6 -> int7: その父さんは封鎖する; int7 & fact7 -> int8: この面相は脱帽する; fact1 & fact9 -> int9: この面相は来難くてかつ受け入れられ易い; int9 -> int10: この面相は受け入れられ易い; int8 & int10 -> hypothesis;
「この面相は脱帽するし受け入れられ易い」ということは偽だ
fact12 -> int11: もしも「この面相は来難くてさらに妬ましい」ということは誤りであるならば「妬ましくない」ということは成り立つ;
$facts$ = fact1: 仮にこの面相が緩くないとしたらそれは来難いしそれにそれは受け入れられ易い fact2: もし「その父さんは愛しい」ということは成り立つなら「あの投資機会は愛しくないかあるいは妬ましくないかもしくは両方だ」ということは成り立たない fact3: あの供給量は妬ましいしその上出稿である fact4: もしも「何かは封鎖する一方でそれは聞き易いということはない」ということは誤っているとしたらそれは愛しい fact5: もしこの面相が緩くないとするとそれは来難い fact6: もしその父さんが聞き易いならば愛しい fact7: 仮にその父さんが封鎖するとするとこの面相は脱帽する fact8: 仮に「なんらかの物は来難くてまた妬ましい」ということは成り立たないとすると妬ましくない fact9: この面相は緩くない fact10: どれもこれもは愛しくないかもしくは妬ましくないかあるいは両方だ fact11: もしも「なにかは愛しい物であって封鎖しない」ということは間違いなら緩い ; $hypothesis$ = この面相は脱帽するし受け入れられ易い ; $proof$ = 
fact4 -> int1: 仮に「その父さんは封鎖するけどそれは聞き易くない」ということは間違いだとしたら「愛しい」ということは本当だ; void -> assump1: 以下のように仮定する。「「その父さんは封鎖するがしかしそれは聞き易くない」ということは確かである」ということは嘘である; int1 & assump1 -> int2: その父さんは愛しい; int2 & fact2 -> int3: 「「あの投資機会は愛しくないかもしくは妬ましくないかもしくは両方ともだ」ということは成り立つ」ということは成り立たない; fact10 -> int4: あの投資機会は愛しくないかあるいはそれは妬ましくないかあるいは両方である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その父さんは封鎖するけれど聞き易くない; int6 -> int7: その父さんは封鎖する; int7 & fact7 -> int8: この面相は脱帽する; fact1 & fact9 -> int9: この面相は来難くてかつ受け入れられ易い; int9 -> int10: この面相は受け入れられ易い; int8 & int10 -> hypothesis; __PROVED__
事実1: 仮にこの面相が緩くないとしたらそれは来難いしそれにそれは受け入れられ易い
事実2: もし「その父さんは愛しい」ということは成り立つなら「あの投資機会は愛しくないかあるいは妬ましくないかもしくは両方だ」ということは成り立たない
事実3: あの供給量は妬ましいしその上出稿である
事実4: もしも「何かは封鎖する一方でそれは聞き易いということはない」ということは誤っているとしたらそれは愛しい
事実5: もしこの面相が緩くないとするとそれは来難い
事実6: もしその父さんが聞き易いならば愛しい
事実7: 仮にその父さんが封鎖するとするとこの面相は脱帽する
事実8: 仮に「なんらかの物は来難くてまた妬ましい」ということは成り立たないとすると妬ましくない
事実9: この面相は緩くない
事実10: どれもこれもは愛しくないかもしくは妬ましくないかあるいは両方だ
事実11: もしも「なにかは愛しい物であって封鎖しない」ということは間違いなら緩い

仮説: この面相は脱帽するし受け入れられ易い
1. 事実4から、推論1: "仮に「その父さんは封鎖するけどそれは聞き易くない」ということは間違いだとしたら「愛しい」ということは本当だ"が導かれる
2. 仮定1: 以下のように仮定する。「「その父さんは封鎖するがしかしそれは聞き易くない」ということは確かである」ということは嘘である
3. 推論1と仮定1から、推論2: "その父さんは愛しい"が導かれる
4. 推論2と事実2から、推論3: "「「あの投資機会は愛しくないかもしくは妬ましくないかもしくは両方ともだ」ということは成り立つ」ということは成り立たない"が導かれる
5. 事実10から、推論4: "あの投資機会は愛しくないかあるいはそれは妬ましくないかあるいは両方である"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その父さんは封鎖するけれど聞き易くない"が導かれる
8. 推論6から、推論7: "その父さんは封鎖する"が導かれる
9. 推論7と事実7から、推論8: "この面相は脱帽する"が導かれる
10. 事実1と事実9から、推論9: "この面相は来難くてかつ受け入れられ易い"が導かれる
11. 推論9から、推論10: "この面相は受け入れられ易い"が導かれる
12. 推論8と推論10から、仮説が導かれる

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