あの赤岳鉱泉は剥がれ易い
fact1: あの御焼香はＬ以下であるがしかし抗原受容体でない fact2: 仮にその豊前国が曲がり掛けるとしたらこの六条院は物々しいが円派でない fact3: 仮にこの六条院がたわいないがＬ以下でないならばあの御焼香は抗原受容体だ fact4: もしも「この譲渡担保権者Ａは麗しいしそれに拭い難い」ということは成り立たないとすればあの御焼香は麗しいということはない fact5: あの御焼香はたわいないが抗原受容体でない fact6: 何らかの物は導入出来るけど安過ぎない fact7: 例外無くないものは黒っぽくてかつ相応ずる fact8: もしこの六条院が上皮であるしそれがＬ以下ならばあの赤岳鉱泉は剥がれ易い fact9: あの赤岳鉱泉は意気阻喪する fact10: この六条院が上皮であるがＬ以下でないとするとあの赤岳鉱泉は剥がれ易い fact11: 仮に「なにがしかのものは上皮でＬ以下である」ということは誤りだとすると剥がれ易くない fact12: 仮にこの六条院が物々しいけど円派であるということはないとすると例外無くない fact13: あの御焼香がたわいないけど抗原受容体でないならこの譲渡担保権者ＡはＬ以下でない fact14: もしあの御焼香は麗しくないとすると「あの赤岳鉱泉は上皮であるしおまけにそれはＬ以下だ」ということは誤りである fact15: あの実測値は描き易いがしかし上皮でない fact16: この理由付記は解するが度し難くない fact17: もしもこの譲渡担保権者ＡがＬ以下でないとするとこの六条院は上皮だがＬ以下であるということはない
fact13 & fact5 -> int1: この譲渡担保権者ＡはＬ以下でない; int1 & fact17 -> int2: この六条院は上皮だがしかしそれはＬ以下であるということはない; int2 & fact10 -> hypothesis;
fact13 & fact5 -> int1: ¬{B}{b}; int1 & fact17 -> int2: ({A}{c} & ¬{B}{c}); int2 & fact10 -> hypothesis;
あの赤岳鉱泉は剥がれ易くない
fact21 -> int3: もし「あの赤岳鉱泉は上皮であるしＬ以下である」ということは誤っているなら剥がれ易くない; fact18 -> int4: もしもこの六条院が例外無くないなら黒っぽくて相応ずる;
$facts$ = fact1: あの御焼香はＬ以下であるがしかし抗原受容体でない fact2: 仮にその豊前国が曲がり掛けるとしたらこの六条院は物々しいが円派でない fact3: 仮にこの六条院がたわいないがＬ以下でないならばあの御焼香は抗原受容体だ fact4: もしも「この譲渡担保権者Ａは麗しいしそれに拭い難い」ということは成り立たないとすればあの御焼香は麗しいということはない fact5: あの御焼香はたわいないが抗原受容体でない fact6: 何らかの物は導入出来るけど安過ぎない fact7: 例外無くないものは黒っぽくてかつ相応ずる fact8: もしこの六条院が上皮であるしそれがＬ以下ならばあの赤岳鉱泉は剥がれ易い fact9: あの赤岳鉱泉は意気阻喪する fact10: この六条院が上皮であるがＬ以下でないとするとあの赤岳鉱泉は剥がれ易い fact11: 仮に「なにがしかのものは上皮でＬ以下である」ということは誤りだとすると剥がれ易くない fact12: 仮にこの六条院が物々しいけど円派であるということはないとすると例外無くない fact13: あの御焼香がたわいないけど抗原受容体でないならこの譲渡担保権者ＡはＬ以下でない fact14: もしあの御焼香は麗しくないとすると「あの赤岳鉱泉は上皮であるしおまけにそれはＬ以下だ」ということは誤りである fact15: あの実測値は描き易いがしかし上皮でない fact16: この理由付記は解するが度し難くない fact17: もしもこの譲渡担保権者ＡがＬ以下でないとするとこの六条院は上皮だがＬ以下であるということはない ; $hypothesis$ = あの赤岳鉱泉は剥がれ易い ; $proof$ = 
fact13 & fact5 -> int1: この譲渡担保権者ＡはＬ以下でない; int1 & fact17 -> int2: この六条院は上皮だがしかしそれはＬ以下であるということはない; int2 & fact10 -> hypothesis; __PROVED__
事実1: あの御焼香はＬ以下であるがしかし抗原受容体でない
事実2: 仮にその豊前国が曲がり掛けるとしたらこの六条院は物々しいが円派でない
事実3: 仮にこの六条院がたわいないがＬ以下でないならばあの御焼香は抗原受容体だ
事実4: もしも「この譲渡担保権者Ａは麗しいしそれに拭い難い」ということは成り立たないとすればあの御焼香は麗しいということはない
事実5: あの御焼香はたわいないが抗原受容体でない
事実6: 何らかの物は導入出来るけど安過ぎない
事実7: 例外無くないものは黒っぽくてかつ相応ずる
事実8: もしこの六条院が上皮であるしそれがＬ以下ならばあの赤岳鉱泉は剥がれ易い
事実9: あの赤岳鉱泉は意気阻喪する
事実10: この六条院が上皮であるがＬ以下でないとするとあの赤岳鉱泉は剥がれ易い
事実11: 仮に「なにがしかのものは上皮でＬ以下である」ということは誤りだとすると剥がれ易くない
事実12: 仮にこの六条院が物々しいけど円派であるということはないとすると例外無くない
事実13: あの御焼香がたわいないけど抗原受容体でないならこの譲渡担保権者ＡはＬ以下でない
事実14: もしあの御焼香は麗しくないとすると「あの赤岳鉱泉は上皮であるしおまけにそれはＬ以下だ」ということは誤りである
事実15: あの実測値は描き易いがしかし上皮でない
事実16: この理由付記は解するが度し難くない
事実17: もしもこの譲渡担保権者ＡがＬ以下でないとするとこの六条院は上皮だがＬ以下であるということはない

仮説: あの赤岳鉱泉は剥がれ易い
1. 事実13と事実5から、推論1: "この譲渡担保権者ＡはＬ以下でない"が導かれる
2. 推論1と事実17から、推論2: "この六条院は上皮だがしかしそれはＬ以下であるということはない"が導かれる
3. 推論2と事実10から、仮説が導かれる

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