あの四半刻はかったるい
fact1: あの四半刻が態とらしくないとするとかったるい fact2: もしなにがしかのものは押し込めるかまたは態とらしくないならかったるい fact3: あの四半刻は押し込めるかまたはそれは態とらしい fact4: もしあの四半刻が受け難いとしたら押し込めるかそれは態とらしくない fact5: 「あの四半刻は受け難い」ということは本当だ
fact4 & fact5 -> int1: あの四半刻は押し込めるかあるいは態とらしくないか両方である; fact2 -> int2: 仮にあの四半刻が押し込めるか態とらしいということはないかどちらもであるならかったるい; int1 & int2 -> hypothesis;
$facts$ = fact1: あの四半刻が態とらしくないとするとかったるい fact2: もしなにがしかのものは押し込めるかまたは態とらしくないならかったるい fact3: あの四半刻は押し込めるかまたはそれは態とらしい fact4: もしあの四半刻が受け難いとしたら押し込めるかそれは態とらしくない fact5: 「あの四半刻は受け難い」ということは本当だ ; $hypothesis$ = あの四半刻はかったるい ; $proof$ = 
fact4 & fact5 -> int1: あの四半刻は押し込めるかあるいは態とらしくないか両方である; fact2 -> int2: 仮にあの四半刻が押し込めるか態とらしいということはないかどちらもであるならかったるい; int1 & int2 -> hypothesis; __PROVED__
事実1: あの四半刻が態とらしくないとするとかったるい
事実2: もしなにがしかのものは押し込めるかまたは態とらしくないならかったるい
事実3: あの四半刻は押し込めるかまたはそれは態とらしい
事実4: もしあの四半刻が受け難いとしたら押し込めるかそれは態とらしくない
事実5: 「あの四半刻は受け難い」ということは本当だ

仮説: あの四半刻はかったるい
1. 事実4と事実5から、推論1: "あの四半刻は押し込めるかあるいは態とらしくないか両方である"が導かれる
2. 事実2から、推論2: "仮にあの四半刻が押し込めるか態とらしいということはないかどちらもであるならかったるい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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