「何らかの物は白しししかもそれは気難しい」ということは確かだ
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: もしもあの頂行が確認し易いしかつそれが旧市街であるならあの参加型開発は動き難くない
fact22 & fact12 -> int1: あの頂行は確認し易いしそれは旧市街だ; int1 & fact28 -> int2: あの参加型開発は動き難くない; int2 & fact24 -> int3: この民生委員法は白し; fact27 -> int4: もしも「この民生委員法はルーティングするしおまけにそれは弾き続ける」ということは間違いであるならば増え続けない; fact18 & fact14 -> int5: 「この民生委員法はルーティングするし加えてそれは弾き続ける」ということは嘘である; int4 & int5 -> int6: この民生委員法は増え続けない; fact7 -> int7: 仮に「この民生委員法は増え続けない」ということは成り立つとすると気難しい; int6 & int7 -> int8: この民生委員法は気難しい; int3 & int8 -> int9: 「この民生委員法は白ししまた気難しい」ということは真実だ; int9 -> hypothesis;
あの参加型開発は増え続けない
fact32 -> int10: もし仮に「あの参加型開発は旧市街だということはないが増え続ける」ということは事実と異なるとすればそれは増え続けない; fact31 -> int11: もし仮にあの参加型開発が動き難いとしたらそれは確認し易い; fact30 -> int12: あの参加型開発が白しなら動き難い;
$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$ = 
fact22 & fact12 -> int1: あの頂行は確認し易いしそれは旧市街だ; int1 & fact28 -> int2: あの参加型開発は動き難くない; int2 & fact24 -> int3: この民生委員法は白し; fact27 -> int4: もしも「この民生委員法はルーティングするしおまけにそれは弾き続ける」ということは間違いであるならば増え続けない; fact18 & fact14 -> int5: 「この民生委員法はルーティングするし加えてそれは弾き続ける」ということは嘘である; int4 & int5 -> int6: この民生委員法は増え続けない; fact7 -> int7: 仮に「この民生委員法は増え続けない」ということは成り立つとすると気難しい; int6 & int7 -> int8: この民生委員法は気難しい; int3 & int8 -> int9: 「この民生委員法は白ししまた気難しい」ということは真実だ; int9 -> 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. 事実22と事実12から、推論1: "あの頂行は確認し易いしそれは旧市街だ"が導かれる
2. 推論1と事実28から、推論2: "あの参加型開発は動き難くない"が導かれる
3. 推論2と事実24から、推論3: "この民生委員法は白し"が導かれる
4. 事実27から、推論4: "もしも「この民生委員法はルーティングするしおまけにそれは弾き続ける」ということは間違いであるならば増え続けない"が導かれる
5. 事実18と事実14から、推論5: "「この民生委員法はルーティングするし加えてそれは弾き続ける」ということは嘘である"が導かれる
6. 推論4と推論5から、推論6: "この民生委員法は増え続けない"が導かれる
7. 事実7から、推論7: "仮に「この民生委員法は増え続けない」ということは成り立つとすると気難しい"が導かれる
8. 推論6と推論7から、推論8: "この民生委員法は気難しい"が導かれる
9. 推論3と推論8から、推論9: "「この民生委員法は白ししまた気難しい」ということは真実だ"が導かれる
10. 推論9から、仮説が導かれる

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