「もし仮にあの体験工房が扇動するとするとその新規アプレットは注意深いがしかしクライアントでない」ということは嘘である
fact1: その新規アプレットは御預けする fact2: クライアントは紳士らしくないならば「それは注意深くない」ということは事実だ fact3: 全国社員は親しくない fact4: 仮にあの体験工房が注意深いとしたらその逃亡は扇動するし軽ーい fact5: 「もしもあの体験工房が八重山料理であるとしたらあの体験工房は娘らしい」ということは正しい fact6: もしも「その新規アプレットはクライアントでない」ということは真実であるとしたらその逃亡はクライアントであるけど注意深くない fact7: その新規アプレットは軽ーい fact8: もしもその逃亡は注意深くないならば「その新規アプレットは注意深いしそれに軽ーい」ということは事実と異ならない fact9: もし仮にあの体験工房が扇動するしそれが軽ーいとすればその逃亡は注意深くない fact10: 仮にその逃亡が注意深くないとするとその新規アプレットは注意深い一方でそれはクライアントでない fact11: 親しくないものはクライアントである一方で紳士らしくない fact12: あの体験工房は扇動するし更にそれはクライアントだ fact13: あの体験工房は八重山料理である fact14: 娘らしいものは全国社員だ fact15: 仮に「注意深くない」物があるとしたらその逃亡は軽ーくないがそれは扇動する fact16: 仮にあの体験工房が注意深いとするとその逃亡は軽ーい fact17: あの体験工房は軽ーい
void -> assump1: 以下のように仮定する。あの体験工房は扇動する; assump1 & fact17 -> int1: あの体験工房は扇動するし軽ーい; int1 & fact9 -> int2: 「その逃亡は注意深くない」ということは正しい; int2 & fact10 -> int3: その新規アプレットは注意深いけどクライアントだということはない; [assump1] & int3 -> hypothesis;
その逃亡は扇動する
fact23 -> int4: 仮にあの体験工房がクライアントだ一方でそれが紳士らしいということはないとするとそれは注意深いということはない; fact22 -> int5: もし仮にあの体験工房が親しくないとしたらクライアントである一方で紳士らしいということはない; fact19 -> int6: 仮にあの体験工房は全国社員であるとするとそれは親しくない; fact18 -> int7: あの体験工房が娘らしいなら全国社員だ; fact20 & fact24 -> int8: あの体験工房は娘らしい; int7 & int8 -> int9: あの体験工房は全国社員だ; int6 & int9 -> int10: あの体験工房は親しくない; int5 & int10 -> int11: あの体験工房はクライアントである一方で紳士らしくない; int4 & int11 -> int12: あの体験工房は注意深いということはない; int12 -> int13: なんらかのものは注意深くない; int13 & fact21 -> int14: その逃亡は軽ーくないがしかし扇動する; int14 -> hypothesis;
$facts$ = fact1: その新規アプレットは御預けする fact2: クライアントは紳士らしくないならば「それは注意深くない」ということは事実だ fact3: 全国社員は親しくない fact4: 仮にあの体験工房が注意深いとしたらその逃亡は扇動するし軽ーい fact5: 「もしもあの体験工房が八重山料理であるとしたらあの体験工房は娘らしい」ということは正しい fact6: もしも「その新規アプレットはクライアントでない」ということは真実であるとしたらその逃亡はクライアントであるけど注意深くない fact7: その新規アプレットは軽ーい fact8: もしもその逃亡は注意深くないならば「その新規アプレットは注意深いしそれに軽ーい」ということは事実と異ならない fact9: もし仮にあの体験工房が扇動するしそれが軽ーいとすればその逃亡は注意深くない fact10: 仮にその逃亡が注意深くないとするとその新規アプレットは注意深い一方でそれはクライアントでない fact11: 親しくないものはクライアントである一方で紳士らしくない fact12: あの体験工房は扇動するし更にそれはクライアントだ fact13: あの体験工房は八重山料理である fact14: 娘らしいものは全国社員だ fact15: 仮に「注意深くない」物があるとしたらその逃亡は軽ーくないがそれは扇動する fact16: 仮にあの体験工房が注意深いとするとその逃亡は軽ーい fact17: あの体験工房は軽ーい ; $hypothesis$ = 「もし仮にあの体験工房が扇動するとするとその新規アプレットは注意深いがしかしクライアントでない」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの体験工房は扇動する; assump1 & fact17 -> int1: あの体験工房は扇動するし軽ーい; int1 & fact9 -> int2: 「その逃亡は注意深くない」ということは正しい; int2 & fact10 -> int3: その新規アプレットは注意深いけどクライアントだということはない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その新規アプレットは御預けする
事実2: クライアントは紳士らしくないならば「それは注意深くない」ということは事実だ
事実3: 全国社員は親しくない
事実4: 仮にあの体験工房が注意深いとしたらその逃亡は扇動するし軽ーい
事実5: 「もしもあの体験工房が八重山料理であるとしたらあの体験工房は娘らしい」ということは正しい
事実6: もしも「その新規アプレットはクライアントでない」ということは真実であるとしたらその逃亡はクライアントであるけど注意深くない
事実7: その新規アプレットは軽ーい
事実8: もしもその逃亡は注意深くないならば「その新規アプレットは注意深いしそれに軽ーい」ということは事実と異ならない
事実9: もし仮にあの体験工房が扇動するしそれが軽ーいとすればその逃亡は注意深くない
事実10: 仮にその逃亡が注意深くないとするとその新規アプレットは注意深い一方でそれはクライアントでない
事実11: 親しくないものはクライアントである一方で紳士らしくない
事実12: あの体験工房は扇動するし更にそれはクライアントだ
事実13: あの体験工房は八重山料理である
事実14: 娘らしいものは全国社員だ
事実15: 仮に「注意深くない」物があるとしたらその逃亡は軽ーくないがそれは扇動する
事実16: 仮にあの体験工房が注意深いとするとその逃亡は軽ーい
事実17: あの体験工房は軽ーい

仮説: 「もし仮にあの体験工房が扇動するとするとその新規アプレットは注意深いがしかしクライアントでない」ということは嘘である
1. 仮定1: 以下のように仮定する。あの体験工房は扇動する
2. 仮定1と事実17から、推論1: "あの体験工房は扇動するし軽ーい"が導かれる
3. 推論1と事実9から、推論2: "「その逃亡は注意深くない」ということは正しい"が導かれる
4. 推論2と事実10から、推論3: "その新規アプレットは注意深いけどクライアントだということはない"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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