この入会金は登記しない
fact1: この入会金はちやほやする fact2: もし「その店作りはチャック・ベリーだ」ということは誤りであるということはないとすると「その拡声器は堆くないかそれは言い易いということはないかまたは両方だ」ということは嘘である fact3: このステンレス製は旧登記所だ fact4: もし仮にこのステンレス製が旧登記所であるとすればこの資産時価は押し易いが毛布団でない fact5: もし「なんらかのものは堆くないかもしくは言い易くないかどちらもだ」ということは成り立たないとすれば「ちやほやする」ということは確かである fact6: もしもこの資産時価が押し易い一方で毛布団でないならばその拡声器は毛布団でない fact7: その店作りはチャック・ベリーであるしまた言い残す fact8: もし何らかの物がちやほやするけどそれは毛布団でないならそれは悲し fact9: もしもこの資産時価が押し易いしおまけに毛布団ならばその拡声器は毛布団でない fact10: もしその拡声器が悲しならばこの高血圧は物寂しい fact11: もし「この高血圧は物寂しい」ということは確かであるとするとこの入会金は登記する
fact7 -> int1: 「その店作りはチャック・ベリーだ」ということは確かだ; int1 & fact2 -> int2: 「その拡声器は堆くないかまたは言い易くないかあるいはどちらもである」ということは事実と異なる; fact5 -> int3: 「もし仮に「その拡声器は堆くないかまたはそれは言い易くない」ということは誤りだとするとその拡声器はちやほやする」ということは間違っていない; int2 & int3 -> int4: その拡声器はちやほやする; fact3 & fact4 -> int5: この資産時価は押し易いけれど毛布団でない; int5 & fact6 -> int6: その拡声器は毛布団でない; int4 & int6 -> int7: その拡声器はちやほやするがしかしそれは毛布団であるということはない; fact8 -> int8: もしもその拡声器がちやほやするがそれは毛布団でないとしたら悲し; int7 & int8 -> int9: 「その拡声器は悲し」ということは成り立つ; int9 & fact10 -> int10: この高血圧は物寂しい; int10 & fact11 -> hypothesis;
$facts$ = fact1: この入会金はちやほやする fact2: もし「その店作りはチャック・ベリーだ」ということは誤りであるということはないとすると「その拡声器は堆くないかそれは言い易いということはないかまたは両方だ」ということは嘘である fact3: このステンレス製は旧登記所だ fact4: もし仮にこのステンレス製が旧登記所であるとすればこの資産時価は押し易いが毛布団でない fact5: もし「なんらかのものは堆くないかもしくは言い易くないかどちらもだ」ということは成り立たないとすれば「ちやほやする」ということは確かである fact6: もしもこの資産時価が押し易い一方で毛布団でないならばその拡声器は毛布団でない fact7: その店作りはチャック・ベリーであるしまた言い残す fact8: もし何らかの物がちやほやするけどそれは毛布団でないならそれは悲し fact9: もしもこの資産時価が押し易いしおまけに毛布団ならばその拡声器は毛布団でない fact10: もしその拡声器が悲しならばこの高血圧は物寂しい fact11: もし「この高血圧は物寂しい」ということは確かであるとするとこの入会金は登記する ; $hypothesis$ = この入会金は登記しない ; $proof$ = 
fact7 -> int1: 「その店作りはチャック・ベリーだ」ということは確かだ; int1 & fact2 -> int2: 「その拡声器は堆くないかまたは言い易くないかあるいはどちらもである」ということは事実と異なる; fact5 -> int3: 「もし仮に「その拡声器は堆くないかまたはそれは言い易くない」ということは誤りだとするとその拡声器はちやほやする」ということは間違っていない; int2 & int3 -> int4: その拡声器はちやほやする; fact3 & fact4 -> int5: この資産時価は押し易いけれど毛布団でない; int5 & fact6 -> int6: その拡声器は毛布団でない; int4 & int6 -> int7: その拡声器はちやほやするがしかしそれは毛布団であるということはない; fact8 -> int8: もしもその拡声器がちやほやするがそれは毛布団でないとしたら悲し; int7 & int8 -> int9: 「その拡声器は悲し」ということは成り立つ; int9 & fact10 -> int10: この高血圧は物寂しい; int10 & fact11 -> hypothesis; __DISPROVED__
事実1: この入会金はちやほやする
事実2: もし「その店作りはチャック・ベリーだ」ということは誤りであるということはないとすると「その拡声器は堆くないかそれは言い易いということはないかまたは両方だ」ということは嘘である
事実3: このステンレス製は旧登記所だ
事実4: もし仮にこのステンレス製が旧登記所であるとすればこの資産時価は押し易いが毛布団でない
事実5: もし「なんらかのものは堆くないかもしくは言い易くないかどちらもだ」ということは成り立たないとすれば「ちやほやする」ということは確かである
事実6: もしもこの資産時価が押し易い一方で毛布団でないならばその拡声器は毛布団でない
事実7: その店作りはチャック・ベリーであるしまた言い残す
事実8: もし何らかの物がちやほやするけどそれは毛布団でないならそれは悲し
事実9: もしもこの資産時価が押し易いしおまけに毛布団ならばその拡声器は毛布団でない
事実10: もしその拡声器が悲しならばこの高血圧は物寂しい
事実11: もし「この高血圧は物寂しい」ということは確かであるとするとこの入会金は登記する

仮説: この入会金は登記しない
1. 事実7から、推論1: "「その店作りはチャック・ベリーだ」ということは確かだ"が導かれる
2. 推論1と事実2から、推論2: "「その拡声器は堆くないかまたは言い易くないかあるいはどちらもである」ということは事実と異なる"が導かれる
3. 事実5から、推論3: "「もし仮に「その拡声器は堆くないかまたはそれは言い易くない」ということは誤りだとするとその拡声器はちやほやする」ということは間違っていない"が導かれる
4. 推論2と推論3から、推論4: "その拡声器はちやほやする"が導かれる
5. 事実3と事実4から、推論5: "この資産時価は押し易いけれど毛布団でない"が導かれる
6. 推論5と事実6から、推論6: "その拡声器は毛布団でない"が導かれる
7. 推論4と推論6から、推論7: "その拡声器はちやほやするがしかしそれは毛布団であるということはない"が導かれる
8. 事実8から、推論8: "もしもその拡声器がちやほやするがそれは毛布団でないとしたら悲し"が導かれる
9. 推論7と推論8から、推論9: "「その拡声器は悲し」ということは成り立つ"が導かれる
10. 推論9と事実10から、推論10: "この高血圧は物寂しい"が導かれる
11. 推論10と事実11から、仮説が否定される

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