仮にそのマイ・フレンドが罅割れないとするとこのウィンドウサーバは不使用であるししょぼい
fact1: 「「罅割れるということはない」ということは確かな」物はある fact2: その性的平等論はしょぼくない fact3: 見苦しい物はある fact4: とある物は罅割れるしかつ見苦しい fact5: このウィンドウサーバはしょぼい fact6: 「罅割れないしその上見苦しい」物があればこのウィンドウサーバは不使用である fact7: このウィンドウサーバは落ち延びる fact8: そのマイ・フレンドはしょぼい fact9: 「そのマイ・フレンドは見苦しい」ということは確かだ fact10: もしも「そのマイ・フレンドは罅割れる」ということは事実だとするとこのウィンドウサーバは不使用だし更にしょぼい
void -> assump1: 以下のように仮定する。「そのマイ・フレンドは罅割れない」ということは真実である; assump1 & fact9 -> int1: そのマイ・フレンドは罅割れないが見苦しい; int1 -> int2: 「罅割れないし見苦しい」ものはある; int2 & fact6 -> int3: このウィンドウサーバは不使用である; int3 & fact5 -> int4: このウィンドウサーバは不使用でしょぼい; [assump1] & int4 -> hypothesis;
$facts$ = fact1: 「「罅割れるということはない」ということは確かな」物はある fact2: その性的平等論はしょぼくない fact3: 見苦しい物はある fact4: とある物は罅割れるしかつ見苦しい fact5: このウィンドウサーバはしょぼい fact6: 「罅割れないしその上見苦しい」物があればこのウィンドウサーバは不使用である fact7: このウィンドウサーバは落ち延びる fact8: そのマイ・フレンドはしょぼい fact9: 「そのマイ・フレンドは見苦しい」ということは確かだ fact10: もしも「そのマイ・フレンドは罅割れる」ということは事実だとするとこのウィンドウサーバは不使用だし更にしょぼい ; $hypothesis$ = 仮にそのマイ・フレンドが罅割れないとするとこのウィンドウサーバは不使用であるししょぼい ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのマイ・フレンドは罅割れない」ということは真実である; assump1 & fact9 -> int1: そのマイ・フレンドは罅割れないが見苦しい; int1 -> int2: 「罅割れないし見苦しい」ものはある; int2 & fact6 -> int3: このウィンドウサーバは不使用である; int3 & fact5 -> int4: このウィンドウサーバは不使用でしょぼい; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「「罅割れるということはない」ということは確かな」物はある
事実2: その性的平等論はしょぼくない
事実3: 見苦しい物はある
事実4: とある物は罅割れるしかつ見苦しい
事実5: このウィンドウサーバはしょぼい
事実6: 「罅割れないしその上見苦しい」物があればこのウィンドウサーバは不使用である
事実7: このウィンドウサーバは落ち延びる
事実8: そのマイ・フレンドはしょぼい
事実9: 「そのマイ・フレンドは見苦しい」ということは確かだ
事実10: もしも「そのマイ・フレンドは罅割れる」ということは事実だとするとこのウィンドウサーバは不使用だし更にしょぼい

仮説: 仮にそのマイ・フレンドが罅割れないとするとこのウィンドウサーバは不使用であるししょぼい
1. 仮定1: 以下のように仮定する。「そのマイ・フレンドは罅割れない」ということは真実である
2. 仮定1と事実9から、推論1: "そのマイ・フレンドは罅割れないが見苦しい"が導かれる
3. 推論1から、推論2: "「罅割れないし見苦しい」ものはある"が導かれる
4. 推論2と事実6から、推論3: "このウィンドウサーバは不使用である"が導かれる
5. 推論3と事実5から、推論4: "このウィンドウサーバは不使用でしょぼい"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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