「その御力添えは産気付かない」ということは真実だ
fact1: 仮になんらかのものが許し難いとすると産気付く fact2: もし仮になんらかの物は辞退しないとしたら「それは産気付かない」ということは成り立つ fact3: もしそのジャバ．アップルＴ．アップルＴが撤兵するとするとその御力添えは許し難い fact4: もしもこの誠実さが辞退するとしたらそのジャバ．アップルＴ．アップルＴは撤兵する fact5: この誠実さは撤兵する fact6: この誠実さは辞退する
fact4 & fact6 -> int1: 「そのジャバ．アップルＴ．アップルＴは撤兵する」ということは成り立つ; int1 & fact3 -> int2: その御力添えは許し難い; fact1 -> int3: もしその御力添えが許し難いならば産気付く; int2 & int3 -> hypothesis;
fact4 & fact6 -> int1: {B}{b}; int1 & fact3 -> int2: {C}{c}; fact1 -> int3: {C}{c} -> {D}{c}; int2 & int3 -> hypothesis;
その御力添えは産気付かない
fact7 -> int4: もしその御力添えが辞退しないならば産気付かない;
$facts$ = fact1: 仮になんらかのものが許し難いとすると産気付く fact2: もし仮になんらかの物は辞退しないとしたら「それは産気付かない」ということは成り立つ fact3: もしそのジャバ．アップルＴ．アップルＴが撤兵するとするとその御力添えは許し難い fact4: もしもこの誠実さが辞退するとしたらそのジャバ．アップルＴ．アップルＴは撤兵する fact5: この誠実さは撤兵する fact6: この誠実さは辞退する ; $hypothesis$ = 「その御力添えは産気付かない」ということは真実だ ; $proof$ = 
fact4 & fact6 -> int1: 「そのジャバ．アップルＴ．アップルＴは撤兵する」ということは成り立つ; int1 & fact3 -> int2: その御力添えは許し難い; fact1 -> int3: もしその御力添えが許し難いならば産気付く; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 仮になんらかのものが許し難いとすると産気付く
事実2: もし仮になんらかの物は辞退しないとしたら「それは産気付かない」ということは成り立つ
事実3: もしそのジャバ．アップルＴ．アップルＴが撤兵するとするとその御力添えは許し難い
事実4: もしもこの誠実さが辞退するとしたらそのジャバ．アップルＴ．アップルＴは撤兵する
事実5: この誠実さは撤兵する
事実6: この誠実さは辞退する

仮説: 「その御力添えは産気付かない」ということは真実だ
1. 事実4と事実6から、推論1: "「そのジャバ．アップルＴ．アップルＴは撤兵する」ということは成り立つ"が導かれる
2. 推論1と事実3から、推論2: "その御力添えは許し難い"が導かれる
3. 事実1から、推論3: "もしその御力添えが許し難いならば産気付く"が導かれる
4. 推論2と推論3から、仮説が否定される

よって、仮説が否定されました。