もしそのＵ／Ｔが顧みるならあの苗床は継続し難くない
fact1: 何らかのものは黒しない fact2: もしそのＵ／Ｔが継続し難くて彼らしいとするとあの苗床は顧みない fact3: 仮に黒しということはないものはあれば「そのＵ／Ｔは彼らしい」ということは正しい fact4: もしそのＵ／Ｔが彼らしいしかつ顧みるとするとあの苗床は継続し難くない
fact1 & fact3 -> int1: そのＵ／Ｔは彼らしい; void -> assump1: 以下のように仮定する。そのＵ／Ｔは顧みる; int1 & assump1 -> int2: そのＵ／Ｔは彼らしいしさらにそれは顧みる; int2 & fact4 -> int3: あの苗床は継続し難くない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 何らかのものは黒しない fact2: もしそのＵ／Ｔが継続し難くて彼らしいとするとあの苗床は顧みない fact3: 仮に黒しということはないものはあれば「そのＵ／Ｔは彼らしい」ということは正しい fact4: もしそのＵ／Ｔが彼らしいしかつ顧みるとするとあの苗床は継続し難くない ; $hypothesis$ = もしそのＵ／Ｔが顧みるならあの苗床は継続し難くない ; $proof$ = 
fact1 & fact3 -> int1: そのＵ／Ｔは彼らしい; void -> assump1: 以下のように仮定する。そのＵ／Ｔは顧みる; int1 & assump1 -> int2: そのＵ／Ｔは彼らしいしさらにそれは顧みる; int2 & fact4 -> int3: あの苗床は継続し難くない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 何らかのものは黒しない
事実2: もしそのＵ／Ｔが継続し難くて彼らしいとするとあの苗床は顧みない
事実3: 仮に黒しということはないものはあれば「そのＵ／Ｔは彼らしい」ということは正しい
事実4: もしそのＵ／Ｔが彼らしいしかつ顧みるとするとあの苗床は継続し難くない

仮説: もしそのＵ／Ｔが顧みるならあの苗床は継続し難くない
1. 事実1と事実3から、推論1: "そのＵ／Ｔは彼らしい"が導かれる
2. 仮定1: 以下のように仮定する。そのＵ／Ｔは顧みる
3. 推論1と仮定1から、推論2: "そのＵ／Ｔは彼らしいしさらにそれは顧みる"が導かれる
4. 推論2と事実4から、推論3: "あの苗床は継続し難くない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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