「あの潤滑油は世界化する」ということは正しい
fact1: 「「あの潤滑油は受け入れられ易くないけどきょとんとする」ということは事実と異なる」ということは成り立つ fact2: 仮にあの弾力化が嬉しいならそれは世界化する fact3: もし「あの潤滑油は受け入れられ易くない一方できょとんとする」ということは成り立たないとすると嬉しい fact4: もしあのＡＵＦキロリットルが転覆するならあの潤滑油は嬉しくなくてその上世界化しない fact5: もしも「なにがしかのものは転覆するが嬉しくない」ということは誤っているとしたら「嬉しい」ということは事実である fact6: もしもとある物が嬉しいならばそれは世界化する fact7: 「あの潤滑油は受け入れられ易くてきょとんとする」ということは成り立たない
fact3 & fact1 -> int1: あの潤滑油は嬉しい; fact6 -> int2: 仮にあの潤滑油が嬉しいとしたらそれは世界化する; int1 & int2 -> hypothesis;
fact3 & fact1 -> int1: {B}{a}; fact6 -> int2: {B}{a} -> {A}{a}; int1 & int2 -> hypothesis;
あの弾力化は世界化する
fact9 -> int3: もし「あの弾力化は転覆するけど嬉しいということはない」ということは間違いであるならそれは嬉しい;
$facts$ = fact1: 「「あの潤滑油は受け入れられ易くないけどきょとんとする」ということは事実と異なる」ということは成り立つ fact2: 仮にあの弾力化が嬉しいならそれは世界化する fact3: もし「あの潤滑油は受け入れられ易くない一方できょとんとする」ということは成り立たないとすると嬉しい fact4: もしあのＡＵＦキロリットルが転覆するならあの潤滑油は嬉しくなくてその上世界化しない fact5: もしも「なにがしかのものは転覆するが嬉しくない」ということは誤っているとしたら「嬉しい」ということは事実である fact6: もしもとある物が嬉しいならばそれは世界化する fact7: 「あの潤滑油は受け入れられ易くてきょとんとする」ということは成り立たない ; $hypothesis$ = 「あの潤滑油は世界化する」ということは正しい ; $proof$ = 
fact3 & fact1 -> int1: あの潤滑油は嬉しい; fact6 -> int2: 仮にあの潤滑油が嬉しいとしたらそれは世界化する; int1 & int2 -> hypothesis; __PROVED__
事実1: 「「あの潤滑油は受け入れられ易くないけどきょとんとする」ということは事実と異なる」ということは成り立つ
事実2: 仮にあの弾力化が嬉しいならそれは世界化する
事実3: もし「あの潤滑油は受け入れられ易くない一方できょとんとする」ということは成り立たないとすると嬉しい
事実4: もしあのＡＵＦキロリットルが転覆するならあの潤滑油は嬉しくなくてその上世界化しない
事実5: もしも「なにがしかのものは転覆するが嬉しくない」ということは誤っているとしたら「嬉しい」ということは事実である
事実6: もしもとある物が嬉しいならばそれは世界化する
事実7: 「あの潤滑油は受け入れられ易くてきょとんとする」ということは成り立たない

仮説: 「あの潤滑油は世界化する」ということは正しい
1. 事実3と事実1から、推論1: "あの潤滑油は嬉しい"が導かれる
2. 事実6から、推論2: "仮にあの潤滑油が嬉しいとしたらそれは世界化する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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