この十五文は甘い
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: 仮に「その腱膜性眼瞼下垂は特定財源的性格でなくてそれにドリッパーでない」ということは嘘ならこの十五文はドリッパーだ
void -> assump1: 以下のように仮定する。この十五文は税抜きである; fact10 & assump1 -> int1: この十五文は疑い深いということはないしその上ステージだということはない; fact22 -> int2: もし仮にこの十五文が疑い深いということはないししかもステージだということはないなら「それはぱちだということはない」ということは成り立つ; int1 & int2 -> int3: この十五文はぱちでない; fact17 -> int4: この十五文は相談し易いかまたはコンドルだ; fact8 -> int5: 「もしもこの十五文は相談し易いとすれば「この十五文はぱちである」ということは事実である」ということは間違っていない; int4 & int5 & fact19 -> int6: この十五文はぱちだ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この十五文は税抜きでない; fact4 & fact23 -> int9: この十五文はマルチ・コンソールでない; int8 & int9 -> int10: この十五文は税抜きでないしマルチ・コンソールでない; int10 & fact7 -> hypothesis;
この責任論はマルチ・コンソールでない
fact35 -> int11: もしこの十五文は甘いかあるいは面会するということはないかあるいは両方だとするとそれは甘い; fact28 -> int12: もしもこの十五文がコンドルであるなら甘いかあるいは面会しないかまたは両方だ; fact29 -> int13: この十五文はドリッパーであるとしたら「それは潜入しなくてその上相談し易いない」ということは誤りだ; fact33 & fact34 -> int14: 「その腱膜性眼瞼下垂は縁遠くないけど指示命令だ」ということは成り立たない; fact30 & int14 -> int15: その腱膜性眼瞼下垂は指定医でない; fact31 & int15 -> int16: 「その腱膜性眼瞼下垂は特定財源的性格でないしそれにドリッパーでない」ということは事実でない; fact32 & int16 -> int17: この十五文はドリッパーである; int13 & int17 -> int18: 「この十五文は潜入しなくて相談し易くない」ということは確かでない;
$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$ = 
void -> assump1: 以下のように仮定する。この十五文は税抜きである; fact10 & assump1 -> int1: この十五文は疑い深いということはないしその上ステージだということはない; fact22 -> int2: もし仮にこの十五文が疑い深いということはないししかもステージだということはないなら「それはぱちだということはない」ということは成り立つ; int1 & int2 -> int3: この十五文はぱちでない; fact17 -> int4: この十五文は相談し易いかまたはコンドルだ; fact8 -> int5: 「もしもこの十五文は相談し易いとすれば「この十五文はぱちである」ということは事実である」ということは間違っていない; int4 & int5 & fact19 -> int6: この十五文はぱちだ; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この十五文は税抜きでない; fact4 & fact23 -> int9: この十五文はマルチ・コンソールでない; int8 & int9 -> int10: この十五文は税抜きでないしマルチ・コンソールでない; int10 & fact7 -> 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. 仮定1: 以下のように仮定する。この十五文は税抜きである
2. 事実10と仮定1から、推論1: "この十五文は疑い深いということはないしその上ステージだということはない"が導かれる
3. 事実22から、推論2: "もし仮にこの十五文が疑い深いということはないししかもステージだということはないなら「それはぱちだということはない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "この十五文はぱちでない"が導かれる
5. 事実17から、推論4: "この十五文は相談し易いかまたはコンドルだ"が導かれる
6. 事実8から、推論5: "「もしもこの十五文は相談し易いとすれば「この十五文はぱちである」ということは事実である」ということは間違っていない"が導かれる
7. 推論4と推論5と事実19から、推論6: "この十五文はぱちだ"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この十五文は税抜きでない"が導かれる
10. 事実4と事実23から、推論9: "この十五文はマルチ・コンソールでない"が導かれる
11. 推論8と推論9から、推論10: "この十五文は税抜きでないしマルチ・コンソールでない"が導かれる
12. 推論10と事実7から、仮説が否定される

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