この買い受けは使用開始だということはない
fact1: 仮になんらかのものは安いかもしくは並べ終えないかまたは両方であるならばそれは並べ終えない fact2: その警笛は並べ終えない fact3: その警笛はスポーツシャツだ一方で並べ終えない fact4: 「仮になんらかのものが繁殖し易くないとするとその警笛は安いかあるいは並べ終えない」ということは本当である fact5: 与し易いものは安い fact6: もしもなにがしかの物はあざとくないとすると「それは残存しなくて高いということはない」ということは成り立たない fact7: この買い受けは高い fact8: もしも「その警笛はスポーツシャツだ」ということは確かならあの隠し味はスポーツシャツでないかもしくは高くないかあるいは両方である fact9: なんらかのものはスポーツシャツでないならば「それは使用開始でない」ということは成り立つ fact10: もしもその警笛が並べ終えるとしたらこの買い受けは並べ終えない fact11: あの隠し味が高くないとしたらこの買い受けは使用開始だ fact12: 「「出し切れるかもしくは末恐ろしくないかもしくは両方だ」ということは誤っている」物はある fact13: 「繁殖し易くない」物はある fact14: もし何かは安いとすると高い fact15: あの隠し味が使用開始でないならばあの買い受けは高い fact16: もしも「その警笛は並べ終えない」ということは成り立つとしたらこの更生施設は与し易い fact17: この買い受けはエンゼルだけど勤務しない fact18: 「あの隠し味は高い」ということは真実だとすると「その警笛は並べ終えるかもしくは残存しないかまたは両方ともである」ということは確かだ fact19: もし仮にあの隠し味がスポーツシャツでないとしたらこの買い受けは使用開始だ
fact3 -> int1: その警笛はスポーツシャツである; int1 & fact8 -> int2: あの隠し味はスポーツシャツでないかあるいはそれは高くない; int2 & fact19 & fact11 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact8 -> int2: (¬{A}{b} v ¬{D}{b}); int2 & fact19 & fact11 -> hypothesis;
この更生施設は与し易いけれど使用開始でない
fact22 -> int3: 仮にその警笛は安いかあるいは並べ終えないかまたは両方ならそれは並べ終えない; fact24 & fact26 -> int4: その警笛は安いかまたはそれは並べ終えない; int3 & int4 -> int5: その警笛は並べ終えない; fact20 & int5 -> int6: この更生施設は与し易い; fact21 -> int7: もしこの更生施設はスポーツシャツでないとしたら使用開始でない; fact25 -> int8: もし仮に「この更生施設はあざとくない」ということは成り立つなら「それは残存するということはなくておまけに高くない」ということは嘘である;
$facts$ = fact1: 仮になんらかのものは安いかもしくは並べ終えないかまたは両方であるならばそれは並べ終えない fact2: その警笛は並べ終えない fact3: その警笛はスポーツシャツだ一方で並べ終えない fact4: 「仮になんらかのものが繁殖し易くないとするとその警笛は安いかあるいは並べ終えない」ということは本当である fact5: 与し易いものは安い fact6: もしもなにがしかの物はあざとくないとすると「それは残存しなくて高いということはない」ということは成り立たない fact7: この買い受けは高い fact8: もしも「その警笛はスポーツシャツだ」ということは確かならあの隠し味はスポーツシャツでないかもしくは高くないかあるいは両方である fact9: なんらかのものはスポーツシャツでないならば「それは使用開始でない」ということは成り立つ fact10: もしもその警笛が並べ終えるとしたらこの買い受けは並べ終えない fact11: あの隠し味が高くないとしたらこの買い受けは使用開始だ fact12: 「「出し切れるかもしくは末恐ろしくないかもしくは両方だ」ということは誤っている」物はある fact13: 「繁殖し易くない」物はある fact14: もし何かは安いとすると高い fact15: あの隠し味が使用開始でないならばあの買い受けは高い fact16: もしも「その警笛は並べ終えない」ということは成り立つとしたらこの更生施設は与し易い fact17: この買い受けはエンゼルだけど勤務しない fact18: 「あの隠し味は高い」ということは真実だとすると「その警笛は並べ終えるかもしくは残存しないかまたは両方ともである」ということは確かだ fact19: もし仮にあの隠し味がスポーツシャツでないとしたらこの買い受けは使用開始だ ; $hypothesis$ = この買い受けは使用開始だということはない ; $proof$ = 
fact3 -> int1: その警笛はスポーツシャツである; int1 & fact8 -> int2: あの隠し味はスポーツシャツでないかあるいはそれは高くない; int2 & fact19 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮になんらかのものは安いかもしくは並べ終えないかまたは両方であるならばそれは並べ終えない
事実2: その警笛は並べ終えない
事実3: その警笛はスポーツシャツだ一方で並べ終えない
事実4: 「仮になんらかのものが繁殖し易くないとするとその警笛は安いかあるいは並べ終えない」ということは本当である
事実5: 与し易いものは安い
事実6: もしもなにがしかの物はあざとくないとすると「それは残存しなくて高いということはない」ということは成り立たない
事実7: この買い受けは高い
事実8: もしも「その警笛はスポーツシャツだ」ということは確かならあの隠し味はスポーツシャツでないかもしくは高くないかあるいは両方である
事実9: なんらかのものはスポーツシャツでないならば「それは使用開始でない」ということは成り立つ
事実10: もしもその警笛が並べ終えるとしたらこの買い受けは並べ終えない
事実11: あの隠し味が高くないとしたらこの買い受けは使用開始だ
事実12: 「「出し切れるかもしくは末恐ろしくないかもしくは両方だ」ということは誤っている」物はある
事実13: 「繁殖し易くない」物はある
事実14: もし何かは安いとすると高い
事実15: あの隠し味が使用開始でないならばあの買い受けは高い
事実16: もしも「その警笛は並べ終えない」ということは成り立つとしたらこの更生施設は与し易い
事実17: この買い受けはエンゼルだけど勤務しない
事実18: 「あの隠し味は高い」ということは真実だとすると「その警笛は並べ終えるかもしくは残存しないかまたは両方ともである」ということは確かだ
事実19: もし仮にあの隠し味がスポーツシャツでないとしたらこの買い受けは使用開始だ

仮説: この買い受けは使用開始だということはない
1. 事実3から、推論1: "その警笛はスポーツシャツである"が導かれる
2. 推論1と事実8から、推論2: "あの隠し味はスポーツシャツでないかあるいはそれは高くない"が導かれる
3. 推論2と事実19と事実11から、仮説が否定される

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