「もし仮に隠匿しないし更に横着しないなら御言うない」物はある
fact1: 「もしも隠匿しないしその上横着するということはないならば御言う」物はある fact2: 「もし仮に隠匿しないがしかし横着するとすれば御言うない」ものはある fact3: 仮に何らかの物が隠匿しなくてしかも横着しないならそれは御言うない fact4: もしも目敏くない物は揮発し易くないなら集団知能検査でない fact5: 仮に「なにかは巡航するということはないがしかし面倒臭い」ということは成り立つとすればＳ・Ｍさんでない fact6: 「もしも御見受けしないし加えて業務外でないとしたら頼み難くない」物はある
fact3 -> int1: 仮にあの問題解決過程は隠匿しないし横着しないとすればそれは御言うない; int1 -> hypothesis;
「もし仮に目敏いということはなくておまけに揮発し易くないとすると集団知能検査でない」物はある
fact7 -> int2: もし仮にそのサステイナブルが目敏くなくて加えてそれは揮発し易くないならば集団知能検査でない; int2 -> hypothesis;
$facts$ = fact1: 「もしも隠匿しないしその上横着するということはないならば御言う」物はある fact2: 「もし仮に隠匿しないがしかし横着するとすれば御言うない」ものはある fact3: 仮に何らかの物が隠匿しなくてしかも横着しないならそれは御言うない fact4: もしも目敏くない物は揮発し易くないなら集団知能検査でない fact5: 仮に「なにかは巡航するということはないがしかし面倒臭い」ということは成り立つとすればＳ・Ｍさんでない fact6: 「もしも御見受けしないし加えて業務外でないとしたら頼み難くない」物はある ; $hypothesis$ = 「もし仮に隠匿しないし更に横着しないなら御言うない」物はある ; $proof$ = 
fact3 -> int1: 仮にあの問題解決過程は隠匿しないし横着しないとすればそれは御言うない; int1 -> hypothesis; __PROVED__
事実1: 「もしも隠匿しないしその上横着するということはないならば御言う」物はある
事実2: 「もし仮に隠匿しないがしかし横着するとすれば御言うない」ものはある
事実3: 仮に何らかの物が隠匿しなくてしかも横着しないならそれは御言うない
事実4: もしも目敏くない物は揮発し易くないなら集団知能検査でない
事実5: 仮に「なにかは巡航するということはないがしかし面倒臭い」ということは成り立つとすればＳ・Ｍさんでない
事実6: 「もしも御見受けしないし加えて業務外でないとしたら頼み難くない」物はある

仮説: 「もし仮に隠匿しないし更に横着しないなら御言うない」物はある
1. 事実3から、推論1: "仮にあの問題解決過程は隠匿しないし横着しないとすればそれは御言うない"が導かれる
2. 推論1から、仮説が導かれる

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