あの船乗りは罹り易いかまたはそれは吊り上がらない
fact1: もしも「この累積は惨めったらしい」ということは成り立つとすれば「あの重要事項は夜明かしするがしかし発現し易いということはない」ということは誤っている fact2: もし仮に「その金銭管理は決行するかまたはそれは右側部分でないかまたはどちらもだ」ということは成り立たないとすればあの船乗りは右側部分でない fact3: なんらかのものが書き込まないなら掴み直さないかあるいは前書きでないかあるいは両方である fact4: もし仮にあの重要事項が大人らしいとしたらそれは右側部分である fact5: もしその金銭管理が小指側でないかまたはコミュニケだということはないとしたらあの重要事項は大人らしい fact6: 仮にその金銭管理が小指側であるということはないとしたらあの重要事項は大人らしい fact7: もしもあの重要事項が大人らしいとしたら小指側である fact8: その金銭管理は小指側でないかもしくはコミュニケだということはないか両方ともである fact9: その金銭管理は小指側であるかあるいはコミュニケでない fact10: この累積が突き止めるとしたらそれは掴み直す fact11: もしあの一定度が小指側ならその金銭管理は掴み直す fact12: もし仮にあの一定度は掴み直さないとしたら「あの船乗りは罹り易いかもしくは吊り上がるということはない」ということは間違っている fact13: 何らかのものが掴み直さないならばそれは大人らしくない fact14: あの一定度が決行しないかあるいはそれが掴み直さないか両方であるとすればあの船乗りは吊り上がる fact15: 仮にあの重要事項がコミュニケでないかもしくは小指側でないとすれば「その金銭管理は大人らしい」ということは本当である fact16: この累積は新名所であるし加えて惨めったらしい fact17: もし仮にこの累積が決行するならあの一定度は掴み直さない fact18: もしもあの重要事項が右側部分だとしたらこの累積は決行する fact19: この累積がコミュニケだとしたらその金銭管理は決行する fact20: あの船乗りは吊り上がる fact21: もし仮にあの一定度が掴み直さないとすればあの船乗りは吊り上がる fact22: 仮になにがしかの物は右側部分でないなら罹り易いかもしくは吊り上がらない fact23: 仮に「あの重要事項は夜明かしするけれどそれは発現し易くない」ということは誤っているとしたら「その金銭管理は書き込まない」ということは事実である
fact5 & fact8 -> int1: あの重要事項は大人らしい; int1 & fact4 -> int2: あの重要事項は右側部分だ; int2 & fact18 -> int3: この累積は決行する; int3 & fact17 -> int4: あの一定度は掴み直さない; int4 & fact12 -> hypothesis;
あの船乗りは罹り易いかまたは吊り上がるということはないかまたはどちらもである
fact28 -> int5: あの船乗りは右側部分でないとすると「それは罹り易いかもしくは吊り上がらないかもしくは両方ともである」ということは確かである; fact27 -> int6: もし仮にその金銭管理が書き込まないとすればそれは掴み直すということはないかまたはそれは前書きでないか両方ともだ; fact25 -> int7: この累積は惨めったらしい; fact26 & int7 -> int8: 「あの重要事項は夜明かしするがそれは発現し易くない」ということは成り立たない; fact24 & int8 -> int9: その金銭管理は書き込まない; int6 & int9 -> int10: その金銭管理は掴み直さないかあるいは前書きでないかどちらもだ; fact30 -> int11: 仮にその金銭管理が掴み直さないなら大人らしいということはない;
$facts$ = fact1: もしも「この累積は惨めったらしい」ということは成り立つとすれば「あの重要事項は夜明かしするがしかし発現し易いということはない」ということは誤っている fact2: もし仮に「その金銭管理は決行するかまたはそれは右側部分でないかまたはどちらもだ」ということは成り立たないとすればあの船乗りは右側部分でない fact3: なんらかのものが書き込まないなら掴み直さないかあるいは前書きでないかあるいは両方である fact4: もし仮にあの重要事項が大人らしいとしたらそれは右側部分である fact5: もしその金銭管理が小指側でないかまたはコミュニケだということはないとしたらあの重要事項は大人らしい fact6: 仮にその金銭管理が小指側であるということはないとしたらあの重要事項は大人らしい fact7: もしもあの重要事項が大人らしいとしたら小指側である fact8: その金銭管理は小指側でないかもしくはコミュニケだということはないか両方ともである fact9: その金銭管理は小指側であるかあるいはコミュニケでない fact10: この累積が突き止めるとしたらそれは掴み直す fact11: もしあの一定度が小指側ならその金銭管理は掴み直す fact12: もし仮にあの一定度は掴み直さないとしたら「あの船乗りは罹り易いかもしくは吊り上がるということはない」ということは間違っている fact13: 何らかのものが掴み直さないならばそれは大人らしくない fact14: あの一定度が決行しないかあるいはそれが掴み直さないか両方であるとすればあの船乗りは吊り上がる fact15: 仮にあの重要事項がコミュニケでないかもしくは小指側でないとすれば「その金銭管理は大人らしい」ということは本当である fact16: この累積は新名所であるし加えて惨めったらしい fact17: もし仮にこの累積が決行するならあの一定度は掴み直さない fact18: もしもあの重要事項が右側部分だとしたらこの累積は決行する fact19: この累積がコミュニケだとしたらその金銭管理は決行する fact20: あの船乗りは吊り上がる fact21: もし仮にあの一定度が掴み直さないとすればあの船乗りは吊り上がる fact22: 仮になにがしかの物は右側部分でないなら罹り易いかもしくは吊り上がらない fact23: 仮に「あの重要事項は夜明かしするけれどそれは発現し易くない」ということは誤っているとしたら「その金銭管理は書き込まない」ということは事実である ; $hypothesis$ = あの船乗りは罹り易いかまたはそれは吊り上がらない ; $proof$ = 
fact5 & fact8 -> int1: あの重要事項は大人らしい; int1 & fact4 -> int2: あの重要事項は右側部分だ; int2 & fact18 -> int3: この累積は決行する; int3 & fact17 -> int4: あの一定度は掴み直さない; int4 & fact12 -> hypothesis; __DISPROVED__
事実1: もしも「この累積は惨めったらしい」ということは成り立つとすれば「あの重要事項は夜明かしするがしかし発現し易いということはない」ということは誤っている
事実2: もし仮に「その金銭管理は決行するかまたはそれは右側部分でないかまたはどちらもだ」ということは成り立たないとすればあの船乗りは右側部分でない
事実3: なんらかのものが書き込まないなら掴み直さないかあるいは前書きでないかあるいは両方である
事実4: もし仮にあの重要事項が大人らしいとしたらそれは右側部分である
事実5: もしその金銭管理が小指側でないかまたはコミュニケだということはないとしたらあの重要事項は大人らしい
事実6: 仮にその金銭管理が小指側であるということはないとしたらあの重要事項は大人らしい
事実7: もしもあの重要事項が大人らしいとしたら小指側である
事実8: その金銭管理は小指側でないかもしくはコミュニケだということはないか両方ともである
事実9: その金銭管理は小指側であるかあるいはコミュニケでない
事実10: この累積が突き止めるとしたらそれは掴み直す
事実11: もしあの一定度が小指側ならその金銭管理は掴み直す
事実12: もし仮にあの一定度は掴み直さないとしたら「あの船乗りは罹り易いかもしくは吊り上がるということはない」ということは間違っている
事実13: 何らかのものが掴み直さないならばそれは大人らしくない
事実14: あの一定度が決行しないかあるいはそれが掴み直さないか両方であるとすればあの船乗りは吊り上がる
事実15: 仮にあの重要事項がコミュニケでないかもしくは小指側でないとすれば「その金銭管理は大人らしい」ということは本当である
事実16: この累積は新名所であるし加えて惨めったらしい
事実17: もし仮にこの累積が決行するならあの一定度は掴み直さない
事実18: もしもあの重要事項が右側部分だとしたらこの累積は決行する
事実19: この累積がコミュニケだとしたらその金銭管理は決行する
事実20: あの船乗りは吊り上がる
事実21: もし仮にあの一定度が掴み直さないとすればあの船乗りは吊り上がる
事実22: 仮になにがしかの物は右側部分でないなら罹り易いかもしくは吊り上がらない
事実23: 仮に「あの重要事項は夜明かしするけれどそれは発現し易くない」ということは誤っているとしたら「その金銭管理は書き込まない」ということは事実である

仮説: あの船乗りは罹り易いかまたはそれは吊り上がらない
1. 事実5と事実8から、推論1: "あの重要事項は大人らしい"が導かれる
2. 推論1と事実4から、推論2: "あの重要事項は右側部分だ"が導かれる
3. 推論2と事実18から、推論3: "この累積は決行する"が導かれる
4. 推論3と事実17から、推論4: "あの一定度は掴み直さない"が導かれる
5. 推論4と事実12から、仮説が否定される

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