その油虫は慕わしい
fact1: 「その油虫は轆轤首でない」ということは誤りでない fact2: もし「なんらかの物は論証であるがしかし私有するということはない」ということは成り立たないなら慕わしい fact3: この下層階級は私有しない fact4: 「この医術開業試験は轆轤首でない一方で小国寡民だ」ということは本当でない fact5: 「この業務上認定は映画化するしクウェート国境だ」ということは事実と異なる fact6: もしこの医術開業試験は論証なら「それは轆轤首でないしそれは小国寡民でない」ということは嘘だ fact7: もし仮にこの医術開業試験は論証だとしたら「それは轆轤首であるし小国寡民でない」ということは間違っている fact8: もしこの医術開業試験が小国寡民でないとすればあの油虫はクウェート国境でその上それは映画化する fact9: この医術開業試験は私有しない fact10: 「この医術開業試験は轆轤首でないしそれは小国寡民でない」ということは偽だとすればその油虫は慕わしくない fact11: もしこの医術開業試験は要件適合性でないとしたら「この業務上認定は映画化するし更にそれはクウェート国境だ」ということは間違いである fact12: この業務上認定は映画化しない fact13: この業務上認定は映画化しないがそれはクウェート国境だ fact14: 仮にこの医術開業試験は要件適合性でないなら「この業務上認定は映画化しない一方でクウェート国境だ」ということは成り立たない fact15: もしもある物は論証でないし私有するということはないなら「それは要件適合性でない」ということは真実だ fact16: クウェート国境は要件適合性だ
void -> assump1: 以下のように仮定する。この医術開業試験は論証でない; assump1 & fact9 -> int1: この医術開業試験は論証でなくてしかも私有しない; fact15 -> int2: もしこの医術開業試験が論証でないしそれは私有しないならば「「要件適合性である」ということは真実だ」ということは間違いである; int1 & int2 -> int3: この医術開業試験は要件適合性でない; int3 & fact14 -> int4: 「この業務上認定は映画化しないけどクウェート国境である」ということは成り立たない; int4 & fact13 -> int5: これは矛盾である; [assump1] & int5 -> int6: この医術開業試験は論証だ; int6 & fact6 -> int7: 「この医術開業試験は轆轤首でなくてそれに小国寡民でない」ということは間違いだ; int7 & fact10 -> hypothesis;
その油虫は慕わしい
fact17 -> int8: 仮に「「その油虫が論証だけど私有しない」ということは正しいということはない」ということは事実だとしたら「慕わしい」ということは正しい; fact18 -> int9: もしも「その油虫はクウェート国境である」ということは確かであるとすればそれは要件適合性だ;
$facts$ = fact1: 「その油虫は轆轤首でない」ということは誤りでない fact2: もし「なんらかの物は論証であるがしかし私有するということはない」ということは成り立たないなら慕わしい fact3: この下層階級は私有しない fact4: 「この医術開業試験は轆轤首でない一方で小国寡民だ」ということは本当でない fact5: 「この業務上認定は映画化するしクウェート国境だ」ということは事実と異なる fact6: もしこの医術開業試験は論証なら「それは轆轤首でないしそれは小国寡民でない」ということは嘘だ fact7: もし仮にこの医術開業試験は論証だとしたら「それは轆轤首であるし小国寡民でない」ということは間違っている fact8: もしこの医術開業試験が小国寡民でないとすればあの油虫はクウェート国境でその上それは映画化する fact9: この医術開業試験は私有しない fact10: 「この医術開業試験は轆轤首でないしそれは小国寡民でない」ということは偽だとすればその油虫は慕わしくない fact11: もしこの医術開業試験は要件適合性でないとしたら「この業務上認定は映画化するし更にそれはクウェート国境だ」ということは間違いである fact12: この業務上認定は映画化しない fact13: この業務上認定は映画化しないがそれはクウェート国境だ fact14: 仮にこの医術開業試験は要件適合性でないなら「この業務上認定は映画化しない一方でクウェート国境だ」ということは成り立たない fact15: もしもある物は論証でないし私有するということはないなら「それは要件適合性でない」ということは真実だ fact16: クウェート国境は要件適合性だ ; $hypothesis$ = その油虫は慕わしい ; $proof$ = 
void -> assump1: 以下のように仮定する。この医術開業試験は論証でない; assump1 & fact9 -> int1: この医術開業試験は論証でなくてしかも私有しない; fact15 -> int2: もしこの医術開業試験が論証でないしそれは私有しないならば「「要件適合性である」ということは真実だ」ということは間違いである; int1 & int2 -> int3: この医術開業試験は要件適合性でない; int3 & fact14 -> int4: 「この業務上認定は映画化しないけどクウェート国境である」ということは成り立たない; int4 & fact13 -> int5: これは矛盾である; [assump1] & int5 -> int6: この医術開業試験は論証だ; int6 & fact6 -> int7: 「この医術開業試験は轆轤首でなくてそれに小国寡民でない」ということは間違いだ; int7 & fact10 -> hypothesis; __DISPROVED__
事実1: 「その油虫は轆轤首でない」ということは誤りでない
事実2: もし「なんらかの物は論証であるがしかし私有するということはない」ということは成り立たないなら慕わしい
事実3: この下層階級は私有しない
事実4: 「この医術開業試験は轆轤首でない一方で小国寡民だ」ということは本当でない
事実5: 「この業務上認定は映画化するしクウェート国境だ」ということは事実と異なる
事実6: もしこの医術開業試験は論証なら「それは轆轤首でないしそれは小国寡民でない」ということは嘘だ
事実7: もし仮にこの医術開業試験は論証だとしたら「それは轆轤首であるし小国寡民でない」ということは間違っている
事実8: もしこの医術開業試験が小国寡民でないとすればあの油虫はクウェート国境でその上それは映画化する
事実9: この医術開業試験は私有しない
事実10: 「この医術開業試験は轆轤首でないしそれは小国寡民でない」ということは偽だとすればその油虫は慕わしくない
事実11: もしこの医術開業試験は要件適合性でないとしたら「この業務上認定は映画化するし更にそれはクウェート国境だ」ということは間違いである
事実12: この業務上認定は映画化しない
事実13: この業務上認定は映画化しないがそれはクウェート国境だ
事実14: 仮にこの医術開業試験は要件適合性でないなら「この業務上認定は映画化しない一方でクウェート国境だ」ということは成り立たない
事実15: もしもある物は論証でないし私有するということはないなら「それは要件適合性でない」ということは真実だ
事実16: クウェート国境は要件適合性だ

仮説: その油虫は慕わしい
1. 仮定1: 以下のように仮定する。この医術開業試験は論証でない
2. 仮定1と事実9から、推論1: "この医術開業試験は論証でなくてしかも私有しない"が導かれる
3. 事実15から、推論2: "もしこの医術開業試験が論証でないしそれは私有しないならば「「要件適合性である」ということは真実だ」ということは間違いである"が導かれる
4. 推論1と推論2から、推論3: "この医術開業試験は要件適合性でない"が導かれる
5. 推論3と事実14から、推論4: "「この業務上認定は映画化しないけどクウェート国境である」ということは成り立たない"が導かれる
6. 推論4と事実13から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この医術開業試験は論証だ"が導かれる
8. 推論6と事実6から、推論7: "「この医術開業試験は轆轤首でなくてそれに小国寡民でない」ということは間違いだ"が導かれる
9. 推論7と事実10から、仮説が否定される

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