「もしあの外国人向けは味質だとすると「あのパーティルームは継承出来ないかまたはそれは独占的企業である」ということは嘘である」ということは成り立たない
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: その監修委員会は嬉しくない
fact20 & fact14 -> int1: あの外国人向けは聞き取り易い; void -> assump1: 以下のように仮定する。あの外国人向けは味質である; int1 & assump1 -> int2: あの外国人向けは聞き取り易いしおまけにそれは味質である; int2 & fact16 -> int3: この十六．七世紀イエズス会日本報告集は減衰振動でない; fact21 & fact23 -> int4: この十六．七世紀イエズス会日本報告集は嬉しいけれど聞き付けない; int4 -> int5: この十六．七世紀イエズス会日本報告集は聞き付けない; int3 & int5 -> int6: この十六．七世紀イエズス会日本報告集は減衰振動でなくて聞き付けない; fact8 -> int7: もしこの十六．七世紀イエズス会日本報告集は減衰振動でなくてそれに聞き付けないとするとそれは罹り易くない; int6 & int7 -> int8: この十六．七世紀イエズス会日本報告集は罹り易くない; int8 -> int9: 罹り易くない物はある; int9 & fact1 -> int10: 「あのパーティルームは継承出来ないかあるいはそれは独占的企業である」ということは間違っている; [assump1] & int10 -> 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: その監修委員会は嬉しくない ; $hypothesis$ = 「もしあの外国人向けは味質だとすると「あのパーティルームは継承出来ないかまたはそれは独占的企業である」ということは嘘である」ということは成り立たない ; $proof$ = 
fact20 & fact14 -> int1: あの外国人向けは聞き取り易い; void -> assump1: 以下のように仮定する。あの外国人向けは味質である; int1 & assump1 -> int2: あの外国人向けは聞き取り易いしおまけにそれは味質である; int2 & fact16 -> int3: この十六．七世紀イエズス会日本報告集は減衰振動でない; fact21 & fact23 -> int4: この十六．七世紀イエズス会日本報告集は嬉しいけれど聞き付けない; int4 -> int5: この十六．七世紀イエズス会日本報告集は聞き付けない; int3 & int5 -> int6: この十六．七世紀イエズス会日本報告集は減衰振動でなくて聞き付けない; fact8 -> int7: もしこの十六．七世紀イエズス会日本報告集は減衰振動でなくてそれに聞き付けないとするとそれは罹り易くない; int6 & int7 -> int8: この十六．七世紀イエズス会日本報告集は罹り易くない; int8 -> int9: 罹り易くない物はある; int9 & fact1 -> int10: 「あのパーティルームは継承出来ないかあるいはそれは独占的企業である」ということは間違っている; [assump1] & int10 -> 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: その監修委員会は嬉しくない

仮説: 「もしあの外国人向けは味質だとすると「あのパーティルームは継承出来ないかまたはそれは独占的企業である」ということは嘘である」ということは成り立たない
1. 事実20と事実14から、推論1: "あの外国人向けは聞き取り易い"が導かれる
2. 仮定1: 以下のように仮定する。あの外国人向けは味質である
3. 推論1と仮定1から、推論2: "あの外国人向けは聞き取り易いしおまけにそれは味質である"が導かれる
4. 推論2と事実16から、推論3: "この十六．七世紀イエズス会日本報告集は減衰振動でない"が導かれる
5. 事実21と事実23から、推論4: "この十六．七世紀イエズス会日本報告集は嬉しいけれど聞き付けない"が導かれる
6. 推論4から、推論5: "この十六．七世紀イエズス会日本報告集は聞き付けない"が導かれる
7. 推論3と推論5から、推論6: "この十六．七世紀イエズス会日本報告集は減衰振動でなくて聞き付けない"が導かれる
8. 事実8から、推論7: "もしこの十六．七世紀イエズス会日本報告集は減衰振動でなくてそれに聞き付けないとするとそれは罹り易くない"が導かれる
9. 推論6と推論7から、推論8: "この十六．七世紀イエズス会日本報告集は罹り易くない"が導かれる
10. 推論8から、推論9: "罹り易くない物はある"が導かれる
11. 推論9と事実1から、推論10: "「あのパーティルームは継承出来ないかあるいはそれは独占的企業である」ということは間違っている"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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