「とあるものは結氷するということはない一方で発揮し難い」ということは誤りだ
fact1: もし仮にその大名統制策は姉らしくないとしたら「あの川越し人足は高巻くけれどそれは姉らしくない」ということは間違いである fact2: あの川越し人足は発揮し難い fact3: もしも「その元本は高巻かなくてまたそれは姉らしいということはない」ということは成り立たないとしたら乾き易いということはない fact4: 仮にその元本が軽ーいとするとあの四割以上は埋まる fact5: もし仮に「放送しない」ものがあるならその元本は乾き易い fact6: ある物は姉らしくないがしかし埋まる fact7: もし仮に「なにかは高巻かなくてその上姉らしくない」ということは成り立たないならば結氷しない fact8: 「「放送する」ということは事実である」ものはある fact9: 姉らしい物は軽ーいということはないけれど埋まる fact10: 「「発揮し難い」物はある」ということは真実である fact11: もし仮にその大名統制策は姉らしくないとすると「あの川越し人足は高巻かないし姉らしくない」ということは事実と異なる fact12: もしも「その元本は高巻かなくておまけに結氷しない」ということは正しくないならばそれは乾き易くない fact13: 仮にあるものが放送しないならばその元本は乾き易いししかも軽ーい fact14: とある物は結氷するしさらにそれは発揮し難い fact15: もしもとあるものが高巻くとすれば結氷しない fact16: 「結氷しない」物はある fact17: もし仮にあの四割以上が埋まるとすればその大名統制策は姉らしくない fact18: その元本は乾き易い fact19: もしもあの川越し人足が高巻けば結氷しない fact20: もし仮にその元本が軽ーいということはないとしたらその参院選は放送するししかも乾き易い fact21: 「あの川越し人足は高巻く一方で姉らしくない」ということは間違いである fact22: もしその元本が高巻くならあの川越し人足は発揮し難くない fact23: 「放送しない」物はある
fact23 & fact13 -> int1: 「その元本は乾き易くてさらに軽ーい」ということは成り立つ; int1 -> int2: その元本は軽ーい; int2 & fact4 -> int3: あの四割以上は埋まる; int3 & fact17 -> int4: その大名統制策は姉らしいということはない; int4 & fact11 -> int5: 「あの川越し人足は高巻かないし姉らしいということはない」ということは成り立たない; fact7 -> int6: 「あの川越し人足は高巻くということはないしおまけに姉らしくない」ということは成り立たないとすればそれは結氷しない; int5 & int6 -> int7: 「あの川越し人足は結氷しない」ということは本当だ; int7 & fact2 -> int8: あの川越し人足は結氷するということはない一方で発揮し難い; int8 -> hypothesis;
その参院選は放送する
fact25 -> int9: もし仮にその元本が姉らしいとしたらそれは軽ーくないがしかし埋まる;
$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$ = 
fact23 & fact13 -> int1: 「その元本は乾き易くてさらに軽ーい」ということは成り立つ; int1 -> int2: その元本は軽ーい; int2 & fact4 -> int3: あの四割以上は埋まる; int3 & fact17 -> int4: その大名統制策は姉らしいということはない; int4 & fact11 -> int5: 「あの川越し人足は高巻かないし姉らしいということはない」ということは成り立たない; fact7 -> int6: 「あの川越し人足は高巻くということはないしおまけに姉らしくない」ということは成り立たないとすればそれは結氷しない; int5 & int6 -> int7: 「あの川越し人足は結氷しない」ということは本当だ; int7 & fact2 -> int8: あの川越し人足は結氷するということはない一方で発揮し難い; int8 -> 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. 事実23と事実13から、推論1: "「その元本は乾き易くてさらに軽ーい」ということは成り立つ"が導かれる
2. 推論1から、推論2: "その元本は軽ーい"が導かれる
3. 推論2と事実4から、推論3: "あの四割以上は埋まる"が導かれる
4. 推論3と事実17から、推論4: "その大名統制策は姉らしいということはない"が導かれる
5. 推論4と事実11から、推論5: "「あの川越し人足は高巻かないし姉らしいということはない」ということは成り立たない"が導かれる
6. 事実7から、推論6: "「あの川越し人足は高巻くということはないしおまけに姉らしくない」ということは成り立たないとすればそれは結氷しない"が導かれる
7. 推論5と推論6から、推論7: "「あの川越し人足は結氷しない」ということは本当だ"が導かれる
8. 推論7と事実2から、推論8: "あの川越し人足は結氷するということはない一方で発揮し難い"が導かれる
9. 推論8から、仮説が否定される

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