「この刑務官は我慢する一方で捨て為さるということはない」ということは偽だ
fact1: もし仮に何らかのものは文化人達でないとすると「奇形種でなくてまた若狭国でない」ということは誤っている fact2: もし仮にとある物は若狭国であるか疲れ易いか両方ともなら「それは実行し易くない」ということは正しい fact3: もし何らかのものが呼号しないとすれば文化人達であるということはない fact4: もしあのスプリントカートが実行し易いとしたらその全国チェーンは実行し易い fact5: あのスプリントカートは敵艦である fact6: もしもなんらかの物が疲れ易くないならばそれは若狭国でない fact7: 仮にその突入が捨て為さるとすればその二千メートル級は住宅紛争処理である fact8: もしもその全国チェーンは捨て為さらないなら「それは合併出来るし実行し易い」ということは事実と異なる fact9: その二千メートル級が出産前でないならばそれは合併出来るしさらに看過し難い fact10: 「あのスプリントカートは叱り飛ばすしかつ減軽する」ということは間違っている fact11: その全国チェーンが奇形種でないとすればその二千メートル級は合併出来るしそれに獣染みる fact12: 仮にあのスプリントカートが叱り飛ばさないけど敵艦だとするとその全国チェーンは歩み始めない fact13: もし仮に「その突入は若狭国でそれに住宅紛争処理である」ということは成り立つならこの刑務官は住宅紛争処理でない fact14: もしも「なにかは入り難くてまたほったらかす」ということは成り立たないならそれは呼号しない fact15: 仮に「なにがしかのものは獣染みるがしかしそれは実行し易くない」ということは成り立たないとしたら「それは実行し易い」ということは事実である fact16: この金属石鹸は合併出来ない fact17: もし何らかの物が住宅紛争処理でないとすると我慢するし捨て為さらない fact18: 「あのスプリントカートが叱り飛ばすしその上それは減軽する」ということは偽であるなら叱り飛ばすということはない fact19: もしあのスプリントカートは合併出来ないなら「獣染みる一方で実行し易くない」ということは成り立たない fact20: 仮にその二千メートル級が合併出来るとするとその突入は獣染みる一方で実行し易いということはない fact21: あのスプリントカートは合併出来ない fact22: もしもその二千メートル級が住宅紛争処理であるとしたらその全国チェーンは若狭国である fact23: その全国チェーンは歩み始めないならば「その突入は入り難いし更にほったらかす」ということは間違いだ fact24: もしもその突入が住宅紛争処理だということはないならばそのシステム思考は我慢するしそれに捨て為さる fact25: 仮にその突入は捨て為さらないとしたら「この刑務官は我慢するがしかし捨て為さらない」ということは成り立たない fact26: 「その全国チェーンは奇形種である」ということは間違いである fact27: もしも「何かは奇形種でないししかも若狭国でない」ということは成り立たないならそれは若狭国である fact28: 仮に「その二千メートル級は獣染みる」ということは成り立つならそれは実行し易くないかそれは疲れ易くないかまたは両方だ
void -> assump1: 以下のように仮定する。その突入は捨て為さる; fact7 & assump1 -> int1: 「その二千メートル級は住宅紛争処理だ」ということは成り立つ; int1 & fact22 -> int2: その全国チェーンは若狭国である; int2 -> int3: その全国チェーンは若狭国であるかもしくは疲れ易い; fact2 -> int4: もしもその全国チェーンは若狭国であるかもしくは疲れ易いかもしくは両方であるなら実行し易くない; int3 & int4 -> int5: その全国チェーンは実行し易くない; fact21 & fact19 -> int6: 「あのスプリントカートは獣染みるけど実行し易くない」ということは偽である; fact15 -> int7: 「もし「あのスプリントカートは獣染みる一方で実行し易くない」ということは誤りであるとするとあのスプリントカートは実行し易い」ということは正しい; int6 & int7 -> int8: あのスプリントカートは実行し易い; fact4 & int8 -> int9: その全国チェーンは実行し易い; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: その突入は捨て為さらない; int11 & fact25 -> hypothesis;
この刑務官は我慢するけれど捨て為さらない
fact40 -> int12: もし仮にこの刑務官は住宅紛争処理であるということはないなら「それは我慢するしそれは捨て為さらない」ということは間違っていない; fact29 -> int13: もし「その突入が奇形種だということはないしさらにそれは若狭国でない」ということは真実でないとすると若狭国である; fact30 -> int14: もしその突入は文化人達でないなら「それは奇形種でないしまた若狭国であるということはない」ということは誤りだ; fact41 -> int15: もしもその突入が呼号しないならばそれは文化人達でない; fact39 -> int16: もし「「その突入は入り難くて加えてそれはほったらかす」ということは成り立つ」ということは間違いであるなら呼号しない; fact34 & fact36 -> int17: あのスプリントカートは叱り飛ばさない; int17 & fact37 -> int18: あのスプリントカートは叱り飛ばさないがしかし敵艦だ; fact32 & int18 -> int19: その全国チェーンは歩み始めない; fact31 & int19 -> int20: 「その突入は入り難くてほったらかす」ということは確かでない; int16 & int20 -> int21: 「その突入は呼号しない」ということは真実だ; int15 & int21 -> int22: その突入は文化人達だということはない; int14 & int22 -> int23: 「その突入は奇形種だということはないし加えてそれは若狭国でない」ということは成り立たない; int13 & int23 -> int24: 「その突入は若狭国である」ということは確かだ;
$facts$ = fact1: もし仮に何らかのものは文化人達でないとすると「奇形種でなくてまた若狭国でない」ということは誤っている fact2: もし仮にとある物は若狭国であるか疲れ易いか両方ともなら「それは実行し易くない」ということは正しい fact3: もし何らかのものが呼号しないとすれば文化人達であるということはない fact4: もしあのスプリントカートが実行し易いとしたらその全国チェーンは実行し易い fact5: あのスプリントカートは敵艦である fact6: もしもなんらかの物が疲れ易くないならばそれは若狭国でない fact7: 仮にその突入が捨て為さるとすればその二千メートル級は住宅紛争処理である fact8: もしもその全国チェーンは捨て為さらないなら「それは合併出来るし実行し易い」ということは事実と異なる fact9: その二千メートル級が出産前でないならばそれは合併出来るしさらに看過し難い fact10: 「あのスプリントカートは叱り飛ばすしかつ減軽する」ということは間違っている fact11: その全国チェーンが奇形種でないとすればその二千メートル級は合併出来るしそれに獣染みる fact12: 仮にあのスプリントカートが叱り飛ばさないけど敵艦だとするとその全国チェーンは歩み始めない fact13: もし仮に「その突入は若狭国でそれに住宅紛争処理である」ということは成り立つならこの刑務官は住宅紛争処理でない fact14: もしも「なにかは入り難くてまたほったらかす」ということは成り立たないならそれは呼号しない fact15: 仮に「なにがしかのものは獣染みるがしかしそれは実行し易くない」ということは成り立たないとしたら「それは実行し易い」ということは事実である fact16: この金属石鹸は合併出来ない fact17: もし何らかの物が住宅紛争処理でないとすると我慢するし捨て為さらない fact18: 「あのスプリントカートが叱り飛ばすしその上それは減軽する」ということは偽であるなら叱り飛ばすということはない fact19: もしあのスプリントカートは合併出来ないなら「獣染みる一方で実行し易くない」ということは成り立たない fact20: 仮にその二千メートル級が合併出来るとするとその突入は獣染みる一方で実行し易いということはない fact21: あのスプリントカートは合併出来ない fact22: もしもその二千メートル級が住宅紛争処理であるとしたらその全国チェーンは若狭国である fact23: その全国チェーンは歩み始めないならば「その突入は入り難いし更にほったらかす」ということは間違いだ fact24: もしもその突入が住宅紛争処理だということはないならばそのシステム思考は我慢するしそれに捨て為さる fact25: 仮にその突入は捨て為さらないとしたら「この刑務官は我慢するがしかし捨て為さらない」ということは成り立たない fact26: 「その全国チェーンは奇形種である」ということは間違いである fact27: もしも「何かは奇形種でないししかも若狭国でない」ということは成り立たないならそれは若狭国である fact28: 仮に「その二千メートル級は獣染みる」ということは成り立つならそれは実行し易くないかそれは疲れ易くないかまたは両方だ ; $hypothesis$ = 「この刑務官は我慢する一方で捨て為さるということはない」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その突入は捨て為さる; fact7 & assump1 -> int1: 「その二千メートル級は住宅紛争処理だ」ということは成り立つ; int1 & fact22 -> int2: その全国チェーンは若狭国である; int2 -> int3: その全国チェーンは若狭国であるかもしくは疲れ易い; fact2 -> int4: もしもその全国チェーンは若狭国であるかもしくは疲れ易いかもしくは両方であるなら実行し易くない; int3 & int4 -> int5: その全国チェーンは実行し易くない; fact21 & fact19 -> int6: 「あのスプリントカートは獣染みるけど実行し易くない」ということは偽である; fact15 -> int7: 「もし「あのスプリントカートは獣染みる一方で実行し易くない」ということは誤りであるとするとあのスプリントカートは実行し易い」ということは正しい; int6 & int7 -> int8: あのスプリントカートは実行し易い; fact4 & int8 -> int9: その全国チェーンは実行し易い; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: その突入は捨て為さらない; int11 & fact25 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものは文化人達でないとすると「奇形種でなくてまた若狭国でない」ということは誤っている
事実2: もし仮にとある物は若狭国であるか疲れ易いか両方ともなら「それは実行し易くない」ということは正しい
事実3: もし何らかのものが呼号しないとすれば文化人達であるということはない
事実4: もしあのスプリントカートが実行し易いとしたらその全国チェーンは実行し易い
事実5: あのスプリントカートは敵艦である
事実6: もしもなんらかの物が疲れ易くないならばそれは若狭国でない
事実7: 仮にその突入が捨て為さるとすればその二千メートル級は住宅紛争処理である
事実8: もしもその全国チェーンは捨て為さらないなら「それは合併出来るし実行し易い」ということは事実と異なる
事実9: その二千メートル級が出産前でないならばそれは合併出来るしさらに看過し難い
事実10: 「あのスプリントカートは叱り飛ばすしかつ減軽する」ということは間違っている
事実11: その全国チェーンが奇形種でないとすればその二千メートル級は合併出来るしそれに獣染みる
事実12: 仮にあのスプリントカートが叱り飛ばさないけど敵艦だとするとその全国チェーンは歩み始めない
事実13: もし仮に「その突入は若狭国でそれに住宅紛争処理である」ということは成り立つならこの刑務官は住宅紛争処理でない
事実14: もしも「なにかは入り難くてまたほったらかす」ということは成り立たないならそれは呼号しない
事実15: 仮に「なにがしかのものは獣染みるがしかしそれは実行し易くない」ということは成り立たないとしたら「それは実行し易い」ということは事実である
事実16: この金属石鹸は合併出来ない
事実17: もし何らかの物が住宅紛争処理でないとすると我慢するし捨て為さらない
事実18: 「あのスプリントカートが叱り飛ばすしその上それは減軽する」ということは偽であるなら叱り飛ばすということはない
事実19: もしあのスプリントカートは合併出来ないなら「獣染みる一方で実行し易くない」ということは成り立たない
事実20: 仮にその二千メートル級が合併出来るとするとその突入は獣染みる一方で実行し易いということはない
事実21: あのスプリントカートは合併出来ない
事実22: もしもその二千メートル級が住宅紛争処理であるとしたらその全国チェーンは若狭国である
事実23: その全国チェーンは歩み始めないならば「その突入は入り難いし更にほったらかす」ということは間違いだ
事実24: もしもその突入が住宅紛争処理だということはないならばそのシステム思考は我慢するしそれに捨て為さる
事実25: 仮にその突入は捨て為さらないとしたら「この刑務官は我慢するがしかし捨て為さらない」ということは成り立たない
事実26: 「その全国チェーンは奇形種である」ということは間違いである
事実27: もしも「何かは奇形種でないししかも若狭国でない」ということは成り立たないならそれは若狭国である
事実28: 仮に「その二千メートル級は獣染みる」ということは成り立つならそれは実行し易くないかそれは疲れ易くないかまたは両方だ

仮説: 「この刑務官は我慢する一方で捨て為さるということはない」ということは偽だ
1. 仮定1: 以下のように仮定する。その突入は捨て為さる
2. 事実7と仮定1から、推論1: "「その二千メートル級は住宅紛争処理だ」ということは成り立つ"が導かれる
3. 推論1と事実22から、推論2: "その全国チェーンは若狭国である"が導かれる
4. 推論2から、推論3: "その全国チェーンは若狭国であるかもしくは疲れ易い"が導かれる
5. 事実2から、推論4: "もしもその全国チェーンは若狭国であるかもしくは疲れ易いかもしくは両方であるなら実行し易くない"が導かれる
6. 推論3と推論4から、推論5: "その全国チェーンは実行し易くない"が導かれる
7. 事実21と事実19から、推論6: "「あのスプリントカートは獣染みるけど実行し易くない」ということは偽である"が導かれる
8. 事実15から、推論7: "「もし「あのスプリントカートは獣染みる一方で実行し易くない」ということは誤りであるとするとあのスプリントカートは実行し易い」ということは正しい"が導かれる
9. 推論6と推論7から、推論8: "あのスプリントカートは実行し易い"が導かれる
10. 事実4と推論8から、推論9: "その全国チェーンは実行し易い"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "その突入は捨て為さらない"が導かれる
13. 推論11と事実25から、仮説が導かれる

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