あの賃借権物権論は誇らしくない
fact1: この病前性格はフランス人男性だ fact2: この病前性格は近付き難い fact3: もしもあの賃借権物権論は近付き難くないけどメール・アドレスであるとしたら「それは誇らしい」ということは事実である fact4: もしあの賃借権物権論は近付き難いしそれにメール・アドレスだとすれば誇らしい fact5: もしこの病前性格はフランス人男性だとすると「あの御稽古毎は近付き難い」ということは真実である fact6: もしもあの御稽古毎が近付き難いとするとあの賃借権物権論は近付き難いということはないけどメール・アドレスだ fact7: 仮に近付き難くないものはフランス人男性でないとすれば「誇らしい」ということは事実と異なる
fact5 & fact1 -> int1: あの御稽古毎は近付き難い; int1 & fact6 -> int2: あの賃借権物権論は近付き難くないけれどそれはメール・アドレスだ; int2 & fact3 -> hypothesis;
「あの賃借権物権論は誇らしくない」ということは偽でない
fact8 -> int3: もし仮にあの賃借権物権論が近付き難くないしそれにそれはフランス人男性でないとするとそれは誇らしいということはない;
$facts$ = fact1: この病前性格はフランス人男性だ fact2: この病前性格は近付き難い fact3: もしもあの賃借権物権論は近付き難くないけどメール・アドレスであるとしたら「それは誇らしい」ということは事実である fact4: もしあの賃借権物権論は近付き難いしそれにメール・アドレスだとすれば誇らしい fact5: もしこの病前性格はフランス人男性だとすると「あの御稽古毎は近付き難い」ということは真実である fact6: もしもあの御稽古毎が近付き難いとするとあの賃借権物権論は近付き難いということはないけどメール・アドレスだ fact7: 仮に近付き難くないものはフランス人男性でないとすれば「誇らしい」ということは事実と異なる ; $hypothesis$ = あの賃借権物権論は誇らしくない ; $proof$ = 
fact5 & fact1 -> int1: あの御稽古毎は近付き難い; int1 & fact6 -> int2: あの賃借権物権論は近付き難くないけれどそれはメール・アドレスだ; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: この病前性格はフランス人男性だ
事実2: この病前性格は近付き難い
事実3: もしもあの賃借権物権論は近付き難くないけどメール・アドレスであるとしたら「それは誇らしい」ということは事実である
事実4: もしあの賃借権物権論は近付き難いしそれにメール・アドレスだとすれば誇らしい
事実5: もしこの病前性格はフランス人男性だとすると「あの御稽古毎は近付き難い」ということは真実である
事実6: もしもあの御稽古毎が近付き難いとするとあの賃借権物権論は近付き難いということはないけどメール・アドレスだ
事実7: 仮に近付き難くないものはフランス人男性でないとすれば「誇らしい」ということは事実と異なる

仮説: あの賃借権物権論は誇らしくない
1. 事実5と事実1から、推論1: "あの御稽古毎は近付き難い"が導かれる
2. 推論1と事実6から、推論2: "あの賃借権物権論は近付き難くないけれどそれはメール・アドレスだ"が導かれる
3. 推論2と事実3から、仮説が否定される

よって、仮説が否定されました。