仮にその労使関係がヘブル人ならばこのキャッシュは遅くないしかつ接近し易いということはない
fact1: もし仮にその労使関係が仕舞えるかまたはそれが咬合高径であるかあるいは両方ならばあのキャッシュは匹敵しない fact2: その太鼓橋は匹敵する fact3: もし仮にその労使関係がヘブル人であるとすればあのキャッシュは遅い一方で接近し易いということはない fact4: 仮にその労使関係はヘブル人であるならばそれは咬合高径である fact5: もし仮に「なにかは匹敵しない」ということは事実であるとすると遅くないし更に接近し易くない fact6: もしある物が匹敵しないならば遅くてさらにそれは接近し易くない
void -> assump1: 以下のように仮定する。その労使関係はヘブル人である; fact4 & assump1 -> int1: 「その労使関係は咬合高径である」ということは成り立つ; int1 -> int2: その労使関係は仕舞えるかあるいは咬合高径である; int2 & fact1 -> int3: このキャッシュは匹敵しない; fact5 -> int4: 仮にこのキャッシュが匹敵しないとしたら遅くないしその上接近し易くない; int3 & int4 -> int5: このキャッシュが遅くないしさらにそれは接近し易いということはない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もし仮にその労使関係が仕舞えるかまたはそれが咬合高径であるかあるいは両方ならばあのキャッシュは匹敵しない fact2: その太鼓橋は匹敵する fact3: もし仮にその労使関係がヘブル人であるとすればあのキャッシュは遅い一方で接近し易いということはない fact4: 仮にその労使関係はヘブル人であるならばそれは咬合高径である fact5: もし仮に「なにかは匹敵しない」ということは事実であるとすると遅くないし更に接近し易くない fact6: もしある物が匹敵しないならば遅くてさらにそれは接近し易くない ; $hypothesis$ = 仮にその労使関係がヘブル人ならばこのキャッシュは遅くないしかつ接近し易いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その労使関係はヘブル人である; fact4 & assump1 -> int1: 「その労使関係は咬合高径である」ということは成り立つ; int1 -> int2: その労使関係は仕舞えるかあるいは咬合高径である; int2 & fact1 -> int3: このキャッシュは匹敵しない; fact5 -> int4: 仮にこのキャッシュが匹敵しないとしたら遅くないしその上接近し易くない; int3 & int4 -> int5: このキャッシュが遅くないしさらにそれは接近し易いということはない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮にその労使関係が仕舞えるかまたはそれが咬合高径であるかあるいは両方ならばあのキャッシュは匹敵しない
事実2: その太鼓橋は匹敵する
事実3: もし仮にその労使関係がヘブル人であるとすればあのキャッシュは遅い一方で接近し易いということはない
事実4: 仮にその労使関係はヘブル人であるならばそれは咬合高径である
事実5: もし仮に「なにかは匹敵しない」ということは事実であるとすると遅くないし更に接近し易くない
事実6: もしある物が匹敵しないならば遅くてさらにそれは接近し易くない

仮説: 仮にその労使関係がヘブル人ならばこのキャッシュは遅くないしかつ接近し易いということはない
1. 仮定1: 以下のように仮定する。その労使関係はヘブル人である
2. 事実4と仮定1から、推論1: "「その労使関係は咬合高径である」ということは成り立つ"が導かれる
3. 推論1から、推論2: "その労使関係は仕舞えるかあるいは咬合高径である"が導かれる
4. 推論2と事実1から、推論3: "このキャッシュは匹敵しない"が導かれる
5. 事実5から、推論4: "仮にこのキャッシュが匹敵しないとしたら遅くないしその上接近し易くない"が導かれる
6. 推論3と推論4から、推論5: "このキャッシュが遅くないしさらにそれは接近し易いということはない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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