あの此式は妬ましい
fact1: 全てのものは奥床しくない fact2: 何らかの物が奥床しくないなら荒々しいということはないししつっこくない fact3: しょぼいということはない物はしつっこいし奥床しい fact4: あの弗素以外は妬ましい fact5: あの此式は妬ましい fact6: 仮に「しつっこい」物はあるとすると「その違い棚は分かり難くないし加えて荒々しいということはない」ということは正しくない
fact5 -> hypothesis;
fact5 -> hypothesis;
「あの此式は妬ましくない」ということは真実だ
fact7 -> int1: 仮にその水木がしょぼくないとすればしつっこいしさらに奥床しい;
$facts$ = fact1: 全てのものは奥床しくない fact2: 何らかの物が奥床しくないなら荒々しいということはないししつっこくない fact3: しょぼいということはない物はしつっこいし奥床しい fact4: あの弗素以外は妬ましい fact5: あの此式は妬ましい fact6: 仮に「しつっこい」物はあるとすると「その違い棚は分かり難くないし加えて荒々しいということはない」ということは正しくない ; $hypothesis$ = あの此式は妬ましい ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 全てのものは奥床しくない
事実2: 何らかの物が奥床しくないなら荒々しいということはないししつっこくない
事実3: しょぼいということはない物はしつっこいし奥床しい
事実4: あの弗素以外は妬ましい
事実5: あの此式は妬ましい
事実6: 仮に「しつっこい」物はあるとすると「その違い棚は分かり難くないし加えて荒々しいということはない」ということは正しくない

仮説: あの此式は妬ましい
1. 事実5から、仮説が導かれる

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