「この会計は裏付けるししかも努力し続ける」ということは事実と異なる
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: あの第三次評価報告書は疎ましい fact29: この会計が嘲らないけれど同意文書だとすると裏付ける fact30: その高輝度は待ち遠しい
fact17 & fact5 -> int1: この会計は誤解し易いということはない; void -> assump1: 以下のように仮定する。この会計は嘲る; int1 & assump1 -> int2: この会計は誤解し易くないがしかし嘲る; int2 & fact15 -> int3: この幼稚園入園は待ち遠しくない; fact13 & fact16 -> int4: この幼稚園入園は待ち遠しい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この会計は嘲らない; fact24 & fact20 -> int7: 「「この会計は解き放さないがしかしそれは見積もれる」ということは誤っている」ということは本当だ; fact18 & int7 -> int8: 「この会計は同意文書だ」ということは成り立つ; int6 & int8 -> int9: この会計は嘲らないがしかし同意文書だ; int9 & fact29 -> int10: この会計は裏付ける; int10 & fact23 -> hypothesis;
「この会計は裏付けるし努力し続ける」ということは確かでない
$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: あの第三次評価報告書は疎ましい fact29: この会計が嘲らないけれど同意文書だとすると裏付ける fact30: その高輝度は待ち遠しい ; $hypothesis$ = 「この会計は裏付けるししかも努力し続ける」ということは事実と異なる ; $proof$ = 
fact17 & fact5 -> int1: この会計は誤解し易いということはない; void -> assump1: 以下のように仮定する。この会計は嘲る; int1 & assump1 -> int2: この会計は誤解し易くないがしかし嘲る; int2 & fact15 -> int3: この幼稚園入園は待ち遠しくない; fact13 & fact16 -> int4: この幼稚園入園は待ち遠しい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この会計は嘲らない; fact24 & fact20 -> int7: 「「この会計は解き放さないがしかしそれは見積もれる」ということは誤っている」ということは本当だ; fact18 & int7 -> int8: 「この会計は同意文書だ」ということは成り立つ; int6 & int8 -> int9: この会計は嘲らないがしかし同意文書だ; int9 & fact29 -> int10: この会計は裏付ける; int10 & fact23 -> hypothesis; __DISPROVED__
事実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: あの第三次評価報告書は疎ましい
事実29: この会計が嘲らないけれど同意文書だとすると裏付ける
事実30: その高輝度は待ち遠しい

仮説: 「この会計は裏付けるししかも努力し続ける」ということは事実と異なる
1. 事実17と事実5から、推論1: "この会計は誤解し易いということはない"が導かれる
2. 仮定1: 以下のように仮定する。この会計は嘲る
3. 推論1と仮定1から、推論2: "この会計は誤解し易くないがしかし嘲る"が導かれる
4. 推論2と事実15から、推論3: "この幼稚園入園は待ち遠しくない"が導かれる
5. 事実13と事実16から、推論4: "この幼稚園入園は待ち遠しい"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この会計は嘲らない"が導かれる
8. 事実24と事実20から、推論7: "「「この会計は解き放さないがしかしそれは見積もれる」ということは誤っている」ということは本当だ"が導かれる
9. 事実18と推論7から、推論8: "「この会計は同意文書だ」ということは成り立つ"が導かれる
10. 推論6と推論8から、推論9: "この会計は嘲らないがしかし同意文書だ"が導かれる
11. 推論9と事実29から、推論10: "この会計は裏付ける"が導かれる
12. 推論10と事実23から、仮説が否定される

よって、仮説が否定されました。