「そのＣＡＨはサイクルタイムでない」ということは誤っているということはない
fact1: 仮にその無毛が自分らしいかもしくはそれが手痛いならばそのＣＡＨは少ないということはない fact2: 少なくないものはサイクルタイムである fact3: 仮にそのＣＡＨは自分らしいとしたら「その無毛は塗り易くないかもしくはサイクルタイムでないかあるいはどちらもだ」ということは誤りだ fact4: もしある物が脆いということはないならば少ないしその上盲端だ fact5: 仮にその忍術は推察出来るとすれば「医療被害である一方で脆くない」ということは成り立つ fact6: その忍術はウェルカムプランでないしおまけにそれは前科者でない fact7: もしこのＳＶＯが手痛いとすればその無毛は手痛いということはない fact8: 「とあるものは自分らしくないししかも少なくない」ということは成り立たないならそれは自分らしい fact9: もしも「その無毛は塗り易くないかあるいはサイクルタイムでないかもしくは両方ともだ」ということは成り立たないならあのマシーン研究はサイクルタイムである fact10: その無毛は塗り易いしその上自分らしい fact11: もし「少ない」ものがあるとすればあのＳＶＯは手痛いか少ないかあるいは両方である fact12: 「その無毛は塗り易い」ということは真実である fact13: もしその無毛が手痛いとするとそのＣＡＨは少なくない fact14: 仮にその忍術がウェルカムプランでないしまたそれは前科者でないとしたら「推察出来る」ということは真実だ fact15: 手痛くない物は塗り易いかあるいは自分らしくないかもしくは両方である
fact10 -> int1: その無毛は自分らしい; int1 -> int2: その無毛は自分らしいか手痛いか両方である; int2 & fact1 -> int3: 「そのＣＡＨは少ないということはない」ということは成り立つ; fact2 -> int4: もし仮にそのＣＡＨは少なくないとすれば「それはサイクルタイムだ」ということは成り立つ; int3 & int4 -> hypothesis;
あのマシーン研究はサイクルタイムである
fact17 -> int5: もし「そのＣＡＨは自分らしくないし少ないということはない」ということは事実と異なればそれは自分らしい;
$facts$ = fact1: 仮にその無毛が自分らしいかもしくはそれが手痛いならばそのＣＡＨは少ないということはない fact2: 少なくないものはサイクルタイムである fact3: 仮にそのＣＡＨは自分らしいとしたら「その無毛は塗り易くないかもしくはサイクルタイムでないかあるいはどちらもだ」ということは誤りだ fact4: もしある物が脆いということはないならば少ないしその上盲端だ fact5: 仮にその忍術は推察出来るとすれば「医療被害である一方で脆くない」ということは成り立つ fact6: その忍術はウェルカムプランでないしおまけにそれは前科者でない fact7: もしこのＳＶＯが手痛いとすればその無毛は手痛いということはない fact8: 「とあるものは自分らしくないししかも少なくない」ということは成り立たないならそれは自分らしい fact9: もしも「その無毛は塗り易くないかあるいはサイクルタイムでないかもしくは両方ともだ」ということは成り立たないならあのマシーン研究はサイクルタイムである fact10: その無毛は塗り易いしその上自分らしい fact11: もし「少ない」ものがあるとすればあのＳＶＯは手痛いか少ないかあるいは両方である fact12: 「その無毛は塗り易い」ということは真実である fact13: もしその無毛が手痛いとするとそのＣＡＨは少なくない fact14: 仮にその忍術がウェルカムプランでないしまたそれは前科者でないとしたら「推察出来る」ということは真実だ fact15: 手痛くない物は塗り易いかあるいは自分らしくないかもしくは両方である ; $hypothesis$ = 「そのＣＡＨはサイクルタイムでない」ということは誤っているということはない ; $proof$ = 
fact10 -> int1: その無毛は自分らしい; int1 -> int2: その無毛は自分らしいか手痛いか両方である; int2 & fact1 -> int3: 「そのＣＡＨは少ないということはない」ということは成り立つ; fact2 -> int4: もし仮にそのＣＡＨは少なくないとすれば「それはサイクルタイムだ」ということは成り立つ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮にその無毛が自分らしいかもしくはそれが手痛いならばそのＣＡＨは少ないということはない
事実2: 少なくないものはサイクルタイムである
事実3: 仮にそのＣＡＨは自分らしいとしたら「その無毛は塗り易くないかもしくはサイクルタイムでないかあるいはどちらもだ」ということは誤りだ
事実4: もしある物が脆いということはないならば少ないしその上盲端だ
事実5: 仮にその忍術は推察出来るとすれば「医療被害である一方で脆くない」ということは成り立つ
事実6: その忍術はウェルカムプランでないしおまけにそれは前科者でない
事実7: もしこのＳＶＯが手痛いとすればその無毛は手痛いということはない
事実8: 「とあるものは自分らしくないししかも少なくない」ということは成り立たないならそれは自分らしい
事実9: もしも「その無毛は塗り易くないかあるいはサイクルタイムでないかもしくは両方ともだ」ということは成り立たないならあのマシーン研究はサイクルタイムである
事実10: その無毛は塗り易いしその上自分らしい
事実11: もし「少ない」ものがあるとすればあのＳＶＯは手痛いか少ないかあるいは両方である
事実12: 「その無毛は塗り易い」ということは真実である
事実13: もしその無毛が手痛いとするとそのＣＡＨは少なくない
事実14: 仮にその忍術がウェルカムプランでないしまたそれは前科者でないとしたら「推察出来る」ということは真実だ
事実15: 手痛くない物は塗り易いかあるいは自分らしくないかもしくは両方である

仮説: 「そのＣＡＨはサイクルタイムでない」ということは誤っているということはない
1. 事実10から、推論1: "その無毛は自分らしい"が導かれる
2. 推論1から、推論2: "その無毛は自分らしいか手痛いか両方である"が導かれる
3. 推論2と事実1から、推論3: "「そのＣＡＨは少ないということはない」ということは成り立つ"が導かれる
4. 事実2から、推論4: "もし仮にそのＣＡＨは少なくないとすれば「それはサイクルタイムだ」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が否定される

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