「もしこの観光タクシーが軍団長だとしたらあの完全皮下埋め込み式カテーテルは第三号被保険者だ」ということは事実と異なる
fact1: もし「このコンピタンスは裸子植物であるが纏まり易くない」ということは成り立たないならこの観光タクシーはディーンである fact2: 「あの空間表示は交じり合う一方でそれは合格発表でない」ということは成り立たない fact3: 「あの空間表示は三パーセント成長だとしたら「あの空間表示は交じり合うがしかし合格発表でない」ということは成り立たない」ということは真実だ fact4: 「あの空間表示は交じり合うということはないがしかしそれは合格発表である」ということは誤りである fact5: 「軍団長である」物はある fact6: 仮に「あの空間表示は交じり合うということはないし合格発表でない」ということは成り立つということはないとするとその狂宴は裸子植物でない fact7: もし仮にあの空間表示は三パーセント成長であるなら「交じり合わなくて合格発表でない」ということは嘘だ fact8: あの空間表示は三パーセント成長である fact9: 「このコンピタンスは裸子植物でかつ纏まり易い」ということは偽である fact10: もし仮にその狂宴は裸子植物でないなら「このコンピタンスは裸子植物である一方で纏まり易くない」ということは嘘だ fact11: もしもこのコンピタンスが纏まり易いならばこの観光タクシーはディーンだ fact12: 仮に「あの空間表示は三パーセント成長である」ということは真実だとしたら「それは交じり合わない一方で合格発表である」ということは誤りである fact13: もし仮にその狂宴は裸子植物でないとすれば「このコンピタンスは裸子植物であるしかつそれは纏まり易い」ということは成り立たない fact14: 仮に「ディーンであるしそれに軍団長である」ものがあるならあの完全皮下埋め込み式カテーテルは第三号被保険者だ
fact7 & fact8 -> int1: 「あの空間表示は交じり合わないししかもそれは合格発表でない」ということは誤りである; int1 & fact6 -> int2: その狂宴は裸子植物だということはない; int2 & fact10 -> int3: 「このコンピタンスは裸子植物であるけれどそれは纏まり易くない」ということは成り立たない; int3 & fact1 -> int4: この観光タクシーはディーンだ; void -> assump1: 以下のように仮定する。この観光タクシーは軍団長だ; int4 & assump1 -> int5: この観光タクシーはディーンでそれは軍団長である; int5 -> int6: なにがしかの物はディーンであるしおまけに軍団長である; int6 & fact14 -> int7: あの完全皮下埋め込み式カテーテルは第三号被保険者である; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もし「このコンピタンスは裸子植物であるが纏まり易くない」ということは成り立たないならこの観光タクシーはディーンである fact2: 「あの空間表示は交じり合う一方でそれは合格発表でない」ということは成り立たない fact3: 「あの空間表示は三パーセント成長だとしたら「あの空間表示は交じり合うがしかし合格発表でない」ということは成り立たない」ということは真実だ fact4: 「あの空間表示は交じり合うということはないがしかしそれは合格発表である」ということは誤りである fact5: 「軍団長である」物はある fact6: 仮に「あの空間表示は交じり合うということはないし合格発表でない」ということは成り立つということはないとするとその狂宴は裸子植物でない fact7: もし仮にあの空間表示は三パーセント成長であるなら「交じり合わなくて合格発表でない」ということは嘘だ fact8: あの空間表示は三パーセント成長である fact9: 「このコンピタンスは裸子植物でかつ纏まり易い」ということは偽である fact10: もし仮にその狂宴は裸子植物でないなら「このコンピタンスは裸子植物である一方で纏まり易くない」ということは嘘だ fact11: もしもこのコンピタンスが纏まり易いならばこの観光タクシーはディーンだ fact12: 仮に「あの空間表示は三パーセント成長である」ということは真実だとしたら「それは交じり合わない一方で合格発表である」ということは誤りである fact13: もし仮にその狂宴は裸子植物でないとすれば「このコンピタンスは裸子植物であるしかつそれは纏まり易い」ということは成り立たない fact14: 仮に「ディーンであるしそれに軍団長である」ものがあるならあの完全皮下埋め込み式カテーテルは第三号被保険者だ ; $hypothesis$ = 「もしこの観光タクシーが軍団長だとしたらあの完全皮下埋め込み式カテーテルは第三号被保険者だ」ということは事実と異なる ; $proof$ = 
fact7 & fact8 -> int1: 「あの空間表示は交じり合わないししかもそれは合格発表でない」ということは誤りである; int1 & fact6 -> int2: その狂宴は裸子植物だということはない; int2 & fact10 -> int3: 「このコンピタンスは裸子植物であるけれどそれは纏まり易くない」ということは成り立たない; int3 & fact1 -> int4: この観光タクシーはディーンだ; void -> assump1: 以下のように仮定する。この観光タクシーは軍団長だ; int4 & assump1 -> int5: この観光タクシーはディーンでそれは軍団長である; int5 -> int6: なにがしかの物はディーンであるしおまけに軍団長である; int6 & fact14 -> int7: あの完全皮下埋め込み式カテーテルは第三号被保険者である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もし「このコンピタンスは裸子植物であるが纏まり易くない」ということは成り立たないならこの観光タクシーはディーンである
事実2: 「あの空間表示は交じり合う一方でそれは合格発表でない」ということは成り立たない
事実3: 「あの空間表示は三パーセント成長だとしたら「あの空間表示は交じり合うがしかし合格発表でない」ということは成り立たない」ということは真実だ
事実4: 「あの空間表示は交じり合うということはないがしかしそれは合格発表である」ということは誤りである
事実5: 「軍団長である」物はある
事実6: 仮に「あの空間表示は交じり合うということはないし合格発表でない」ということは成り立つということはないとするとその狂宴は裸子植物でない
事実7: もし仮にあの空間表示は三パーセント成長であるなら「交じり合わなくて合格発表でない」ということは嘘だ
事実8: あの空間表示は三パーセント成長である
事実9: 「このコンピタンスは裸子植物でかつ纏まり易い」ということは偽である
事実10: もし仮にその狂宴は裸子植物でないなら「このコンピタンスは裸子植物である一方で纏まり易くない」ということは嘘だ
事実11: もしもこのコンピタンスが纏まり易いならばこの観光タクシーはディーンだ
事実12: 仮に「あの空間表示は三パーセント成長である」ということは真実だとしたら「それは交じり合わない一方で合格発表である」ということは誤りである
事実13: もし仮にその狂宴は裸子植物でないとすれば「このコンピタンスは裸子植物であるしかつそれは纏まり易い」ということは成り立たない
事実14: 仮に「ディーンであるしそれに軍団長である」ものがあるならあの完全皮下埋め込み式カテーテルは第三号被保険者だ

仮説: 「もしこの観光タクシーが軍団長だとしたらあの完全皮下埋め込み式カテーテルは第三号被保険者だ」ということは事実と異なる
1. 事実7と事実8から、推論1: "「あの空間表示は交じり合わないししかもそれは合格発表でない」ということは誤りである"が導かれる
2. 推論1と事実6から、推論2: "その狂宴は裸子植物だということはない"が導かれる
3. 推論2と事実10から、推論3: "「このコンピタンスは裸子植物であるけれどそれは纏まり易くない」ということは成り立たない"が導かれる
4. 推論3と事実1から、推論4: "この観光タクシーはディーンだ"が導かれる
5. 仮定1: 以下のように仮定する。この観光タクシーは軍団長だ
6. 推論4と仮定1から、推論5: "この観光タクシーはディーンでそれは軍団長である"が導かれる
7. 推論5から、推論6: "なにがしかの物はディーンであるしおまけに軍団長である"が導かれる
8. 推論6と事実14から、推論7: "あの完全皮下埋め込み式カテーテルは第三号被保険者である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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