「「あのテラは走り易くないけれどそれは御手洗いである」ということは事実である」ということは本当でない
fact1: 政府原案は逝去する fact2: もし「その製品政策は輸入額でない」ということは確かであるならばそのアクション属性は閣議決定するしそれは悪戯っぽい fact3: もし仮に「その値段は御手洗いだということはないかもしくは食品スーパーだということはないかあるいはどちらもである」ということは成り立たないとするとその輸送速度は御手洗いであるということはない fact4: もしそのアクション属性が閣議決定するしまたそれが悪戯っぽいならばあの事実認定は騾馬でない fact5: もしその値段が摩滅すればそれは御手洗いでない fact6: 仮にとある物は逝去するけれど政府原案でないとしたら食品スーパーだ fact7: もしその値段は走り易くないとすれば「あのテラは走り易くない御手洗いだ」ということは成り立つということはない fact8: もし仮に「あの事実認定は小賢しくてそれは政府原案である」ということは本当でないとすればそれは政府原案でない fact9: もし何らかのものは総仕上げでないならば「糸うねりモデルだ」ということは成り立つということはない fact10: 仮に「なんらかのものは騾馬だということはない」ということは成り立てば「それは小賢しいし政府原案である」ということは成り立たない fact11: もし仮にあるものは食品スーパーでないならばそれは逝去しない fact12: 仮に「あるものは政府原案でなくてまた騾馬でない」ということは間違っているならそれは逝去する fact13: その値段は小賢しいということはない fact14: 仮にその値段は小賢しいということはないとしたら「それは政府原案でないし騾馬でない」ということは偽である fact15: あのテラは走り易いとすれば「その値段は御手洗いでないか食品スーパーでないかまたは両方ともだ」ということは誤りだ fact16: もしもその値段が走り易いとしたら食品スーパーだということはない
void -> assump1: 以下のように仮定する。その値段は走り易い; fact16 & assump1 -> int1: その値段は食品スーパーでない; fact11 -> int2: 仮に「その値段は食品スーパーでない」ということは成り立てばそれは逝去しない; int1 & int2 -> int3: 「その値段は逝去しない」ということは成り立つ; fact13 & fact14 -> int4: 「その値段は政府原案でなくて騾馬であるということはない」ということは誤っている; fact12 -> int5: 「その値段は政府原案であるということはなくてまた騾馬でない」ということは成り立たないとしたら逝去する; int4 & int5 -> int6: その値段は逝去する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その値段は走り易くない; int8 & fact7 -> hypothesis;
あのテラは走り易くないがしかしそれは御手洗いだ
fact17 -> int9: 仮にあのテラは逝去するけれど政府原案でないとすればそれは食品スーパーである;
$facts$ = fact1: 政府原案は逝去する fact2: もし「その製品政策は輸入額でない」ということは確かであるならばそのアクション属性は閣議決定するしそれは悪戯っぽい fact3: もし仮に「その値段は御手洗いだということはないかもしくは食品スーパーだということはないかあるいはどちらもである」ということは成り立たないとするとその輸送速度は御手洗いであるということはない fact4: もしそのアクション属性が閣議決定するしまたそれが悪戯っぽいならばあの事実認定は騾馬でない fact5: もしその値段が摩滅すればそれは御手洗いでない fact6: 仮にとある物は逝去するけれど政府原案でないとしたら食品スーパーだ fact7: もしその値段は走り易くないとすれば「あのテラは走り易くない御手洗いだ」ということは成り立つということはない fact8: もし仮に「あの事実認定は小賢しくてそれは政府原案である」ということは本当でないとすればそれは政府原案でない fact9: もし何らかのものは総仕上げでないならば「糸うねりモデルだ」ということは成り立つということはない fact10: 仮に「なんらかのものは騾馬だということはない」ということは成り立てば「それは小賢しいし政府原案である」ということは成り立たない fact11: もし仮にあるものは食品スーパーでないならばそれは逝去しない fact12: 仮に「あるものは政府原案でなくてまた騾馬でない」ということは間違っているならそれは逝去する fact13: その値段は小賢しいということはない fact14: 仮にその値段は小賢しいということはないとしたら「それは政府原案でないし騾馬でない」ということは偽である fact15: あのテラは走り易いとすれば「その値段は御手洗いでないか食品スーパーでないかまたは両方ともだ」ということは誤りだ fact16: もしもその値段が走り易いとしたら食品スーパーだということはない ; $hypothesis$ = 「「あのテラは走り易くないけれどそれは御手洗いである」ということは事実である」ということは本当でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その値段は走り易い; fact16 & assump1 -> int1: その値段は食品スーパーでない; fact11 -> int2: 仮に「その値段は食品スーパーでない」ということは成り立てばそれは逝去しない; int1 & int2 -> int3: 「その値段は逝去しない」ということは成り立つ; fact13 & fact14 -> int4: 「その値段は政府原案でなくて騾馬であるということはない」ということは誤っている; fact12 -> int5: 「その値段は政府原案であるということはなくてまた騾馬でない」ということは成り立たないとしたら逝去する; int4 & int5 -> int6: その値段は逝去する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その値段は走り易くない; int8 & fact7 -> hypothesis; __PROVED__
事実1: 政府原案は逝去する
事実2: もし「その製品政策は輸入額でない」ということは確かであるならばそのアクション属性は閣議決定するしそれは悪戯っぽい
事実3: もし仮に「その値段は御手洗いだということはないかもしくは食品スーパーだということはないかあるいはどちらもである」ということは成り立たないとするとその輸送速度は御手洗いであるということはない
事実4: もしそのアクション属性が閣議決定するしまたそれが悪戯っぽいならばあの事実認定は騾馬でない
事実5: もしその値段が摩滅すればそれは御手洗いでない
事実6: 仮にとある物は逝去するけれど政府原案でないとしたら食品スーパーだ
事実7: もしその値段は走り易くないとすれば「あのテラは走り易くない御手洗いだ」ということは成り立つということはない
事実8: もし仮に「あの事実認定は小賢しくてそれは政府原案である」ということは本当でないとすればそれは政府原案でない
事実9: もし何らかのものは総仕上げでないならば「糸うねりモデルだ」ということは成り立つということはない
事実10: 仮に「なんらかのものは騾馬だということはない」ということは成り立てば「それは小賢しいし政府原案である」ということは成り立たない
事実11: もし仮にあるものは食品スーパーでないならばそれは逝去しない
事実12: 仮に「あるものは政府原案でなくてまた騾馬でない」ということは間違っているならそれは逝去する
事実13: その値段は小賢しいということはない
事実14: 仮にその値段は小賢しいということはないとしたら「それは政府原案でないし騾馬でない」ということは偽である
事実15: あのテラは走り易いとすれば「その値段は御手洗いでないか食品スーパーでないかまたは両方ともだ」ということは誤りだ
事実16: もしもその値段が走り易いとしたら食品スーパーだということはない

仮説: 「「あのテラは走り易くないけれどそれは御手洗いである」ということは事実である」ということは本当でない
1. 仮定1: 以下のように仮定する。その値段は走り易い
2. 事実16と仮定1から、推論1: "その値段は食品スーパーでない"が導かれる
3. 事実11から、推論2: "仮に「その値段は食品スーパーでない」ということは成り立てばそれは逝去しない"が導かれる
4. 推論1と推論2から、推論3: "「その値段は逝去しない」ということは成り立つ"が導かれる
5. 事実13と事実14から、推論4: "「その値段は政府原案でなくて騾馬であるということはない」ということは誤っている"が導かれる
6. 事実12から、推論5: "「その値段は政府原案であるということはなくてまた騾馬でない」ということは成り立たないとしたら逝去する"が導かれる
7. 推論4と推論5から、推論6: "その値段は逝去する"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その値段は走り易くない"が導かれる
10. 推論8と事実7から、仮説が導かれる

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