この全体重は記念式典である
fact1: もしその諸項目間がスポーツマンらしくないとすればあの生産意欲は死さないけど狭苦しい fact2: もしもこの二便は師団司令部でないとしたら「それは拙いししかもそれはシュラスコである」ということは間違っている fact3: もしある物は強制連行だとしたら「そのトップ記事は胸苦しいけれどばらつかない」ということは偽である fact4: 全ての物は空堀である fact5: 何らかの物が異なり得ないとすればそれは撲殺するということはないけれど退所する fact6: 「「拙くてシュラスコだ」ということは間違っている」ものはある fact7: あるものが温いとすればそれは強制連行だ fact8: もし仮になにかはシュラスコであるとするとこの全体重は記念式典であるということはない fact9: もし仮に「「「拙いしその上シュラスコであるということはない」ということは成り立たない」物はある」ということは成り立つとしたらこの全体重は記念式典でない fact10: もしもその定量法が撲殺しない一方で退所するならこの二便は名付けるということはない fact11: 仮になんらかの物は空堀であるならばそれはδワンでない fact12: 仮になんらかのものはδワンでないとしたら「物象化するかそれは温い」ということは本当である fact13: もしあの生産意欲が死すということはない一方で狭苦しいとするとその定量法は狭苦しい fact14: 「この二便は拙い一方でそれは共鳴し易くない」ということは偽だ fact15: 「この全体重は師団司令部だしさらに記念式典だ」ということは間違っている fact16: 成功し易くないものは文明国でないし加えてスポーツマンらしくない fact17: 仮に「「胸苦しいけれどばらつくということはない」ということは事実でない」ものがあるとすればあの諸項目間は成功し易くない fact18: もし仮に「この二便は師団司令部でない」ということは確かであるならば「拙いけどシュラスコでない」ということは偽である fact19: この二便は師団司令部でない fact20: 「「記念式典であるし拙い」ということは嘘な」ものはある fact21: もしもこの有益的記載事項は物象化するとすれば「それは強制連行である」ということは確かだ fact22: もしも「何かは人間臭くないかまたは弱酸性だということはないか両方ともだ」ということは成り立たないなら「それは異なり得ない」ということは本当である fact23: もし仮にある物は狭苦しいなら「人間臭くないかもしくは弱酸性だということはないかあるいは両方ともである」ということは成り立たない
fact18 & fact19 -> int1: 「この二便は拙いがシュラスコでない」ということは誤っている; int1 -> int2: 「「「拙いがシュラスコだということはない」ということは成り立つということはない」ものはある」ということは確かだ; int2 & fact9 -> hypothesis;
fact18 & fact19 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 -> int2: (Ex): ¬({AA}x & ¬{AB}x); int2 & fact9 -> hypothesis;
「この全体重は記念式典である」ということは確かである
fact37 -> int3: もしその定量法が異なり得ないとすれば撲殺しないけれど退所する; fact25 -> int4: もし仮にそのＨＹＰＥＲがδワンでないとするとそれは物象化するか温いかまたは両方ともである; fact33 -> int5: 「仮にあの禅病が空堀であるならあの禅病はδワンでない」ということは成り立つ; fact27 -> int6: あの禅病は空堀だ; int5 & int6 -> int7: あの禅病はδワンでない; int7 -> int8: 全ての物はδワンでない; int8 -> int9: そのＨＹＰＥＲはδワンでない; int4 & int9 -> int10: そのＨＹＰＥＲは物象化するかまたはそれは温い; int10 -> int11: あらゆるものは物象化するかもしくはそれは温いか両方ともだ; int11 -> int12: この有益的記載事項は物象化するかもしくは温いか両方だ; fact29 -> int13: 仮にこの有益的記載事項が温いとすると強制連行である; fact28 & int12 & int13 -> int14: この有益的記載事項は強制連行だ; int14 -> int15: なにがしかのものは強制連行だ; int15 & fact35 -> int16: 「「そのトップ記事は胸苦しい一方でばらつかない」ということは成り立つ」ということは嘘である; int16 -> int17: 「「胸苦しいがばらつかない」ということは成り立たない」物はある; fact31 & int17 -> int18: その諸項目間は成功し易いということはない; fact36 -> int19: もし仮にその諸項目間が成功し易くないとすると文明国でないししかもそれはスポーツマンらしくない; int18 & int19 -> int20: その諸項目間は文明国でなくておまけにスポーツマンらしくない; int20 -> int21: 「その諸項目間はスポーツマンらしくない」ということは正しい; int21 & fact24 -> int22: あの生産意欲は死すということはないがしかしそれは狭苦しい; fact32 & int22 -> int23: その定量法は狭苦しい; fact30 -> int24: もし仮にその定量法は狭苦しいならば「それは人間臭くないかもしくは弱酸性でないか両方である」ということは成り立たない; int23 & int24 -> int25: 「その定量法は人間臭くないかあるいはそれは弱酸性でない」ということは成り立たない; fact26 -> int26: 「その定量法は人間臭くないかまたは弱酸性でない」ということは成り立たないとするとそれは異なり得ない; int25 & int26 -> int27: その定量法は異なり得ない; int3 & int27 -> int28: その定量法は撲殺しない一方で退所する; fact34 & int28 -> int29: この二便は名付けない;
$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$ = 
fact18 & fact19 -> int1: 「この二便は拙いがシュラスコでない」ということは誤っている; int1 -> int2: 「「「拙いがシュラスコだということはない」ということは成り立つということはない」ものはある」ということは確かだ; int2 & fact9 -> 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: もし仮にある物は狭苦しいなら「人間臭くないかもしくは弱酸性だということはないかあるいは両方ともである」ということは成り立たない

仮説: この全体重は記念式典である
1. 事実18と事実19から、推論1: "「この二便は拙いがシュラスコでない」ということは誤っている"が導かれる
2. 推論1から、推論2: "「「「拙いがシュラスコだということはない」ということは成り立つということはない」ものはある」ということは確かだ"が導かれる
3. 推論2と事実9から、仮説が否定される

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