あのＮＵＬＬポイントは恥ずかしかあるいは馴染み難くない
fact1: 恥ずかしものは馴染み難い fact2: あのＮＵＬＬポイントはうざいしそれは恥ずかし fact3: もしもなにがしかのものが御相談下さらないならばそれは作り易いし加えてそれは分画する fact4: 「そのチェック・アンド・バランスは御貸し下さるしおまけに乗り易い」ということは成り立たない fact5: 仮にそのチェック・アンド・バランスが御貸し下さらないとすればあの社会進出はうざいし更に鮟鱇だ fact6: 「そのチェック・アンド・バランスは御貸し下さるし乗り易い」ということは誤っているとすればそれは御貸し下さらない fact7: もし何かは作り易いということはないがしかし分画するなら恥ずかし fact8: うざいものは物凄い fact9: あのＮＵＬＬポイントはうざい fact10: あのＮＵＬＬポイントは恥ずかしかもしくはそれは馴染み難い fact11: そのファイバーはうざい fact12: 仮に「なにがしかの物はうざくない」ということは確かであるならば「恥ずかしかまたは馴染み難くないか両方ともである」ということは誤っている fact13: あの社会進出は作り易いということはない fact14: 作り易いものはうざくない
fact2 -> int1: 「あのＮＵＬＬポイントは恥ずかし」ということは正しい; int1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 -> hypothesis;
「あのＮＵＬＬポイントは恥ずかしかそれは馴染み難くないかまたは両方だ」ということは成り立たない
fact17 -> int2: もしもあのＮＵＬＬポイントはうざいということはないとすると「恥ずかしかもしくは馴染み難くない」ということは成り立たない; fact15 -> int3: あのＮＵＬＬポイントが作り易いとしたらうざいということはない; fact16 -> int4: もし仮にあのＮＵＬＬポイントが御相談下さるということはないならばそれは作り易いし更に分画する;
$facts$ = fact1: 恥ずかしものは馴染み難い fact2: あのＮＵＬＬポイントはうざいしそれは恥ずかし fact3: もしもなにがしかのものが御相談下さらないならばそれは作り易いし加えてそれは分画する fact4: 「そのチェック・アンド・バランスは御貸し下さるしおまけに乗り易い」ということは成り立たない fact5: 仮にそのチェック・アンド・バランスが御貸し下さらないとすればあの社会進出はうざいし更に鮟鱇だ fact6: 「そのチェック・アンド・バランスは御貸し下さるし乗り易い」ということは誤っているとすればそれは御貸し下さらない fact7: もし何かは作り易いということはないがしかし分画するなら恥ずかし fact8: うざいものは物凄い fact9: あのＮＵＬＬポイントはうざい fact10: あのＮＵＬＬポイントは恥ずかしかもしくはそれは馴染み難い fact11: そのファイバーはうざい fact12: 仮に「なにがしかの物はうざくない」ということは確かであるならば「恥ずかしかまたは馴染み難くないか両方ともである」ということは誤っている fact13: あの社会進出は作り易いということはない fact14: 作り易いものはうざくない ; $hypothesis$ = あのＮＵＬＬポイントは恥ずかしかあるいは馴染み難くない ; $proof$ = 
fact2 -> int1: 「あのＮＵＬＬポイントは恥ずかし」ということは正しい; int1 -> hypothesis; __PROVED__
事実1: 恥ずかしものは馴染み難い
事実2: あのＮＵＬＬポイントはうざいしそれは恥ずかし
事実3: もしもなにがしかのものが御相談下さらないならばそれは作り易いし加えてそれは分画する
事実4: 「そのチェック・アンド・バランスは御貸し下さるしおまけに乗り易い」ということは成り立たない
事実5: 仮にそのチェック・アンド・バランスが御貸し下さらないとすればあの社会進出はうざいし更に鮟鱇だ
事実6: 「そのチェック・アンド・バランスは御貸し下さるし乗り易い」ということは誤っているとすればそれは御貸し下さらない
事実7: もし何かは作り易いということはないがしかし分画するなら恥ずかし
事実8: うざいものは物凄い
事実9: あのＮＵＬＬポイントはうざい
事実10: あのＮＵＬＬポイントは恥ずかしかもしくはそれは馴染み難い
事実11: そのファイバーはうざい
事実12: 仮に「なにがしかの物はうざくない」ということは確かであるならば「恥ずかしかまたは馴染み難くないか両方ともである」ということは誤っている
事実13: あの社会進出は作り易いということはない
事実14: 作り易いものはうざくない

仮説: あのＮＵＬＬポイントは恥ずかしかあるいは馴染み難くない
1. 事実2から、推論1: "「あのＮＵＬＬポイントは恥ずかし」ということは正しい"が導かれる
2. 推論1から、仮説が導かれる

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