このスポンジケーキは観劇しない
fact1: もし仮にあの地元経済が観察眼ならばあのスポンジケーキは観劇する fact2: 「その残便感は観察眼だということはない」ということは誤っている fact3: もし仮にとあるものが陰核だとしたら観察眼である fact4: 「もしも「何らかの物はガウンでないかもしくは考え深いということはないかどちらもだ」ということは間違っているとするとそれは穿刺する」ということは本当だ fact5: もし仮にこの他社製品は浮つかないなら「ガウンでないかあるいは考え深くないかまたは両方だ」ということは成り立たない fact6: もし「ある物は浮つくがしかしそれは穿刺しない」ということは本当ならば観劇しない fact7: この他社製品は浮つかない fact8: もしこの他社製品が穿刺するとすればそれは大人らしい fact9: この他社製品は考え深い fact10: 「この有配偶者は締めっぽい」ということは正しいとすればあの根本精神はＴＭＳである fact11: 仮にその根本精神がＴＭＳであるとしたらあの地元経済は陰核である fact12: もしこの他社製品が大人らしいとすればこの有配偶者は締めっぽい fact13: 「あの地元経済はＴＭＳでないかもしくはそれは観察眼でないかあるいはどちらもだ」ということは嘘であるとすればそれは穿刺する fact14: 「「この他社製品はガウンでないか考え深いかどちらもだ」ということは成り立たない」ということは事実であるとすると穿刺する
fact5 & fact7 -> int1: 「この他社製品はガウンでないかもしくはそれは考え深くない」ということは事実と異なる; fact4 -> int2: もしも「この他社製品はガウンであるということはないか考え深いということはないかまたは両方ともだ」ということは正しくないならば「穿刺する」ということは確かだ; int1 & int2 -> int3: この他社製品は穿刺する; int3 & fact8 -> int4: 「この他社製品は大人らしい」ということは成り立つ; int4 & fact12 -> int5: この有配偶者は締めっぽい; int5 & fact10 -> int6: その根本精神はＴＭＳである; int6 & fact11 -> int7: あの地元経済は陰核だ; fact3 -> int8: もしもあの地元経済は陰核であるとしたら観察眼だ; int7 & int8 -> int9: あの地元経済は観察眼だ; int9 & fact1 -> hypothesis;
このスポンジケーキは観劇するということはない
fact15 -> int10: このスポンジケーキは浮つく一方で穿刺しないとすればそれは観劇しない;
$facts$ = fact1: もし仮にあの地元経済が観察眼ならばあのスポンジケーキは観劇する fact2: 「その残便感は観察眼だということはない」ということは誤っている fact3: もし仮にとあるものが陰核だとしたら観察眼である fact4: 「もしも「何らかの物はガウンでないかもしくは考え深いということはないかどちらもだ」ということは間違っているとするとそれは穿刺する」ということは本当だ fact5: もし仮にこの他社製品は浮つかないなら「ガウンでないかあるいは考え深くないかまたは両方だ」ということは成り立たない fact6: もし「ある物は浮つくがしかしそれは穿刺しない」ということは本当ならば観劇しない fact7: この他社製品は浮つかない fact8: もしこの他社製品が穿刺するとすればそれは大人らしい fact9: この他社製品は考え深い fact10: 「この有配偶者は締めっぽい」ということは正しいとすればあの根本精神はＴＭＳである fact11: 仮にその根本精神がＴＭＳであるとしたらあの地元経済は陰核である fact12: もしこの他社製品が大人らしいとすればこの有配偶者は締めっぽい fact13: 「あの地元経済はＴＭＳでないかもしくはそれは観察眼でないかあるいはどちらもだ」ということは嘘であるとすればそれは穿刺する fact14: 「「この他社製品はガウンでないか考え深いかどちらもだ」ということは成り立たない」ということは事実であるとすると穿刺する ; $hypothesis$ = このスポンジケーキは観劇しない ; $proof$ = 
fact5 & fact7 -> int1: 「この他社製品はガウンでないかもしくはそれは考え深くない」ということは事実と異なる; fact4 -> int2: もしも「この他社製品はガウンであるということはないか考え深いということはないかまたは両方ともだ」ということは正しくないならば「穿刺する」ということは確かだ; int1 & int2 -> int3: この他社製品は穿刺する; int3 & fact8 -> int4: 「この他社製品は大人らしい」ということは成り立つ; int4 & fact12 -> int5: この有配偶者は締めっぽい; int5 & fact10 -> int6: その根本精神はＴＭＳである; int6 & fact11 -> int7: あの地元経済は陰核だ; fact3 -> int8: もしもあの地元経済は陰核であるとしたら観察眼だ; int7 & int8 -> int9: あの地元経済は観察眼だ; int9 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮にあの地元経済が観察眼ならばあのスポンジケーキは観劇する
事実2: 「その残便感は観察眼だということはない」ということは誤っている
事実3: もし仮にとあるものが陰核だとしたら観察眼である
事実4: 「もしも「何らかの物はガウンでないかもしくは考え深いということはないかどちらもだ」ということは間違っているとするとそれは穿刺する」ということは本当だ
事実5: もし仮にこの他社製品は浮つかないなら「ガウンでないかあるいは考え深くないかまたは両方だ」ということは成り立たない
事実6: もし「ある物は浮つくがしかしそれは穿刺しない」ということは本当ならば観劇しない
事実7: この他社製品は浮つかない
事実8: もしこの他社製品が穿刺するとすればそれは大人らしい
事実9: この他社製品は考え深い
事実10: 「この有配偶者は締めっぽい」ということは正しいとすればあの根本精神はＴＭＳである
事実11: 仮にその根本精神がＴＭＳであるとしたらあの地元経済は陰核である
事実12: もしこの他社製品が大人らしいとすればこの有配偶者は締めっぽい
事実13: 「あの地元経済はＴＭＳでないかもしくはそれは観察眼でないかあるいはどちらもだ」ということは嘘であるとすればそれは穿刺する
事実14: 「「この他社製品はガウンでないか考え深いかどちらもだ」ということは成り立たない」ということは事実であるとすると穿刺する

仮説: このスポンジケーキは観劇しない
1. 事実5と事実7から、推論1: "「この他社製品はガウンでないかもしくはそれは考え深くない」ということは事実と異なる"が導かれる
2. 事実4から、推論2: "もしも「この他社製品はガウンであるということはないか考え深いということはないかまたは両方ともだ」ということは正しくないならば「穿刺する」ということは確かだ"が導かれる
3. 推論1と推論2から、推論3: "この他社製品は穿刺する"が導かれる
4. 推論3と事実8から、推論4: "「この他社製品は大人らしい」ということは成り立つ"が導かれる
5. 推論4と事実12から、推論5: "この有配偶者は締めっぽい"が導かれる
6. 推論5と事実10から、推論6: "その根本精神はＴＭＳである"が導かれる
7. 推論6と事実11から、推論7: "あの地元経済は陰核だ"が導かれる
8. 事実3から、推論8: "もしもあの地元経済は陰核であるとしたら観察眼だ"が導かれる
9. 推論7と推論8から、推論9: "あの地元経済は観察眼だ"が導かれる
10. 推論9と事実1から、仮説が否定される

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