あのパソコン同士は描画能力である
fact1: 「その研究開発インセンティブは加工し易い」ということは成り立つ fact2: 真っ暗い物は呼び易い fact3: もしもとあるものが招き易いとするとそれは利用し辛い fact4: 何らかのものが招き易いなら描画能力でなくて加工し易い fact5: 仮にこの検査時間が加工し易くないとすればその研究開発インセンティブは真っ暗いしおまけに加工し易い fact6: この検査時間は利用し辛くない fact7: 仮に「この検査時間は加工し易い」ということは事実であるとすると「それは招き易い」ということは成り立つ fact8: もしもその研究開発インセンティブが呼び易いとしたらあのパソコン同士は描画能力だ
void -> assump1: 以下のように仮定する。この検査時間は加工し易い; fact7 & assump1 -> int1: 「この検査時間は招き易い」ということは本当である; fact3 -> int2: 仮にこの検査時間は招き易いなら「それは利用し辛い」ということは本当だ; int1 & int2 -> int3: この検査時間は利用し辛い; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: この検査時間は加工し易くない; int5 & fact5 -> int6: その研究開発インセンティブは真っ暗くて加工し易い; int6 -> int7: 「その研究開発インセンティブは真っ暗い」ということは成り立つ; fact2 -> int8: もしその研究開発インセンティブが真っ暗いならばそれは呼び易い; int7 & int8 -> int9: その研究開発インセンティブは呼び易い; int9 & fact8 -> hypothesis;
あのパソコン同士は描画能力でない
fact9 -> int10: あのパソコン同士が招き易いならば描画能力でないけど加工し易い;
$facts$ = fact1: 「その研究開発インセンティブは加工し易い」ということは成り立つ fact2: 真っ暗い物は呼び易い fact3: もしもとあるものが招き易いとするとそれは利用し辛い fact4: 何らかのものが招き易いなら描画能力でなくて加工し易い fact5: 仮にこの検査時間が加工し易くないとすればその研究開発インセンティブは真っ暗いしおまけに加工し易い fact6: この検査時間は利用し辛くない fact7: 仮に「この検査時間は加工し易い」ということは事実であるとすると「それは招き易い」ということは成り立つ fact8: もしもその研究開発インセンティブが呼び易いとしたらあのパソコン同士は描画能力だ ; $hypothesis$ = あのパソコン同士は描画能力である ; $proof$ = 
void -> assump1: 以下のように仮定する。この検査時間は加工し易い; fact7 & assump1 -> int1: 「この検査時間は招き易い」ということは本当である; fact3 -> int2: 仮にこの検査時間は招き易いなら「それは利用し辛い」ということは本当だ; int1 & int2 -> int3: この検査時間は利用し辛い; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: この検査時間は加工し易くない; int5 & fact5 -> int6: その研究開発インセンティブは真っ暗くて加工し易い; int6 -> int7: 「その研究開発インセンティブは真っ暗い」ということは成り立つ; fact2 -> int8: もしその研究開発インセンティブが真っ暗いならばそれは呼び易い; int7 & int8 -> int9: その研究開発インセンティブは呼び易い; int9 & fact8 -> hypothesis; __PROVED__
事実1: 「その研究開発インセンティブは加工し易い」ということは成り立つ
事実2: 真っ暗い物は呼び易い
事実3: もしもとあるものが招き易いとするとそれは利用し辛い
事実4: 何らかのものが招き易いなら描画能力でなくて加工し易い
事実5: 仮にこの検査時間が加工し易くないとすればその研究開発インセンティブは真っ暗いしおまけに加工し易い
事実6: この検査時間は利用し辛くない
事実7: 仮に「この検査時間は加工し易い」ということは事実であるとすると「それは招き易い」ということは成り立つ
事実8: もしもその研究開発インセンティブが呼び易いとしたらあのパソコン同士は描画能力だ

仮説: あのパソコン同士は描画能力である
1. 仮定1: 以下のように仮定する。この検査時間は加工し易い
2. 事実7と仮定1から、推論1: "「この検査時間は招き易い」ということは本当である"が導かれる
3. 事実3から、推論2: "仮にこの検査時間は招き易いなら「それは利用し辛い」ということは本当だ"が導かれる
4. 推論1と推論2から、推論3: "この検査時間は利用し辛い"が導かれる
5. 推論3と事実6から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この検査時間は加工し易くない"が導かれる
7. 推論5と事実5から、推論6: "その研究開発インセンティブは真っ暗くて加工し易い"が導かれる
8. 推論6から、推論7: "「その研究開発インセンティブは真っ暗い」ということは成り立つ"が導かれる
9. 事実2から、推論8: "もしその研究開発インセンティブが真っ暗いならばそれは呼び易い"が導かれる
10. 推論7と推論8から、推論9: "その研究開発インセンティブは呼び易い"が導かれる
11. 推論9と事実8から、仮説が導かれる

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