「握手しないとすると「被り直すかまたは制御出来るかもしくはどちらもである」ということは確かな」物はある
fact1: もし何らかのものが握手するということはないとすると被り直すかまたは制御出来るか両方だ fact2: 仮にとあるものが取っ組み合わないとすれば薄めるか予測し易い fact3: あの子供用が点Ｃでないとするとディスクブレーキであるかあるいはそれは制御出来る fact4: もしあの子供用が俗っぽくないなら握手するかまたはそれは苦々しいかもしくは両方である
fact1 -> int1: もしもあの子供用が握手しないとすればそれは被り直すか制御出来る; int1 -> hypothesis;
「もし取っ組み合わないならば「薄めるかまたは予測し易い」ということは事実である」物はある
fact5 -> int2: もしもその適用限度面積が取っ組み合わないとするとそれは薄めるかもしくはそれは予測し易い; int2 -> hypothesis;
$facts$ = fact1: もし何らかのものが握手するということはないとすると被り直すかまたは制御出来るか両方だ fact2: 仮にとあるものが取っ組み合わないとすれば薄めるか予測し易い fact3: あの子供用が点Ｃでないとするとディスクブレーキであるかあるいはそれは制御出来る fact4: もしあの子供用が俗っぽくないなら握手するかまたはそれは苦々しいかもしくは両方である ; $hypothesis$ = 「握手しないとすると「被り直すかまたは制御出来るかもしくはどちらもである」ということは確かな」物はある ; $proof$ = 
fact1 -> int1: もしもあの子供用が握手しないとすればそれは被り直すか制御出来る; int1 -> hypothesis; __PROVED__
事実1: もし何らかのものが握手するということはないとすると被り直すかまたは制御出来るか両方だ
事実2: 仮にとあるものが取っ組み合わないとすれば薄めるか予測し易い
事実3: あの子供用が点Ｃでないとするとディスクブレーキであるかあるいはそれは制御出来る
事実4: もしあの子供用が俗っぽくないなら握手するかまたはそれは苦々しいかもしくは両方である

仮説: 「握手しないとすると「被り直すかまたは制御出来るかもしくはどちらもである」ということは確かな」物はある
1. 事実1から、推論1: "もしもあの子供用が握手しないとすればそれは被り直すか制御出来る"が導かれる
2. 推論1から、仮説が導かれる

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