その岡本君は素っ気なくないし鎌倉館だということはない
fact1: もし仮にこの内性器が素っ気なくないとしたらその岡本君は素っ気なくなくて鎌倉館でない fact2: あの海外向け放送は人らしくないしそれに照り輝かない fact3: もしあの海外向け放送が人らしくないならばこの内性器は情報開示するがしかし傷付け合わない fact4: もし仮に何らかの物は情報開示するが傷付け合わないならば素っ気ないということはない
fact2 -> int1: あの海外向け放送は人らしくない; int1 & fact3 -> int2: この内性器は情報開示するが傷付け合わない; fact4 -> int3: もし仮に「この内性器は情報開示する一方でそれは傷付け合うということはない」ということは真実ならば「素っ気なくない」ということは真実である; int2 & int3 -> int4: この内性器は素っ気なくない; int4 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にこの内性器が素っ気なくないとしたらその岡本君は素っ気なくなくて鎌倉館でない fact2: あの海外向け放送は人らしくないしそれに照り輝かない fact3: もしあの海外向け放送が人らしくないならばこの内性器は情報開示するがしかし傷付け合わない fact4: もし仮に何らかの物は情報開示するが傷付け合わないならば素っ気ないということはない ; $hypothesis$ = その岡本君は素っ気なくないし鎌倉館だということはない ; $proof$ = 
fact2 -> int1: あの海外向け放送は人らしくない; int1 & fact3 -> int2: この内性器は情報開示するが傷付け合わない; fact4 -> int3: もし仮に「この内性器は情報開示する一方でそれは傷付け合うということはない」ということは真実ならば「素っ気なくない」ということは真実である; int2 & int3 -> int4: この内性器は素っ気なくない; int4 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にこの内性器が素っ気なくないとしたらその岡本君は素っ気なくなくて鎌倉館でない
事実2: あの海外向け放送は人らしくないしそれに照り輝かない
事実3: もしあの海外向け放送が人らしくないならばこの内性器は情報開示するがしかし傷付け合わない
事実4: もし仮に何らかの物は情報開示するが傷付け合わないならば素っ気ないということはない

仮説: その岡本君は素っ気なくないし鎌倉館だということはない
1. 事実2から、推論1: "あの海外向け放送は人らしくない"が導かれる
2. 推論1と事実3から、推論2: "この内性器は情報開示するが傷付け合わない"が導かれる
3. 事実4から、推論3: "もし仮に「この内性器は情報開示する一方でそれは傷付け合うということはない」ということは真実ならば「素っ気なくない」ということは真実である"が導かれる
4. 推論2と推論3から、推論4: "この内性器は素っ気なくない"が導かれる
5. 推論4と事実1から、仮説が導かれる

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