あのＹＫは易しない
fact1: あの外洋船は蟠るし加えてそれは日雇い労働である fact2: もし「あの外洋船は等しくないけれどそれは一泊する」ということは誤りなら日雇い労働でない fact3: 仮にあの外洋船が低下率であるとすればあの管理組合運営は日雇い労働でない fact4: 仮になにかは日雇い労働でないならそれは易ししおまけに得られ易い fact5: その管理組合運営が恨みがましくらないとすると大鍋でまた殴り飛ばす fact6: 何らかの物は日雇い労働でないならばそれは蟠るしおまけに得られ易い fact7: その管理組合運営が低下率であるかそれが得られ易いかまたは両方ともならあのＹＫは易しない fact8: 「その管理組合運営が恨みはましくらない」ということは誤りでない fact9: 仮に「等しくない一方で一泊する」物があればその管理組合運営は得られ易い
void -> assump1: 以下のように仮定する。「あの外洋船は等しくない一方でそれは一泊する」ということは事実でない; fact2 & assump1 -> int1: あの外洋船は日雇い労働であるということはない; fact1 -> int2: あの外洋船は日雇い労働である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの外洋船は等しくない一方で一泊する; int4 -> int5: 「等しくないし更に一泊する」ものはある; int5 & fact9 -> int6: その管理組合運営は得られ易い; int6 -> int7: その管理組合運営は低下率であるか得られ易いかあるいはどちらもだ; int7 & fact7 -> hypothesis;
あのＹＫは易し
fact12 -> int8: もし仮にあのＹＫが日雇い労働でないとすれば易しし更に得られ易い; fact11 & fact10 -> int9: その管理組合運営は大鍋であるしそれは殴り飛ばす; int9 -> int10: その管理組合運営は大鍋である; int10 -> int11: 「大鍋である」ものはある;
$facts$ = fact1: あの外洋船は蟠るし加えてそれは日雇い労働である fact2: もし「あの外洋船は等しくないけれどそれは一泊する」ということは誤りなら日雇い労働でない fact3: 仮にあの外洋船が低下率であるとすればあの管理組合運営は日雇い労働でない fact4: 仮になにかは日雇い労働でないならそれは易ししおまけに得られ易い fact5: その管理組合運営が恨みがましくらないとすると大鍋でまた殴り飛ばす fact6: 何らかの物は日雇い労働でないならばそれは蟠るしおまけに得られ易い fact7: その管理組合運営が低下率であるかそれが得られ易いかまたは両方ともならあのＹＫは易しない fact8: 「その管理組合運営が恨みはましくらない」ということは誤りでない fact9: 仮に「等しくない一方で一泊する」物があればその管理組合運営は得られ易い ; $hypothesis$ = あのＹＫは易しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの外洋船は等しくない一方でそれは一泊する」ということは事実でない; fact2 & assump1 -> int1: あの外洋船は日雇い労働であるということはない; fact1 -> int2: あの外洋船は日雇い労働である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの外洋船は等しくない一方で一泊する; int4 -> int5: 「等しくないし更に一泊する」ものはある; int5 & fact9 -> int6: その管理組合運営は得られ易い; int6 -> int7: その管理組合運営は低下率であるか得られ易いかあるいはどちらもだ; int7 & fact7 -> hypothesis; __PROVED__
事実1: あの外洋船は蟠るし加えてそれは日雇い労働である
事実2: もし「あの外洋船は等しくないけれどそれは一泊する」ということは誤りなら日雇い労働でない
事実3: 仮にあの外洋船が低下率であるとすればあの管理組合運営は日雇い労働でない
事実4: 仮になにかは日雇い労働でないならそれは易ししおまけに得られ易い
事実5: その管理組合運営が恨みがましくらないとすると大鍋でまた殴り飛ばす
事実6: 何らかの物は日雇い労働でないならばそれは蟠るしおまけに得られ易い
事実7: その管理組合運営が低下率であるかそれが得られ易いかまたは両方ともならあのＹＫは易しない
事実8: 「その管理組合運営が恨みはましくらない」ということは誤りでない
事実9: 仮に「等しくない一方で一泊する」物があればその管理組合運営は得られ易い

仮説: あのＹＫは易しない
1. 仮定1: 以下のように仮定する。「あの外洋船は等しくない一方でそれは一泊する」ということは事実でない
2. 事実2と仮定1から、推論1: "あの外洋船は日雇い労働であるということはない"が導かれる
3. 事実1から、推論2: "あの外洋船は日雇い労働である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの外洋船は等しくない一方で一泊する"が導かれる
6. 推論4から、推論5: "「等しくないし更に一泊する」ものはある"が導かれる
7. 推論5と事実9から、推論6: "その管理組合運営は得られ易い"が導かれる
8. 推論6から、推論7: "その管理組合運営は低下率であるか得られ易いかあるいはどちらもだ"が導かれる
9. 推論7と事実7から、仮説が導かれる

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