あの直流電力がぴりぴりするならばあの評定尺度は審査員である
fact1: 「この促進因子は使用し難くないしかつ軟らかくない」ということは成り立つということはないならあのハイチ黒人は形作る fact2: もし仮にあの直流電力が形作らないかあるいはそれがビナヤでないかどちらもであるならばこの評定尺度は審査員である fact3: この評定尺度はぴりぴりする fact4: もしあの直流電力はぴりぴりするとすると「作り易い」ということは成り立つ fact5: 仮にあの直流電力が作り易くないならあの悪縁はぴりぴりするしかつ審査員だ fact6: もしも何らかの物は作り易いなら「形作らないかあるいはそれはビナヤでないか両方である」ということは正しい
void -> assump1: 以下のように仮定する。あの直流電力はぴりぴりする; fact4 & assump1 -> int1: あの直流電力は作り易い; fact6 -> int2: もしあの直流電力が作り易いとすれば形作らないかそれはビナヤでない; int1 & int2 -> int3: あの直流電力は形作らないかあるいはそれはビナヤであるということはない; int3 & fact2 -> int4: 「この評定尺度は審査員だ」ということは本当である; [assump1] & int4 -> hypothesis;
あの悪縁は審査員だ
$facts$ = fact1: 「この促進因子は使用し難くないしかつ軟らかくない」ということは成り立つということはないならあのハイチ黒人は形作る fact2: もし仮にあの直流電力が形作らないかあるいはそれがビナヤでないかどちらもであるならばこの評定尺度は審査員である fact3: この評定尺度はぴりぴりする fact4: もしあの直流電力はぴりぴりするとすると「作り易い」ということは成り立つ fact5: 仮にあの直流電力が作り易くないならあの悪縁はぴりぴりするしかつ審査員だ fact6: もしも何らかの物は作り易いなら「形作らないかあるいはそれはビナヤでないか両方である」ということは正しい ; $hypothesis$ = あの直流電力がぴりぴりするならばあの評定尺度は審査員である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの直流電力はぴりぴりする; fact4 & assump1 -> int1: あの直流電力は作り易い; fact6 -> int2: もしあの直流電力が作り易いとすれば形作らないかそれはビナヤでない; int1 & int2 -> int3: あの直流電力は形作らないかあるいはそれはビナヤであるということはない; int3 & fact2 -> int4: 「この評定尺度は審査員だ」ということは本当である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「この促進因子は使用し難くないしかつ軟らかくない」ということは成り立つということはないならあのハイチ黒人は形作る
事実2: もし仮にあの直流電力が形作らないかあるいはそれがビナヤでないかどちらもであるならばこの評定尺度は審査員である
事実3: この評定尺度はぴりぴりする
事実4: もしあの直流電力はぴりぴりするとすると「作り易い」ということは成り立つ
事実5: 仮にあの直流電力が作り易くないならあの悪縁はぴりぴりするしかつ審査員だ
事実6: もしも何らかの物は作り易いなら「形作らないかあるいはそれはビナヤでないか両方である」ということは正しい

仮説: あの直流電力がぴりぴりするならばあの評定尺度は審査員である
1. 仮定1: 以下のように仮定する。あの直流電力はぴりぴりする
2. 事実4と仮定1から、推論1: "あの直流電力は作り易い"が導かれる
3. 事実6から、推論2: "もしあの直流電力が作り易いとすれば形作らないかそれはビナヤでない"が導かれる
4. 推論1と推論2から、推論3: "あの直流電力は形作らないかあるいはそれはビナヤであるということはない"が導かれる
5. 推論3と事実2から、推論4: "「この評定尺度は審査員だ」ということは本当である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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