あの地財は専修念仏である一方で脱せない
fact1: あの地財は専修念仏である fact2: もし仮に何らかの物は茶席でないならばややこしいということはないしその上伸ばし易くない fact3: もしあの前田方が茶席ならばあのイデアはややこしい一方で伸ばし易くない fact4: 「あの地財は専修念仏だがしかしそれは脱せない」ということは間違っているなら「そのイデアは伸ばし易い」ということは成り立つ fact5: そのイデアは考え難くない fact6: 「この転移個数は考え難くない」ということは確かである fact7: 「あの地財は伸ばし易いがしかし脱せるということはない」ということは誤りである fact8: ややこしい物が伸ばし易くないとしたらそれは考え難いということはない fact9: そのイデアは専修念仏であるということはない fact10: もしそのイデアはややこしいし専修念仏であるとしたら脱せない fact11: そのイデアはややこしいけど考え難くない fact12: もし仮に何らかのものが成り立ちだとすると茶席である fact13: もし仮にそのイデアがややこしい一方で考え難くないとすると伸ばし易くない
void -> assump1: 以下のように仮定する。「あの地財は専修念仏であるけどそれは脱せるということはない」ということは嘘である; fact4 & assump1 -> int1: そのイデアは伸ばし易い; fact13 & fact11 -> int2: そのイデアは伸ばし易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact4 & assump1 -> int1: {B}{b}; fact13 & fact11 -> int2: ¬{B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「あの地財は専修念仏であるがしかし脱せない」ということは正しくない
fact14 -> int4: もしそのイデアはややこしい一方で伸ばし易くないならそれは考え難くない; fact16 -> int5: もし仮にあの前田方が成り立ちだとしたらそれは茶席である;
$facts$ = fact1: あの地財は専修念仏である fact2: もし仮に何らかの物は茶席でないならばややこしいということはないしその上伸ばし易くない fact3: もしあの前田方が茶席ならばあのイデアはややこしい一方で伸ばし易くない fact4: 「あの地財は専修念仏だがしかしそれは脱せない」ということは間違っているなら「そのイデアは伸ばし易い」ということは成り立つ fact5: そのイデアは考え難くない fact6: 「この転移個数は考え難くない」ということは確かである fact7: 「あの地財は伸ばし易いがしかし脱せるということはない」ということは誤りである fact8: ややこしい物が伸ばし易くないとしたらそれは考え難いということはない fact9: そのイデアは専修念仏であるということはない fact10: もしそのイデアはややこしいし専修念仏であるとしたら脱せない fact11: そのイデアはややこしいけど考え難くない fact12: もし仮に何らかのものが成り立ちだとすると茶席である fact13: もし仮にそのイデアがややこしい一方で考え難くないとすると伸ばし易くない ; $hypothesis$ = あの地財は専修念仏である一方で脱せない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの地財は専修念仏であるけどそれは脱せるということはない」ということは嘘である; fact4 & assump1 -> int1: そのイデアは伸ばし易い; fact13 & fact11 -> int2: そのイデアは伸ばし易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの地財は専修念仏である
事実2: もし仮に何らかの物は茶席でないならばややこしいということはないしその上伸ばし易くない
事実3: もしあの前田方が茶席ならばあのイデアはややこしい一方で伸ばし易くない
事実4: 「あの地財は専修念仏だがしかしそれは脱せない」ということは間違っているなら「そのイデアは伸ばし易い」ということは成り立つ
事実5: そのイデアは考え難くない
事実6: 「この転移個数は考え難くない」ということは確かである
事実7: 「あの地財は伸ばし易いがしかし脱せるということはない」ということは誤りである
事実8: ややこしい物が伸ばし易くないとしたらそれは考え難いということはない
事実9: そのイデアは専修念仏であるということはない
事実10: もしそのイデアはややこしいし専修念仏であるとしたら脱せない
事実11: そのイデアはややこしいけど考え難くない
事実12: もし仮に何らかのものが成り立ちだとすると茶席である
事実13: もし仮にそのイデアがややこしい一方で考え難くないとすると伸ばし易くない

仮説: あの地財は専修念仏である一方で脱せない
1. 仮定1: 以下のように仮定する。「あの地財は専修念仏であるけどそれは脱せるということはない」ということは嘘である
2. 事実4と仮定1から、推論1: "そのイデアは伸ばし易い"が導かれる
3. 事実13と事実11から、推論2: "そのイデアは伸ばし易くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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