その雪渓はだらだらしない
fact1: もし仮にとある物が割れ難くないならば多し fact2: もし何らかの物は国境近くでないとしたら窺えるしかつ膂力だ fact3: もし仮にその前期末は慎ましくないし加えてだらだらしないなら「その雪渓はだらだらしない」ということは正しい fact4: もしもその前期末が慎ましいならその雪渓はだらだらする fact5: 「その雪渓はだらだらするかまたは慎ましい」ということは真実だ fact6: もし仮になにがしかの物は慎ましくないならば「それは割れ難くないしその上だらだらする」ということは事実と異なる fact7: この遠乗りは国境近くでない fact8: もしもこの遠乗りが窺えるとすればあのオイルは窺える fact9: 「その前期末は割れ難い」ということは本当ならその雪渓はだらだらする fact10: もしも「何らかのものは割れ難くない一方でだらだらする」ということは誤っているとしたらだらだらしない fact11: その雪渓は慎ましいかもしくはだらだらするか両方ともである fact12: もし「そのオイルは窺える」ということは真実だとしたらその前期末は堕するかもしくは慎ましくないかあるいは両方ともだ fact13: その前期末は割れ難いかもしくは慎ましいか両方だ fact14: その前期末は慎ましいかもしくは石裏であるかまたは両方だ fact15: もし「とあるものは割れ難いけれど慎ましくない」ということは誤りであるならばそれは割れ難くない
fact13 & fact9 & fact4 -> hypothesis;
fact13 & fact9 & fact4 -> hypothesis;
その前期末はだらだらするかもしくは多し
fact16 -> int1: もし「その前期末は割れ難くない」ということは正しいならばそれは多し; fact17 -> int2: 仮に「その前期末は割れ難いが慎ましくない」ということは間違いであるとすれば割れ難いということはない;
$facts$ = fact1: もし仮にとある物が割れ難くないならば多し fact2: もし何らかの物は国境近くでないとしたら窺えるしかつ膂力だ fact3: もし仮にその前期末は慎ましくないし加えてだらだらしないなら「その雪渓はだらだらしない」ということは正しい fact4: もしもその前期末が慎ましいならその雪渓はだらだらする fact5: 「その雪渓はだらだらするかまたは慎ましい」ということは真実だ fact6: もし仮になにがしかの物は慎ましくないならば「それは割れ難くないしその上だらだらする」ということは事実と異なる fact7: この遠乗りは国境近くでない fact8: もしもこの遠乗りが窺えるとすればあのオイルは窺える fact9: 「その前期末は割れ難い」ということは本当ならその雪渓はだらだらする fact10: もしも「何らかのものは割れ難くない一方でだらだらする」ということは誤っているとしたらだらだらしない fact11: その雪渓は慎ましいかもしくはだらだらするか両方ともである fact12: もし「そのオイルは窺える」ということは真実だとしたらその前期末は堕するかもしくは慎ましくないかあるいは両方ともだ fact13: その前期末は割れ難いかもしくは慎ましいか両方だ fact14: その前期末は慎ましいかもしくは石裏であるかまたは両方だ fact15: もし「とあるものは割れ難いけれど慎ましくない」ということは誤りであるならばそれは割れ難くない ; $hypothesis$ = その雪渓はだらだらしない ; $proof$ = 
fact13 & fact9 & fact4 -> hypothesis; __DISPROVED__
事実1: もし仮にとある物が割れ難くないならば多し
事実2: もし何らかの物は国境近くでないとしたら窺えるしかつ膂力だ
事実3: もし仮にその前期末は慎ましくないし加えてだらだらしないなら「その雪渓はだらだらしない」ということは正しい
事実4: もしもその前期末が慎ましいならその雪渓はだらだらする
事実5: 「その雪渓はだらだらするかまたは慎ましい」ということは真実だ
事実6: もし仮になにがしかの物は慎ましくないならば「それは割れ難くないしその上だらだらする」ということは事実と異なる
事実7: この遠乗りは国境近くでない
事実8: もしもこの遠乗りが窺えるとすればあのオイルは窺える
事実9: 「その前期末は割れ難い」ということは本当ならその雪渓はだらだらする
事実10: もしも「何らかのものは割れ難くない一方でだらだらする」ということは誤っているとしたらだらだらしない
事実11: その雪渓は慎ましいかもしくはだらだらするか両方ともである
事実12: もし「そのオイルは窺える」ということは真実だとしたらその前期末は堕するかもしくは慎ましくないかあるいは両方ともだ
事実13: その前期末は割れ難いかもしくは慎ましいか両方だ
事実14: その前期末は慎ましいかもしくは石裏であるかまたは両方だ
事実15: もし「とあるものは割れ難いけれど慎ましくない」ということは誤りであるならばそれは割れ難くない

仮説: その雪渓はだらだらしない
1. 事実13と事実9と事実4から、仮説が否定される

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