「「もしも模様化するとすれば気胸であるか総労働時間数でないかもしくは両方な」ものはある」ということは偽である
fact1: 仮になにかは重層化するとすると四肢末端であるか理解し難い fact2: 仮にあるものが引き入れるとしたら境界型であるかもしくはそれはさ小屋するか両方だ fact3: 「資格試験だとすると見過ごせるかまたは悶えるかもしくはどちらもな」ものはある fact4: 知り合いらしい物は宋襄であるかもしくは構え易くないかもしくは両方ともである fact5: 義理は能率アップであるかがらんとしない fact6: その外的環境が総労働時間数だとするとサービス品質であるか小汚いかあるいはどちらもだ fact7: 「仮に伝え難いとすれば引き入れるかまたは細いかもしくは両方ともである」ものはある fact8: 仮にその外的環境が届き易いとすると模様化するかそれは股上である fact9: 「もしなんらかのものが能率アップであるとすればそれは保冷するかもしくはそれは山深いかあるいは両方ともである」ということは確かである fact10: あるものが模様化するなら気胸であるかもしくは総労働時間数でないかあるいは両方である
fact10 -> int1: 仮にその外的環境が模様化するとすると気胸であるかあるいはそれは総労働時間数でない; int1 -> hypothesis;
$facts$ = fact1: 仮になにかは重層化するとすると四肢末端であるか理解し難い fact2: 仮にあるものが引き入れるとしたら境界型であるかもしくはそれはさ小屋するか両方だ fact3: 「資格試験だとすると見過ごせるかまたは悶えるかもしくはどちらもな」ものはある fact4: 知り合いらしい物は宋襄であるかもしくは構え易くないかもしくは両方ともである fact5: 義理は能率アップであるかがらんとしない fact6: その外的環境が総労働時間数だとするとサービス品質であるか小汚いかあるいはどちらもだ fact7: 「仮に伝え難いとすれば引き入れるかまたは細いかもしくは両方ともである」ものはある fact8: 仮にその外的環境が届き易いとすると模様化するかそれは股上である fact9: 「もしなんらかのものが能率アップであるとすればそれは保冷するかもしくはそれは山深いかあるいは両方ともである」ということは確かである fact10: あるものが模様化するなら気胸であるかもしくは総労働時間数でないかあるいは両方である ; $hypothesis$ = 「「もしも模様化するとすれば気胸であるか総労働時間数でないかもしくは両方な」ものはある」ということは偽である ; $proof$ = 
fact10 -> int1: 仮にその外的環境が模様化するとすると気胸であるかあるいはそれは総労働時間数でない; int1 -> hypothesis; __DISPROVED__
事実1: 仮になにかは重層化するとすると四肢末端であるか理解し難い
事実2: 仮にあるものが引き入れるとしたら境界型であるかもしくはそれはさ小屋するか両方だ
事実3: 「資格試験だとすると見過ごせるかまたは悶えるかもしくはどちらもな」ものはある
事実4: 知り合いらしい物は宋襄であるかもしくは構え易くないかもしくは両方ともである
事実5: 義理は能率アップであるかがらんとしない
事実6: その外的環境が総労働時間数だとするとサービス品質であるか小汚いかあるいはどちらもだ
事実7: 「仮に伝え難いとすれば引き入れるかまたは細いかもしくは両方ともである」ものはある
事実8: 仮にその外的環境が届き易いとすると模様化するかそれは股上である
事実9: 「もしなんらかのものが能率アップであるとすればそれは保冷するかもしくはそれは山深いかあるいは両方ともである」ということは確かである
事実10: あるものが模様化するなら気胸であるかもしくは総労働時間数でないかあるいは両方である

仮説: 「「もしも模様化するとすれば気胸であるか総労働時間数でないかもしくは両方な」ものはある」ということは偽である
1. 事実10から、推論1: "仮にその外的環境が模様化するとすると気胸であるかあるいはそれは総労働時間数でない"が導かれる
2. 推論1から、仮説が否定される

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