その失敗事例は天書でないけれど寛大過ぎる
fact1: 「なにかは一床当たりであるがしかし御恥ずかしくない」ということは成り立たないとすると一床当たりでない fact2: このトローリングは一床当たりであるということはない fact3: 仮に何らかのものが成功し易いなら誇らしい fact4: もしも「その失敗事例はいじらしいけど寛大過ぎない」ということは間違っているならこの災害危険は述べ伝え為さる fact5: 「このトローリングは一床当たりでしかも寛大過ぎる」ということは間違いだ fact6: 「その失敗事例が天書だしその上寛大過ぎる」ということは間違っている fact7: もしこの災害危険が誇らしいならばこのトローリングは誇らしい fact8: 仮に「あの来店客数が切れ易いということはないしさらにぶっとくない」ということは嘘だとしたらこの災害危険は成功し易い fact9: このトローリングは一床当たりだということはないなら「この災害危険は述べ伝え為さるけれどそれはいじらしいということはない」ということは間違いだ fact10: もしもこのトローリングが誇らしいとしたらその失敗事例は誇らしい fact11: もしあの来店客数は天書だとすると「その失敗事例は天書であるということはないがしかし寛大過ぎる」ということは間違いだ fact12: もしもとあるものは誇らしいなら「それは一床当たりであるし御恥ずかしいということはない」ということは正しくない fact13: もし仮に「この災害危険は述べ伝え為さるけれどそれはいじらしいということはない」ということは間違っているとしたらあの来店客数は天書だ fact14: 何かは一床当たりでないならば天書でないし加えて寛大過ぎる fact15: もしもあの来店客数は天書であるなら「その失敗事例は天書で更に寛大過ぎる」ということは成り立たない
fact9 & fact2 -> int1: 「この災害危険は述べ伝え為さるけどいじらしいということはない」ということは誤りだ; int1 & fact13 -> int2: あの来店客数は天書だ; int2 & fact11 -> hypothesis;
fact9 & fact2 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 & fact13 -> int2: {B}{c}; int2 & fact11 -> hypothesis;
その失敗事例は天書であるということはないけれど寛大過ぎる
fact20 -> int3: その失敗事例が一床当たりでないとしたら天書でないしさらに寛大過ぎる; fact21 -> int4: 「その失敗事例は一床当たりだがしかしそれは御恥ずかしくない」ということは成り立たないならば一床当たりでない; fact17 -> int5: もし仮にその失敗事例は誇らしいならば「それは一床当たりであるが御恥ずかしくない」ということは成り立たない; fact22 -> int6: この災害危険が成功し易いとしたら誇らしい;
$facts$ = fact1: 「なにかは一床当たりであるがしかし御恥ずかしくない」ということは成り立たないとすると一床当たりでない fact2: このトローリングは一床当たりであるということはない fact3: 仮に何らかのものが成功し易いなら誇らしい fact4: もしも「その失敗事例はいじらしいけど寛大過ぎない」ということは間違っているならこの災害危険は述べ伝え為さる fact5: 「このトローリングは一床当たりでしかも寛大過ぎる」ということは間違いだ fact6: 「その失敗事例が天書だしその上寛大過ぎる」ということは間違っている fact7: もしこの災害危険が誇らしいならばこのトローリングは誇らしい fact8: 仮に「あの来店客数が切れ易いということはないしさらにぶっとくない」ということは嘘だとしたらこの災害危険は成功し易い fact9: このトローリングは一床当たりだということはないなら「この災害危険は述べ伝え為さるけれどそれはいじらしいということはない」ということは間違いだ fact10: もしもこのトローリングが誇らしいとしたらその失敗事例は誇らしい fact11: もしあの来店客数は天書だとすると「その失敗事例は天書であるということはないがしかし寛大過ぎる」ということは間違いだ fact12: もしもとあるものは誇らしいなら「それは一床当たりであるし御恥ずかしいということはない」ということは正しくない fact13: もし仮に「この災害危険は述べ伝え為さるけれどそれはいじらしいということはない」ということは間違っているとしたらあの来店客数は天書だ fact14: 何かは一床当たりでないならば天書でないし加えて寛大過ぎる fact15: もしもあの来店客数は天書であるなら「その失敗事例は天書で更に寛大過ぎる」ということは成り立たない ; $hypothesis$ = その失敗事例は天書でないけれど寛大過ぎる ; $proof$ = 
fact9 & fact2 -> int1: 「この災害危険は述べ伝え為さるけどいじらしいということはない」ということは誤りだ; int1 & fact13 -> int2: あの来店客数は天書だ; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: 「なにかは一床当たりであるがしかし御恥ずかしくない」ということは成り立たないとすると一床当たりでない
事実2: このトローリングは一床当たりであるということはない
事実3: 仮に何らかのものが成功し易いなら誇らしい
事実4: もしも「その失敗事例はいじらしいけど寛大過ぎない」ということは間違っているならこの災害危険は述べ伝え為さる
事実5: 「このトローリングは一床当たりでしかも寛大過ぎる」ということは間違いだ
事実6: 「その失敗事例が天書だしその上寛大過ぎる」ということは間違っている
事実7: もしこの災害危険が誇らしいならばこのトローリングは誇らしい
事実8: 仮に「あの来店客数が切れ易いということはないしさらにぶっとくない」ということは嘘だとしたらこの災害危険は成功し易い
事実9: このトローリングは一床当たりだということはないなら「この災害危険は述べ伝え為さるけれどそれはいじらしいということはない」ということは間違いだ
事実10: もしもこのトローリングが誇らしいとしたらその失敗事例は誇らしい
事実11: もしあの来店客数は天書だとすると「その失敗事例は天書であるということはないがしかし寛大過ぎる」ということは間違いだ
事実12: もしもとあるものは誇らしいなら「それは一床当たりであるし御恥ずかしいということはない」ということは正しくない
事実13: もし仮に「この災害危険は述べ伝え為さるけれどそれはいじらしいということはない」ということは間違っているとしたらあの来店客数は天書だ
事実14: 何かは一床当たりでないならば天書でないし加えて寛大過ぎる
事実15: もしもあの来店客数は天書であるなら「その失敗事例は天書で更に寛大過ぎる」ということは成り立たない

仮説: その失敗事例は天書でないけれど寛大過ぎる
1. 事実9と事実2から、推論1: "「この災害危険は述べ伝え為さるけどいじらしいということはない」ということは誤りだ"が導かれる
2. 推論1と事実13から、推論2: "あの来店客数は天書だ"が導かれる
3. 推論2と事実11から、仮説が否定される

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