「この独立心は引き出し易くない」ということは本当だ
fact1: 仮になにがしかのものはヨーロッパ最高でないとしたら「登山家らしくない」ということは本当だ fact2: 全ての物は埋葬坑である fact3: 「どれもこれもは鬱陶しくてそれはあくどくない」ということは事実だ fact4: もし「なにがしかのものは引き出し易くないけれど立て替え金である」ということは偽であるなら立て替え金でない fact5: 仮にこの節が登山家らしくないならこの双生児は登山家らしい fact6: もしもこの学業がヨーロッパ最高でないならこの節はヨーロッパ最高だということはない fact7: 仮になにがしかのものが鬱陶しいけれどそれがあくどくないとしたらそれは引き出し易い fact8: なんらかのものが立て替え金だということはないとしたらそれは鬱陶しい一方で取得し易くない fact9: この双生児は美しいとしたら「あの自動取り込みは引き出し易くないけど立て替え金である」ということは誤りである fact10: もしなにかは登山家らしいとすれば「美しい」ということは真実だ
fact7 -> int1: この独立心が鬱陶しいけどあくどくないとすれば引き出し易い; fact3 -> int2: この独立心は鬱陶しいけれどあくどくない; int1 & int2 -> hypothesis;
あの自動取り込みは鬱陶しいけれど取得し易くない
fact16 -> int3: 仮にあの自動取り込みが立て替え金でないならば鬱陶しいしそれは取得し易くない; fact17 -> int4: もし「あの自動取り込みは引き出し易くないけど立て替え金だ」ということは誤りならばそれは立て替え金でない; fact12 -> int5: もしこの双生児が登山家らしいならばそれは美しい; fact13 -> int6: この節はヨーロッパ最高でないとするとそれは登山家らしくない;
$facts$ = fact1: 仮になにがしかのものはヨーロッパ最高でないとしたら「登山家らしくない」ということは本当だ fact2: 全ての物は埋葬坑である fact3: 「どれもこれもは鬱陶しくてそれはあくどくない」ということは事実だ fact4: もし「なにがしかのものは引き出し易くないけれど立て替え金である」ということは偽であるなら立て替え金でない fact5: 仮にこの節が登山家らしくないならこの双生児は登山家らしい fact6: もしもこの学業がヨーロッパ最高でないならこの節はヨーロッパ最高だということはない fact7: 仮になにがしかのものが鬱陶しいけれどそれがあくどくないとしたらそれは引き出し易い fact8: なんらかのものが立て替え金だということはないとしたらそれは鬱陶しい一方で取得し易くない fact9: この双生児は美しいとしたら「あの自動取り込みは引き出し易くないけど立て替え金である」ということは誤りである fact10: もしなにかは登山家らしいとすれば「美しい」ということは真実だ ; $hypothesis$ = 「この独立心は引き出し易くない」ということは本当だ ; $proof$ = 
fact7 -> int1: この独立心が鬱陶しいけどあくどくないとすれば引き出し易い; fact3 -> int2: この独立心は鬱陶しいけれどあくどくない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかのものはヨーロッパ最高でないとしたら「登山家らしくない」ということは本当だ
事実2: 全ての物は埋葬坑である
事実3: 「どれもこれもは鬱陶しくてそれはあくどくない」ということは事実だ
事実4: もし「なにがしかのものは引き出し易くないけれど立て替え金である」ということは偽であるなら立て替え金でない
事実5: 仮にこの節が登山家らしくないならこの双生児は登山家らしい
事実6: もしもこの学業がヨーロッパ最高でないならこの節はヨーロッパ最高だということはない
事実7: 仮になにがしかのものが鬱陶しいけれどそれがあくどくないとしたらそれは引き出し易い
事実8: なんらかのものが立て替え金だということはないとしたらそれは鬱陶しい一方で取得し易くない
事実9: この双生児は美しいとしたら「あの自動取り込みは引き出し易くないけど立て替え金である」ということは誤りである
事実10: もしなにかは登山家らしいとすれば「美しい」ということは真実だ

仮説: 「この独立心は引き出し易くない」ということは本当だ
1. 事実7から、推論1: "この独立心が鬱陶しいけどあくどくないとすれば引き出し易い"が導かれる
2. 事実3から、推論2: "この独立心は鬱陶しいけれどあくどくない"が導かれる
3. 推論1と推論2から、仮説が否定される

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