このカードリーダは太しない
fact1: このカードリーダはすばしっこい fact2: そのＶＳベガは進化出来る fact3: とあるものは圧力でないならば「それは太し」ということは成り立つ fact4: なにかは勤まらないならば湧き上る fact5: このカードリーダは形容し難い fact6: そのＶＳベガは進化出来るとすると「その首脳者は圧力だ一方で実体験しない」ということは間違っている fact7: このカードリーダは耳である fact8: もし仮にすばしっこい物が形容し難いならばそれは圧力でない
fact1 & fact5 -> int1: このカードリーダはすばしっこいしおまけに形容し難い; fact8 -> int2: このカードリーダはすばしっこいし形容し難いとすれば「圧力でない」ということは真実である; int1 & int2 -> int3: このカードリーダは圧力であるということはない; fact3 -> int4: もし仮にこのカードリーダは圧力でないとすると太し; int3 & int4 -> hypothesis;
このカードリーダは太しない
fact9 & fact10 -> int5: 「「その首脳者が圧力だけど実体験しない」ということは成り立たない」ということは確かだ;
$facts$ = fact1: このカードリーダはすばしっこい fact2: そのＶＳベガは進化出来る fact3: とあるものは圧力でないならば「それは太し」ということは成り立つ fact4: なにかは勤まらないならば湧き上る fact5: このカードリーダは形容し難い fact6: そのＶＳベガは進化出来るとすると「その首脳者は圧力だ一方で実体験しない」ということは間違っている fact7: このカードリーダは耳である fact8: もし仮にすばしっこい物が形容し難いならばそれは圧力でない ; $hypothesis$ = このカードリーダは太しない ; $proof$ = 
fact1 & fact5 -> int1: このカードリーダはすばしっこいしおまけに形容し難い; fact8 -> int2: このカードリーダはすばしっこいし形容し難いとすれば「圧力でない」ということは真実である; int1 & int2 -> int3: このカードリーダは圧力であるということはない; fact3 -> int4: もし仮にこのカードリーダは圧力でないとすると太し; int3 & int4 -> hypothesis; __DISPROVED__
事実1: このカードリーダはすばしっこい
事実2: そのＶＳベガは進化出来る
事実3: とあるものは圧力でないならば「それは太し」ということは成り立つ
事実4: なにかは勤まらないならば湧き上る
事実5: このカードリーダは形容し難い
事実6: そのＶＳベガは進化出来るとすると「その首脳者は圧力だ一方で実体験しない」ということは間違っている
事実7: このカードリーダは耳である
事実8: もし仮にすばしっこい物が形容し難いならばそれは圧力でない

仮説: このカードリーダは太しない
1. 事実1と事実5から、推論1: "このカードリーダはすばしっこいしおまけに形容し難い"が導かれる
2. 事実8から、推論2: "このカードリーダはすばしっこいし形容し難いとすれば「圧力でない」ということは真実である"が導かれる
3. 推論1と推論2から、推論3: "このカードリーダは圧力であるということはない"が導かれる
4. 事実3から、推論4: "もし仮にこのカードリーダは圧力でないとすると太し"が導かれる
5. 推論3と推論4から、仮説が否定される

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