この一分派は投げ合わない
fact1: 「この一分派は御恥ずかしくない」ということは成り立つとすれば投げ合う fact2: それは御恥ずかしいし御悪くないというものはない fact3: もし「とあるものは羽太であるけれど都市自治だということはない」ということは偽であるとすれば甘ったるい fact4: 仮に「あるものは御恥ずかしい一方で御悪くない」ということは誤っているとするとそれは投げ合う fact5: もしもなんらかのものが御恥ずかしくないとすると投げ合う fact6: もし仮に「なにがしかのものははしたないけれどバックスペースでない」ということは間違っているとするとそれは二Ａである fact7: それは地中深いけど接種しないという物はない
fact4 -> int1: 仮に「この一分派は御恥ずかしい一方でそれは御悪くない」ということは偽であるとすれば投げ合う; fact2 -> int2: 「この一分派は御恥ずかしいけど御悪くない」ということは事実と異なる; int1 & int2 -> hypothesis;
fact4 -> int1: ¬({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact2 -> int2: ¬({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
$facts$ = fact1: 「この一分派は御恥ずかしくない」ということは成り立つとすれば投げ合う fact2: それは御恥ずかしいし御悪くないというものはない fact3: もし「とあるものは羽太であるけれど都市自治だということはない」ということは偽であるとすれば甘ったるい fact4: 仮に「あるものは御恥ずかしい一方で御悪くない」ということは誤っているとするとそれは投げ合う fact5: もしもなんらかのものが御恥ずかしくないとすると投げ合う fact6: もし仮に「なにがしかのものははしたないけれどバックスペースでない」ということは間違っているとするとそれは二Ａである fact7: それは地中深いけど接種しないという物はない ; $hypothesis$ = この一分派は投げ合わない ; $proof$ = 
fact4 -> int1: 仮に「この一分派は御恥ずかしい一方でそれは御悪くない」ということは偽であるとすれば投げ合う; fact2 -> int2: 「この一分派は御恥ずかしいけど御悪くない」ということは事実と異なる; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「この一分派は御恥ずかしくない」ということは成り立つとすれば投げ合う
事実2: それは御恥ずかしいし御悪くないというものはない
事実3: もし「とあるものは羽太であるけれど都市自治だということはない」ということは偽であるとすれば甘ったるい
事実4: 仮に「あるものは御恥ずかしい一方で御悪くない」ということは誤っているとするとそれは投げ合う
事実5: もしもなんらかのものが御恥ずかしくないとすると投げ合う
事実6: もし仮に「なにがしかのものははしたないけれどバックスペースでない」ということは間違っているとするとそれは二Ａである
事実7: それは地中深いけど接種しないという物はない

仮説: この一分派は投げ合わない
1. 事実4から、推論1: "仮に「この一分派は御恥ずかしい一方でそれは御悪くない」ということは偽であるとすれば投げ合う"が導かれる
2. 事実2から、推論2: "「この一分派は御恥ずかしいけど御悪くない」ということは事実と異なる"が導かれる
3. 推論1と推論2から、仮説が否定される

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