なにがしかの物は強襲するということはないけれど他愛無い
fact1: あの出来高は強襲するしまた苛む fact2: もしもこの数十年後が滑り難い一方でそれが選り取らないとすると強襲しない fact3: この数十年後は他愛無いし更に算出法である fact4: この数十年後は滑り難いが選り取るということはない fact5: 「他愛無い」物はある
fact2 & fact4 -> int1: この数十年後は強襲しない; fact3 -> int2: この数十年後は他愛無い; int1 & int2 -> int3: この数十年後は強襲するということはない一方で他愛無い; int3 -> hypothesis;
あの出来高は苛むしそれに選り取る
fact6 -> int4: あの出来高は苛む;
$facts$ = fact1: あの出来高は強襲するしまた苛む fact2: もしもこの数十年後が滑り難い一方でそれが選り取らないとすると強襲しない fact3: この数十年後は他愛無いし更に算出法である fact4: この数十年後は滑り難いが選り取るということはない fact5: 「他愛無い」物はある ; $hypothesis$ = なにがしかの物は強襲するということはないけれど他愛無い ; $proof$ = 
fact2 & fact4 -> int1: この数十年後は強襲しない; fact3 -> int2: この数十年後は他愛無い; int1 & int2 -> int3: この数十年後は強襲するということはない一方で他愛無い; int3 -> hypothesis; __PROVED__
事実1: あの出来高は強襲するしまた苛む
事実2: もしもこの数十年後が滑り難い一方でそれが選り取らないとすると強襲しない
事実3: この数十年後は他愛無いし更に算出法である
事実4: この数十年後は滑り難いが選り取るということはない
事実5: 「他愛無い」物はある

仮説: なにがしかの物は強襲するということはないけれど他愛無い
1. 事実2と事実4から、推論1: "この数十年後は強襲しない"が導かれる
2. 事実3から、推論2: "この数十年後は他愛無い"が導かれる
3. 推論1と推論2から、推論3: "この数十年後は強襲するということはない一方で他愛無い"が導かれる
4. 推論3から、仮説が導かれる

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