この三十一日現在は減量するしかつ応戦する
fact1: 仮にあの秦王は向かえるとすると「この日向国は向かえないかもしくは喧しいかもしくは両方ともだ」ということは正しい fact2: もしあの秦王が向かえるとすればあの日向国は向かえないかもしくは喧しくないかもしくは両方ともである fact3: もし何かは調査資料でないならば「それは期し難いし更にダウンする」ということは成り立たない fact4: あのコラーゲンは政党マシーンでない fact5: この三十一日現在は減量する fact6: あの宋襄は減量する fact7: なにがしかの物は出荷しないなら「減量するしまた応戦する」ということは偽である fact8: もし仮にこの日向国がＸ線ＣＴであるならあの秦王は向かえるかまたは出荷しないかまたはどちらもである fact9: あるものは物価安定だが腹立たしいということはない fact10: もし仮に「その改築はＸ線ＣＴでないが女性労働者である」ということは誤りであるとすればこの日向国はＸ線ＣＴである fact11: あのコラーゲンは政党マシーンでないならば「この野球以外は四観点でないけれど惜しみ無い」ということは成り立つ fact12: 仮にこの日向国は喧しくないとしたら「この三十一日現在は応戦する」ということは成り立つ fact13: 「このループ開始時は物価安定であるがしかし腹立たしくらない」ということは間違いである fact14: もし仮にあの秦王はＸ線ＣＴであるとしたらそれは向かえる fact15: もしも「「物価安定でおまけに腹立たしくらない」ということは事実でない」物があるとするとあの秦王は出荷する fact16: 「「物価安定であるしおまけに腹立たしい」ということは事実でない」物はある fact17: 「なんらかの物は喧しい」ということは真実であるとしたら「それはＸ線ＣＴでなくてそれは女性労働者だ」ということは間違っている fact18: 仮に「四観点でないしおまけに惜しみ無い」ものがあるとしたらこのＡＫ毒素は調査資料でない fact19: もしもなにがしかの物は支配株主でないならば「それが喧しくないしさらにそれは初期透水試験でない」ということは誤っている fact20: 「このループ開始時は物価安定だし腹立たしい」ということは間違いである fact21: 「仮に「なにがしかの物は期し難くてダウンする」ということは成り立たないとすればそれは支配株主でない」ということは真実である fact22: もしもこの日向国が向かえないかそれが喧しくないならこの三十一日現在は応戦する fact23: 「もしあの秦王が出荷するとしたらあの秦王はＸ線ＣＴである」ということは真実だ
fact13 -> int1: 「「物価安定である一方で腹立たしいということはない」ということは誤っている」物はある; int1 & fact15 -> int2: あの秦王は出荷する; int2 & fact23 -> int3: あの秦王はＸ線ＣＴだ; int3 & fact14 -> int4: あの秦王は向かえる; int4 & fact2 -> int5: この日向国は向かえるということはないかもしくは喧しくないかまたは両方ともである; int5 & fact22 -> int6: この三十一日現在は応戦する; int6 & fact5 -> hypothesis;
「この三十一日現在は減量するしかつそれは応戦する」ということは成り立たない
fact33 -> int7: もしこの三十一日現在は出荷しないなら「それは減量するし加えて応戦する」ということは嘘だ; fact29 -> int8: その改築は喧しいならば「それはＸ線ＣＴであるということはないけれど女性労働者である」ということは成り立つということはない; fact30 -> int9: このＡＫ毒素は支配株主でないとしたら「喧しくなくてまた初期透水試験だということはない」ということは成り立たない; fact25 -> int10: もし仮に「「このＡＫ毒素は期し難くてダウンする」ということは成り立つ」ということは成り立たないならば「支配株主でない」ということは成り立つ; fact31 -> int11: もしこのＡＫ毒素は調査資料でないとすれば「期し難くてダウンする」ということは事実と異なる; fact26 & fact27 -> int12: この野球以外は四観点でない一方でそれは惜しみ無い; int12 -> int13: 「四観点でないがしかし惜しみ無い」ものはある; int13 & fact24 -> int14: 「このＡＫ毒素は調査資料でない」ということは間違っていない; int11 & int14 -> int15: 「このＡＫ毒素は期し難いしその上ダウンする」ということは偽だ; int10 & int15 -> int16: このＡＫ毒素は支配株主でない; int9 & int16 -> int17: 「このＡＫ毒素は喧しくなくて更に初期透水試験でない」ということは成り立つということはない; int17 -> int18: 「「喧しいということはないしその上初期透水試験でない」ということは偽な」ものはある;
$facts$ = fact1: 仮にあの秦王は向かえるとすると「この日向国は向かえないかもしくは喧しいかもしくは両方ともだ」ということは正しい fact2: もしあの秦王が向かえるとすればあの日向国は向かえないかもしくは喧しくないかもしくは両方ともである fact3: もし何かは調査資料でないならば「それは期し難いし更にダウンする」ということは成り立たない fact4: あのコラーゲンは政党マシーンでない fact5: この三十一日現在は減量する fact6: あの宋襄は減量する fact7: なにがしかの物は出荷しないなら「減量するしまた応戦する」ということは偽である fact8: もし仮にこの日向国がＸ線ＣＴであるならあの秦王は向かえるかまたは出荷しないかまたはどちらもである fact9: あるものは物価安定だが腹立たしいということはない fact10: もし仮に「その改築はＸ線ＣＴでないが女性労働者である」ということは誤りであるとすればこの日向国はＸ線ＣＴである fact11: あのコラーゲンは政党マシーンでないならば「この野球以外は四観点でないけれど惜しみ無い」ということは成り立つ fact12: 仮にこの日向国は喧しくないとしたら「この三十一日現在は応戦する」ということは成り立つ fact13: 「このループ開始時は物価安定であるがしかし腹立たしくらない」ということは間違いである fact14: もし仮にあの秦王はＸ線ＣＴであるとしたらそれは向かえる fact15: もしも「「物価安定でおまけに腹立たしくらない」ということは事実でない」物があるとするとあの秦王は出荷する fact16: 「「物価安定であるしおまけに腹立たしい」ということは事実でない」物はある fact17: 「なんらかの物は喧しい」ということは真実であるとしたら「それはＸ線ＣＴでなくてそれは女性労働者だ」ということは間違っている fact18: 仮に「四観点でないしおまけに惜しみ無い」ものがあるとしたらこのＡＫ毒素は調査資料でない fact19: もしもなにがしかの物は支配株主でないならば「それが喧しくないしさらにそれは初期透水試験でない」ということは誤っている fact20: 「このループ開始時は物価安定だし腹立たしい」ということは間違いである fact21: 「仮に「なにがしかの物は期し難くてダウンする」ということは成り立たないとすればそれは支配株主でない」ということは真実である fact22: もしもこの日向国が向かえないかそれが喧しくないならこの三十一日現在は応戦する fact23: 「もしあの秦王が出荷するとしたらあの秦王はＸ線ＣＴである」ということは真実だ ; $hypothesis$ = この三十一日現在は減量するしかつ応戦する ; $proof$ = 
fact13 -> int1: 「「物価安定である一方で腹立たしいということはない」ということは誤っている」物はある; int1 & fact15 -> int2: あの秦王は出荷する; int2 & fact23 -> int3: あの秦王はＸ線ＣＴだ; int3 & fact14 -> int4: あの秦王は向かえる; int4 & fact2 -> int5: この日向国は向かえるということはないかもしくは喧しくないかまたは両方ともである; int5 & fact22 -> int6: この三十一日現在は応戦する; int6 & fact5 -> 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: 「もしあの秦王が出荷するとしたらあの秦王はＸ線ＣＴである」ということは真実だ

仮説: この三十一日現在は減量するしかつ応戦する
1. 事実13から、推論1: "「「物価安定である一方で腹立たしいということはない」ということは誤っている」物はある"が導かれる
2. 推論1と事実15から、推論2: "あの秦王は出荷する"が導かれる
3. 推論2と事実23から、推論3: "あの秦王はＸ線ＣＴだ"が導かれる
4. 推論3と事実14から、推論4: "あの秦王は向かえる"が導かれる
5. 推論4と事実2から、推論5: "この日向国は向かえるということはないかもしくは喧しくないかまたは両方ともである"が導かれる
6. 推論5と事実22から、推論6: "この三十一日現在は応戦する"が導かれる
7. 推論6と事実5から、仮説が導かれる

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