もし仮に「この改宗者は選択し直すということはない」ということは確かであるなら研究し尽くさない
fact1: この改宗者は領有しない fact2: 仮にこの改宗者は選択し直さないとすればそれは研究し尽くす fact3: その無限責任社員は煙たくない fact4: もし仮になにがしかの物が所得Ｙでなくて母父であるということはないなら覗き込む fact5: もしあるものは研究し尽くすということはないしまた煙たくないとしたらそれは選択し直す fact6: もし仮にこの改宗者が領有しないしおまけにそれが煙たくないとすれば研究し尽くす fact7: もしこの改宗者は領有するが煙たくないとすれば研究し尽くさない fact8: 仮に何かは領有しないし煙たくないならばそれは研究し尽くす fact9: もしもこの着色が領有しないとすると免税点制度であるということはない fact10: この改宗者は嬉しくない fact11: なにかは領有するということはなくてそれにそれが煙たくないとしたらそれは研究し尽くさない fact12: もし仮に「この改宗者は選択し直さない」ということは正しいとすると領有しなくてそれにそれは煙たくない fact13: 仮にこの御洋服が研究し尽くさないしさらに片付け為さるということはないとすれば散布である fact14: この改宗者は研究し尽くす fact15: 仮にこの改宗者が選択し直すということはないとするとそれは領有しない fact16: もし何らかのものは領有するがしかし煙たくないとしたらそれは研究し尽くさない fact17: そのトポスは煙たくないし他愛無くない
void -> assump1: 以下のように仮定する。この改宗者は選択し直さない; fact12 & assump1 -> int1: この改宗者は領有しなくて更に煙たくない; fact11 -> int2: この改宗者が領有しないし加えてそれが煙たくないならば研究し尽くさない; int1 & int2 -> int3: この改宗者は研究し尽くすということはない; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact12 & assump1 -> int1: (¬{AA}{a} & ¬{AB}{a}); fact11 -> int2: (¬{AA}{a} & ¬{AB}{a}) -> ¬{B}{a}; int1 & int2 -> int3: ¬{B}{a}; [assump1] & int3 -> hypothesis;
$facts$ = fact1: この改宗者は領有しない fact2: 仮にこの改宗者は選択し直さないとすればそれは研究し尽くす fact3: その無限責任社員は煙たくない fact4: もし仮になにがしかの物が所得Ｙでなくて母父であるということはないなら覗き込む fact5: もしあるものは研究し尽くすということはないしまた煙たくないとしたらそれは選択し直す fact6: もし仮にこの改宗者が領有しないしおまけにそれが煙たくないとすれば研究し尽くす fact7: もしこの改宗者は領有するが煙たくないとすれば研究し尽くさない fact8: 仮に何かは領有しないし煙たくないならばそれは研究し尽くす fact9: もしもこの着色が領有しないとすると免税点制度であるということはない fact10: この改宗者は嬉しくない fact11: なにかは領有するということはなくてそれにそれが煙たくないとしたらそれは研究し尽くさない fact12: もし仮に「この改宗者は選択し直さない」ということは正しいとすると領有しなくてそれにそれは煙たくない fact13: 仮にこの御洋服が研究し尽くさないしさらに片付け為さるということはないとすれば散布である fact14: この改宗者は研究し尽くす fact15: 仮にこの改宗者が選択し直すということはないとするとそれは領有しない fact16: もし何らかのものは領有するがしかし煙たくないとしたらそれは研究し尽くさない fact17: そのトポスは煙たくないし他愛無くない ; $hypothesis$ = もし仮に「この改宗者は選択し直すということはない」ということは確かであるなら研究し尽くさない ; $proof$ = 
void -> assump1: 以下のように仮定する。この改宗者は選択し直さない; fact12 & assump1 -> int1: この改宗者は領有しなくて更に煙たくない; fact11 -> int2: この改宗者が領有しないし加えてそれが煙たくないならば研究し尽くさない; int1 & int2 -> int3: この改宗者は研究し尽くすということはない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この改宗者は領有しない
事実2: 仮にこの改宗者は選択し直さないとすればそれは研究し尽くす
事実3: その無限責任社員は煙たくない
事実4: もし仮になにがしかの物が所得Ｙでなくて母父であるということはないなら覗き込む
事実5: もしあるものは研究し尽くすということはないしまた煙たくないとしたらそれは選択し直す
事実6: もし仮にこの改宗者が領有しないしおまけにそれが煙たくないとすれば研究し尽くす
事実7: もしこの改宗者は領有するが煙たくないとすれば研究し尽くさない
事実8: 仮に何かは領有しないし煙たくないならばそれは研究し尽くす
事実9: もしもこの着色が領有しないとすると免税点制度であるということはない
事実10: この改宗者は嬉しくない
事実11: なにかは領有するということはなくてそれにそれが煙たくないとしたらそれは研究し尽くさない
事実12: もし仮に「この改宗者は選択し直さない」ということは正しいとすると領有しなくてそれにそれは煙たくない
事実13: 仮にこの御洋服が研究し尽くさないしさらに片付け為さるということはないとすれば散布である
事実14: この改宗者は研究し尽くす
事実15: 仮にこの改宗者が選択し直すということはないとするとそれは領有しない
事実16: もし何らかのものは領有するがしかし煙たくないとしたらそれは研究し尽くさない
事実17: そのトポスは煙たくないし他愛無くない

仮説: もし仮に「この改宗者は選択し直すということはない」ということは確かであるなら研究し尽くさない
1. 仮定1: 以下のように仮定する。この改宗者は選択し直さない
2. 事実12と仮定1から、推論1: "この改宗者は領有しなくて更に煙たくない"が導かれる
3. 事実11から、推論2: "この改宗者が領有しないし加えてそれが煙たくないならば研究し尽くさない"が導かれる
4. 推論1と推論2から、推論3: "この改宗者は研究し尽くすということはない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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