そのＰレファレンスは焼き難い
fact1: 仮に何らかの物はむさくないとすると「独占するしそれは導入す」ということは誤りである fact2: もし仮にそのＰレファレンスが導入すならそれは焼き難い fact3: もし「あのマイ・ダディーはむさいけど伊豆・小笠原弧でない」ということは事実と異なるとすると忙しない fact4: もし仮にとあるものはむさくないとしたら「独占するし更に導入すらない」ということは誤りである fact5: もし「「そのＰレファレンスは独占する一方で導入すらない」ということは確かだ」ということは間違いだとすると焼き難い fact6: そのＰレファレンスはむさくない
fact4 -> int1: もし仮にそのＰレファレンスはむさくないとすると「独占するが導入すらない」ということは偽だ; int1 & fact6 -> int2: 「そのＰレファレンスは独占するけれど導入すということはない」ということは偽である; int2 & fact5 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & ¬{AB}{aa}); int1 & fact6 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int2 & fact5 -> hypothesis;
$facts$ = fact1: 仮に何らかの物はむさくないとすると「独占するしそれは導入す」ということは誤りである fact2: もし仮にそのＰレファレンスが導入すならそれは焼き難い fact3: もし「あのマイ・ダディーはむさいけど伊豆・小笠原弧でない」ということは事実と異なるとすると忙しない fact4: もし仮にとあるものはむさくないとしたら「独占するし更に導入すらない」ということは誤りである fact5: もし「「そのＰレファレンスは独占する一方で導入すらない」ということは確かだ」ということは間違いだとすると焼き難い fact6: そのＰレファレンスはむさくない ; $hypothesis$ = そのＰレファレンスは焼き難い ; $proof$ = 
fact4 -> int1: もし仮にそのＰレファレンスはむさくないとすると「独占するが導入すらない」ということは偽だ; int1 & fact6 -> int2: 「そのＰレファレンスは独占するけれど導入すということはない」ということは偽である; int2 & fact5 -> hypothesis; __PROVED__
事実1: 仮に何らかの物はむさくないとすると「独占するしそれは導入す」ということは誤りである
事実2: もし仮にそのＰレファレンスが導入すならそれは焼き難い
事実3: もし「あのマイ・ダディーはむさいけど伊豆・小笠原弧でない」ということは事実と異なるとすると忙しない
事実4: もし仮にとあるものはむさくないとしたら「独占するし更に導入すらない」ということは誤りである
事実5: もし「「そのＰレファレンスは独占する一方で導入すらない」ということは確かだ」ということは間違いだとすると焼き難い
事実6: そのＰレファレンスはむさくない

仮説: そのＰレファレンスは焼き難い
1. 事実4から、推論1: "もし仮にそのＰレファレンスはむさくないとすると「独占するが導入すらない」ということは偽だ"が導かれる
2. 推論1と事実6から、推論2: "「そのＰレファレンスは独占するけれど導入すということはない」ということは偽である"が導かれる
3. 推論2と事実5から、仮説が導かれる

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