そのオリゴ糖鎖は浅ましということはない
fact1: ある物は調節し易い fact2: なんらかのものはＺＩＰコマンドでないなら「それは浅ましし調節し易い」ということは確かだ fact3: もし仮になにがしかの物が間奏であるとするとそれが浅ましないしさらにＺＩＰコマンドである fact4: もし調節し易いものがＺＩＰコマンドならそのオリゴ糖鎖は浅ましない fact5: 仮にそのラウンドが従属人口比率だとすれば間奏だ fact6: もしそのラウンドが浅ましないがしかしＺＩＰコマンドだとしたらその叫び声は調節し易い fact7: そのラウンドはＺＩＰコマンドだ fact8: 「ある物はＺＩＰコマンドである」ということは真実だ fact9: そのラウンドは調節し易い fact10: そのオリゴ糖鎖は立脚するし加えてそれは調節し易い fact11: 「そのオリゴ糖鎖は間奏でないし従属人口比率であるということはない」ということは嘘であるとすればＺＩＰコマンドでない
fact9 & fact7 -> int1: そのラウンドは調節し易くてＺＩＰコマンドだ; int1 -> int2: 「「調節し易いしＺＩＰコマンドである」ということは成り立つ」物はある; int2 & fact4 -> hypothesis;
そのオリゴ糖鎖は浅まし
fact12 -> int3: もしもそのオリゴ糖鎖はＺＩＰコマンドでないとしたら浅ましし更に調節し易い;
$facts$ = fact1: ある物は調節し易い fact2: なんらかのものはＺＩＰコマンドでないなら「それは浅ましし調節し易い」ということは確かだ fact3: もし仮になにがしかの物が間奏であるとするとそれが浅ましないしさらにＺＩＰコマンドである fact4: もし調節し易いものがＺＩＰコマンドならそのオリゴ糖鎖は浅ましない fact5: 仮にそのラウンドが従属人口比率だとすれば間奏だ fact6: もしそのラウンドが浅ましないがしかしＺＩＰコマンドだとしたらその叫び声は調節し易い fact7: そのラウンドはＺＩＰコマンドだ fact8: 「ある物はＺＩＰコマンドである」ということは真実だ fact9: そのラウンドは調節し易い fact10: そのオリゴ糖鎖は立脚するし加えてそれは調節し易い fact11: 「そのオリゴ糖鎖は間奏でないし従属人口比率であるということはない」ということは嘘であるとすればＺＩＰコマンドでない ; $hypothesis$ = そのオリゴ糖鎖は浅ましということはない ; $proof$ = 
fact9 & fact7 -> int1: そのラウンドは調節し易くてＺＩＰコマンドだ; int1 -> int2: 「「調節し易いしＺＩＰコマンドである」ということは成り立つ」物はある; int2 & fact4 -> hypothesis; __PROVED__
事実1: ある物は調節し易い
事実2: なんらかのものはＺＩＰコマンドでないなら「それは浅ましし調節し易い」ということは確かだ
事実3: もし仮になにがしかの物が間奏であるとするとそれが浅ましないしさらにＺＩＰコマンドである
事実4: もし調節し易いものがＺＩＰコマンドならそのオリゴ糖鎖は浅ましない
事実5: 仮にそのラウンドが従属人口比率だとすれば間奏だ
事実6: もしそのラウンドが浅ましないがしかしＺＩＰコマンドだとしたらその叫び声は調節し易い
事実7: そのラウンドはＺＩＰコマンドだ
事実8: 「ある物はＺＩＰコマンドである」ということは真実だ
事実9: そのラウンドは調節し易い
事実10: そのオリゴ糖鎖は立脚するし加えてそれは調節し易い
事実11: 「そのオリゴ糖鎖は間奏でないし従属人口比率であるということはない」ということは嘘であるとすればＺＩＰコマンドでない

仮説: そのオリゴ糖鎖は浅ましということはない
1. 事実9と事実7から、推論1: "そのラウンドは調節し易くてＺＩＰコマンドだ"が導かれる
2. 推論1から、推論2: "「「調節し易いしＺＩＰコマンドである」ということは成り立つ」物はある"が導かれる
3. 推論2と事実4から、仮説が導かれる

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