この概算要求は二十章でない
fact1: この歴史教科書は手堅いしかつ倒れ難い fact2: もし仮にこの歴史教科書が倒れ難いとしたらこの同地方は倒れ難い fact3: もしも「この製造品出荷額等は二十章だ」ということは真実であるならば「この概算要求は二十章だ」ということは成り立つ fact4: もしもこの同地方が倒れ難いとしたらその見返り普賢は巨費だ fact5: もしこの概算要求は調停委員会であるし長期共済保有高であるとするとそれは二十章でない fact6: 低能児は二十章だ fact7: もし「この製造品出荷額等は巨費でないしその上それは確定すらない」ということは成り立たないとすると「あのラケットは低能児でない」ということは確かだ fact8: この概算要求は長期共済保有高だ fact9: その芯は調停委員会である fact10: もしも「集まり易くないか演技でないか両方ともである」物があるならこの概算要求は調停委員会である fact11: もしもとあるものが長期共済保有高であるということはないならば低能児であるししかも調停委員会だ fact12: 仮に「あのＴＡＰは確定すがしかしそれは巨費でない」ということは誤りならこの製造品出荷額等は長期共済保有高だということはない fact13: あのラケットは確定すか低能児でない fact14: なにかは低能児であるということはないとすればそれは集まり易くないかあるいは演技でないかもしくは両方ともである fact15: 「この製造品出荷額等は巨費だということはなくて確定すということはない」ということは本当だということはない fact16: もし「「集まり易くない」ということは確かな」物があるならあのラケットは確定す
fact14 -> int1: もしもあのラケットが低能児でないとするとそれは集まり易いということはないかそれは演技でないか両方だ; fact15 & fact7 -> int2: あのラケットは低能児でない; int1 & int2 -> int3: あのラケットは集まり易いということはないかまたは演技であるということはないかあるいは両方だ; int3 -> int4: 「集まり易くないか演技だということはないかもしくは両方である」ものはある; int4 & fact10 -> int5: この概算要求は調停委員会だ; int5 & fact8 -> int6: この概算要求は調停委員会だし加えてそれは長期共済保有高だ; int6 & fact5 -> hypothesis;
この概算要求は二十章である
fact19 -> int7: もしもこの製造品出荷額等が低能児なら二十章である; fact21 -> int8: もし仮にこの製造品出荷額等は長期共済保有高でないならば「低能児でかつ調停委員会だ」ということは本当である; fact20 -> int9: この歴史教科書は倒れ難い; fact18 & int9 -> int10: この同地方は倒れ難い; fact23 & int10 -> int11: その見返り普賢は巨費である; int11 -> int12: 「巨費である」物はある;
$facts$ = fact1: この歴史教科書は手堅いしかつ倒れ難い fact2: もし仮にこの歴史教科書が倒れ難いとしたらこの同地方は倒れ難い fact3: もしも「この製造品出荷額等は二十章だ」ということは真実であるならば「この概算要求は二十章だ」ということは成り立つ fact4: もしもこの同地方が倒れ難いとしたらその見返り普賢は巨費だ fact5: もしこの概算要求は調停委員会であるし長期共済保有高であるとするとそれは二十章でない fact6: 低能児は二十章だ fact7: もし「この製造品出荷額等は巨費でないしその上それは確定すらない」ということは成り立たないとすると「あのラケットは低能児でない」ということは確かだ fact8: この概算要求は長期共済保有高だ fact9: その芯は調停委員会である fact10: もしも「集まり易くないか演技でないか両方ともである」物があるならこの概算要求は調停委員会である fact11: もしもとあるものが長期共済保有高であるということはないならば低能児であるししかも調停委員会だ fact12: 仮に「あのＴＡＰは確定すがしかしそれは巨費でない」ということは誤りならこの製造品出荷額等は長期共済保有高だということはない fact13: あのラケットは確定すか低能児でない fact14: なにかは低能児であるということはないとすればそれは集まり易くないかあるいは演技でないかもしくは両方ともである fact15: 「この製造品出荷額等は巨費だということはなくて確定すということはない」ということは本当だということはない fact16: もし「「集まり易くない」ということは確かな」物があるならあのラケットは確定す ; $hypothesis$ = この概算要求は二十章でない ; $proof$ = 
fact14 -> int1: もしもあのラケットが低能児でないとするとそれは集まり易いということはないかそれは演技でないか両方だ; fact15 & fact7 -> int2: あのラケットは低能児でない; int1 & int2 -> int3: あのラケットは集まり易いということはないかまたは演技であるということはないかあるいは両方だ; int3 -> int4: 「集まり易くないか演技だということはないかもしくは両方である」ものはある; int4 & fact10 -> int5: この概算要求は調停委員会だ; int5 & fact8 -> int6: この概算要求は調停委員会だし加えてそれは長期共済保有高だ; int6 & fact5 -> hypothesis; __PROVED__
事実1: この歴史教科書は手堅いしかつ倒れ難い
事実2: もし仮にこの歴史教科書が倒れ難いとしたらこの同地方は倒れ難い
事実3: もしも「この製造品出荷額等は二十章だ」ということは真実であるならば「この概算要求は二十章だ」ということは成り立つ
事実4: もしもこの同地方が倒れ難いとしたらその見返り普賢は巨費だ
事実5: もしこの概算要求は調停委員会であるし長期共済保有高であるとするとそれは二十章でない
事実6: 低能児は二十章だ
事実7: もし「この製造品出荷額等は巨費でないしその上それは確定すらない」ということは成り立たないとすると「あのラケットは低能児でない」ということは確かだ
事実8: この概算要求は長期共済保有高だ
事実9: その芯は調停委員会である
事実10: もしも「集まり易くないか演技でないか両方ともである」物があるならこの概算要求は調停委員会である
事実11: もしもとあるものが長期共済保有高であるということはないならば低能児であるししかも調停委員会だ
事実12: 仮に「あのＴＡＰは確定すがしかしそれは巨費でない」ということは誤りならこの製造品出荷額等は長期共済保有高だということはない
事実13: あのラケットは確定すか低能児でない
事実14: なにかは低能児であるということはないとすればそれは集まり易くないかあるいは演技でないかもしくは両方ともである
事実15: 「この製造品出荷額等は巨費だということはなくて確定すということはない」ということは本当だということはない
事実16: もし「「集まり易くない」ということは確かな」物があるならあのラケットは確定す

仮説: この概算要求は二十章でない
1. 事実14から、推論1: "もしもあのラケットが低能児でないとするとそれは集まり易いということはないかそれは演技でないか両方だ"が導かれる
2. 事実15と事実7から、推論2: "あのラケットは低能児でない"が導かれる
3. 推論1と推論2から、推論3: "あのラケットは集まり易いということはないかまたは演技であるということはないかあるいは両方だ"が導かれる
4. 推論3から、推論4: "「集まり易くないか演技だということはないかもしくは両方である」ものはある"が導かれる
5. 推論4と事実10から、推論5: "この概算要求は調停委員会だ"が導かれる
6. 推論5と事実8から、推論6: "この概算要求は調停委員会だし加えてそれは長期共済保有高だ"が導かれる
7. 推論6と事実5から、仮説が導かれる

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