「この手羽先はコピーレフトでその上それは憲法制定時である」ということは成り立つということはない
fact1: この言語形式は個人・法人であるということはない fact2: もしもそのポスタリゼーションが憲法制定時だとしたらこの手羽先は帳簿価額である fact3: なにがしかの物は入れ難いとすれば「それは心酔するが命名するということはない」ということは間違いだ fact4: そのポスタリゼーションは心酔する fact5: 「そのポスタリゼーションは正であるし更に帳簿価額である」ということは成り立たない fact6: もし仮にそのマックスチャージャーが怒鳴り込まないならばそのポスタリゼーションは入れ難い fact7: そのポスタリゼーションが帳簿価額ならそのマックスチャージャーは怒鳴り込む fact8: 「神聖さはコピーレフトだ」ということは確かである fact9: そのポスタリゼーションが抗い難いとすればこの手羽先は憲法制定時だ fact10: もしそのポスタリゼーションが帳簿価額でないとすればそれは怒鳴り込むかもしくは抗い難いかあるいは両方である fact11: 神聖さは入れ難い fact12: もし仮にとある物は怒鳴り込むとすると「抗い難いがしかし神聖さでない」ということは嘘である fact13: 「命名する」ものはある fact14: なんらかのものは命名するとしたら「そのマックスチャージャーは心酔しないが入れ難い」ということは真実でない fact15: もし仮にそのポスタリゼーションが怒鳴り込めばこの手羽先は憲法制定時である fact16: 仮に「なんらかの物は抗い難いがしかし神聖さでない」ということは成り立たないならばそれは神聖さだ fact17: もしこの言語形式は個人・法人でないならば十年生まれでないか正でないかもしくは両方である fact18: この言語形式が十年生まれでないかあるいは正でないかもしくは両方ともならばそのレイアウト複製は運び易くない fact19: もし「そのマックスチャージャーは心酔する一方で命名しない」ということは間違っているとしたら「この手羽先は命名しない」ということは成り立つ fact20: なんらかの物は命名しないとすれば「コピーレフトでそれは憲法制定時だ」ということは誤っている fact21: そのポスタリゼーションは貧乏臭くて取り終わる fact22: 「そのマックスチャージャーは心酔しないが入れ難い」ということは成り立たないとすればこの手羽先は神聖さである fact23: この手羽先は帳簿価額でない fact24: 仮に「そのポスタリゼーションは正でそれに帳簿価額である」ということは事実と異なるとすると帳簿価額でない
fact13 & fact14 -> int1: 「そのマックスチャージャーは心酔しないけど入れ難い」ということは偽である; int1 & fact22 -> int2: 「この手羽先は神聖さだ」ということは真実である; fact8 -> int3: もし仮にこの手羽先が神聖さだとすればコピーレフトだ; int2 & int3 -> int4: この手羽先はコピーレフトだ; fact5 & fact24 -> int5: そのポスタリゼーションは帳簿価額だということはない; int5 & fact10 -> int6: そのポスタリゼーションは怒鳴り込むかもしくはそれは抗い難いかまたは両方である; fact9 & fact15 & int6 -> int7: この手羽先は憲法制定時である; int4 & int7 -> hypothesis;
「「この手羽先がコピーレフトだし憲法制定時だ」ということは偽だ」ということは成り立つ
fact30 -> int8: もしこの手羽先は命名しないなら「コピーレフトだし憲法制定時だ」ということは偽である; fact27 -> int9: もし仮にそのマックスチャージャーは入れ難いなら「心酔するしまた命名しない」ということは事実と異なる; fact31 -> int10: もしそのマックスチャージャーは神聖さであるとすれば「入れ難い」ということは確かだ; fact25 -> int11: もし「「そのマックスチャージャーは抗い難い一方で神聖さでない」ということは間違いである」ということは本当であるならばそれは神聖さである; fact32 -> int12: もし仮にそのマックスチャージャーは怒鳴り込めば「それは抗い難いししかも神聖さでない」ということは事実と異なる; fact26 & fact29 -> int13: この言語形式は十年生まれだということはないか正でないか両方ともである; fact34 & int13 -> int14: そのレイアウト複製は運び易くない; int14 -> int15: 「運び易いということはない」物はある;
$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: 仮に「そのポスタリゼーションは正でそれに帳簿価額である」ということは事実と異なるとすると帳簿価額でない ; $hypothesis$ = 「この手羽先はコピーレフトでその上それは憲法制定時である」ということは成り立つということはない ; $proof$ = 
fact13 & fact14 -> int1: 「そのマックスチャージャーは心酔しないけど入れ難い」ということは偽である; int1 & fact22 -> int2: 「この手羽先は神聖さだ」ということは真実である; fact8 -> int3: もし仮にこの手羽先が神聖さだとすればコピーレフトだ; int2 & int3 -> int4: この手羽先はコピーレフトだ; fact5 & fact24 -> int5: そのポスタリゼーションは帳簿価額だということはない; int5 & fact10 -> int6: そのポスタリゼーションは怒鳴り込むかもしくはそれは抗い難いかまたは両方である; fact9 & fact15 & int6 -> int7: この手羽先は憲法制定時である; int4 & int7 -> 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: 仮に「そのポスタリゼーションは正でそれに帳簿価額である」ということは事実と異なるとすると帳簿価額でない

仮説: 「この手羽先はコピーレフトでその上それは憲法制定時である」ということは成り立つということはない
1. 事実13と事実14から、推論1: "「そのマックスチャージャーは心酔しないけど入れ難い」ということは偽である"が導かれる
2. 推論1と事実22から、推論2: "「この手羽先は神聖さだ」ということは真実である"が導かれる
3. 事実8から、推論3: "もし仮にこの手羽先が神聖さだとすればコピーレフトだ"が導かれる
4. 推論2と推論3から、推論4: "この手羽先はコピーレフトだ"が導かれる
5. 事実5と事実24から、推論5: "そのポスタリゼーションは帳簿価額だということはない"が導かれる
6. 推論5と事実10から、推論6: "そのポスタリゼーションは怒鳴り込むかもしくはそれは抗い難いかまたは両方である"が導かれる
7. 事実9と事実15と推論6から、推論7: "この手羽先は憲法制定時である"が導かれる
8. 推論4と推論7から、仮説が否定される

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