「「この梯子は実験戦である」ということは本当だとすればあの寄坐は夫婦らしい」ということは誤っている
fact1: なんらかのものがひょろ長いならばそれは実験戦だ fact2: もし仮にその商業史が大人らしくないとしたらこの梯子はひょろ長い fact3: もしその商業史が大人らしいならばこの寄坐は夫婦らしい fact4: もしもなにかはひょろ長いとするとそれは実験戦でない fact5: その商業史は夫婦らしい
void -> assump1: 以下のように仮定する。その商業史は大人らしくない; fact2 & assump1 -> int1: 「この梯子はひょろ長い」ということは本当だ; fact4 -> int2: もしこの梯子がひょろ長いなら実験戦でない; int1 & int2 -> int3: この梯子は実験戦でない; void -> assump2: 以下のように仮定する。「この梯子は実験戦である」ということは成り立つ; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その商業史は大人らしい; int5 & fact3 -> int6: この寄坐は夫婦らしい; [assump2] & int6 -> hypothesis;
$facts$ = fact1: なんらかのものがひょろ長いならばそれは実験戦だ fact2: もし仮にその商業史が大人らしくないとしたらこの梯子はひょろ長い fact3: もしその商業史が大人らしいならばこの寄坐は夫婦らしい fact4: もしもなにかはひょろ長いとするとそれは実験戦でない fact5: その商業史は夫婦らしい ; $hypothesis$ = 「「この梯子は実験戦である」ということは本当だとすればあの寄坐は夫婦らしい」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。その商業史は大人らしくない; fact2 & assump1 -> int1: 「この梯子はひょろ長い」ということは本当だ; fact4 -> int2: もしこの梯子がひょろ長いなら実験戦でない; int1 & int2 -> int3: この梯子は実験戦でない; void -> assump2: 以下のように仮定する。「この梯子は実験戦である」ということは成り立つ; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その商業史は大人らしい; int5 & fact3 -> int6: この寄坐は夫婦らしい; [assump2] & int6 -> hypothesis; __DISPROVED__
事実1: なんらかのものがひょろ長いならばそれは実験戦だ
事実2: もし仮にその商業史が大人らしくないとしたらこの梯子はひょろ長い
事実3: もしその商業史が大人らしいならばこの寄坐は夫婦らしい
事実4: もしもなにかはひょろ長いとするとそれは実験戦でない
事実5: その商業史は夫婦らしい

仮説: 「「この梯子は実験戦である」ということは本当だとすればあの寄坐は夫婦らしい」ということは誤っている
1. 仮定1: 以下のように仮定する。その商業史は大人らしくない
2. 事実2と仮定1から、推論1: "「この梯子はひょろ長い」ということは本当だ"が導かれる
3. 事実4から、推論2: "もしこの梯子がひょろ長いなら実験戦でない"が導かれる
4. 推論1と推論2から、推論3: "この梯子は実験戦でない"が導かれる
5. 仮定2: 以下のように仮定する。「この梯子は実験戦である」ということは成り立つ
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "その商業史は大人らしい"が導かれる
8. 推論5と事実3から、推論6: "この寄坐は夫婦らしい"が導かれる
9. [仮定2]と推論6から、仮説が否定される

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