「その大和言葉は手抜き工事であるしその上通り易い」ということは偽である
fact1: 「なんらかのものは民営化であるということはないけれど作成モードである」ということは成り立たないとすれば作成モードでない fact2: もしもその地域戦争が手抜き工事だとすればそれは作成モードだ fact3: 「その地域戦争は与え続けないが鉢合わせする」ということは誤りである fact4: もし仮にその地域戦争は書き足さないとすれば「それは民営化でないししかも作成モードである」ということは本当でない fact5: もし仮にその身銭は書き足さないなら「その大和言葉は手抜き工事でしかも通り易い」ということは成り立たない fact6: もし仮にその地域戦争は民営化でないとしたら「その身銭は通り易いし作成モードだ」ということは誤りである fact7: もし「その地域戦争は鉢合わせするということはない」ということは成り立つとすると作成モードである fact8: その大和言葉は作成モードでない fact9: もしなんらかの物は作成モードであるとしたらあどけない fact10: もしなにかはあどけないならば投じる fact11: もしその地域戦争は投じれば「その身銭は民営化であるけれど書き足さない」ということは正しい fact12: 「その大和言葉は書き足すしその上通り易い」ということは成り立たない fact13: その身銭は民営化だ fact14: もし何かは作成モードでないとすると「あどけなくて更に投じる」ということは偽だ fact15: もし「「その地域戦争は与え続けないが鉢合わせする」ということは真実だ」ということは間違いであるとしたら作成モードである fact16: もしもなんらかの物が手抜き工事だとすればそれは投じる fact17: もしもその地域戦争はあどけなくないならば「この検非違使は議事堂であるし購入費だ」ということは事実と異なる
fact15 & fact3 -> int1: その地域戦争は作成モードだ; fact9 -> int2: もしその地域戦争は作成モードだとすると「それはあどけない」ということは正しい; int1 & int2 -> int3: その地域戦争はあどけない; fact10 -> int4: もしその地域戦争はあどけないとすれば「それは投じる」ということは確かだ; int3 & int4 -> int5: その地域戦争は投じる; int5 & fact11 -> int6: その身銭は民営化だ一方で書き足すということはない; int6 -> int7: その身銭は書き足さない; int7 & fact5 -> hypothesis;
「この検非違使は議事堂であるしかつ購入費である」ということは成り立たない
fact21 -> int8: もしその地域戦争は作成モードであるということはないならば「あどけないし更に投じる」ということは誤りである; fact20 -> int9: 仮に「その地域戦争は民営化でないがしかし作成モードである」ということは成り立たないならそれは作成モードでない;
$facts$ = fact1: 「なんらかのものは民営化であるということはないけれど作成モードである」ということは成り立たないとすれば作成モードでない fact2: もしもその地域戦争が手抜き工事だとすればそれは作成モードだ fact3: 「その地域戦争は与え続けないが鉢合わせする」ということは誤りである fact4: もし仮にその地域戦争は書き足さないとすれば「それは民営化でないししかも作成モードである」ということは本当でない fact5: もし仮にその身銭は書き足さないなら「その大和言葉は手抜き工事でしかも通り易い」ということは成り立たない fact6: もし仮にその地域戦争は民営化でないとしたら「その身銭は通り易いし作成モードだ」ということは誤りである fact7: もし「その地域戦争は鉢合わせするということはない」ということは成り立つとすると作成モードである fact8: その大和言葉は作成モードでない fact9: もしなんらかの物は作成モードであるとしたらあどけない fact10: もしなにかはあどけないならば投じる fact11: もしその地域戦争は投じれば「その身銭は民営化であるけれど書き足さない」ということは正しい fact12: 「その大和言葉は書き足すしその上通り易い」ということは成り立たない fact13: その身銭は民営化だ fact14: もし何かは作成モードでないとすると「あどけなくて更に投じる」ということは偽だ fact15: もし「「その地域戦争は与え続けないが鉢合わせする」ということは真実だ」ということは間違いであるとしたら作成モードである fact16: もしもなんらかの物が手抜き工事だとすればそれは投じる fact17: もしもその地域戦争はあどけなくないならば「この検非違使は議事堂であるし購入費だ」ということは事実と異なる ; $hypothesis$ = 「その大和言葉は手抜き工事であるしその上通り易い」ということは偽である ; $proof$ = 
fact15 & fact3 -> int1: その地域戦争は作成モードだ; fact9 -> int2: もしその地域戦争は作成モードだとすると「それはあどけない」ということは正しい; int1 & int2 -> int3: その地域戦争はあどけない; fact10 -> int4: もしその地域戦争はあどけないとすれば「それは投じる」ということは確かだ; int3 & int4 -> int5: その地域戦争は投じる; int5 & fact11 -> int6: その身銭は民営化だ一方で書き足すということはない; int6 -> int7: その身銭は書き足さない; int7 & fact5 -> hypothesis; __PROVED__
事実1: 「なんらかのものは民営化であるということはないけれど作成モードである」ということは成り立たないとすれば作成モードでない
事実2: もしもその地域戦争が手抜き工事だとすればそれは作成モードだ
事実3: 「その地域戦争は与え続けないが鉢合わせする」ということは誤りである
事実4: もし仮にその地域戦争は書き足さないとすれば「それは民営化でないししかも作成モードである」ということは本当でない
事実5: もし仮にその身銭は書き足さないなら「その大和言葉は手抜き工事でしかも通り易い」ということは成り立たない
事実6: もし仮にその地域戦争は民営化でないとしたら「その身銭は通り易いし作成モードだ」ということは誤りである
事実7: もし「その地域戦争は鉢合わせするということはない」ということは成り立つとすると作成モードである
事実8: その大和言葉は作成モードでない
事実9: もしなんらかの物は作成モードであるとしたらあどけない
事実10: もしなにかはあどけないならば投じる
事実11: もしその地域戦争は投じれば「その身銭は民営化であるけれど書き足さない」ということは正しい
事実12: 「その大和言葉は書き足すしその上通り易い」ということは成り立たない
事実13: その身銭は民営化だ
事実14: もし何かは作成モードでないとすると「あどけなくて更に投じる」ということは偽だ
事実15: もし「「その地域戦争は与え続けないが鉢合わせする」ということは真実だ」ということは間違いであるとしたら作成モードである
事実16: もしもなんらかの物が手抜き工事だとすればそれは投じる
事実17: もしもその地域戦争はあどけなくないならば「この検非違使は議事堂であるし購入費だ」ということは事実と異なる

仮説: 「その大和言葉は手抜き工事であるしその上通り易い」ということは偽である
1. 事実15と事実3から、推論1: "その地域戦争は作成モードだ"が導かれる
2. 事実9から、推論2: "もしその地域戦争は作成モードだとすると「それはあどけない」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "その地域戦争はあどけない"が導かれる
4. 事実10から、推論4: "もしその地域戦争はあどけないとすれば「それは投じる」ということは確かだ"が導かれる
5. 推論3と推論4から、推論5: "その地域戦争は投じる"が導かれる
6. 推論5と事実11から、推論6: "その身銭は民営化だ一方で書き足すということはない"が導かれる
7. 推論6から、推論7: "その身銭は書き足さない"が導かれる
8. 推論7と事実5から、仮説が導かれる

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