あの訴額算定基準は対局しない
fact1: なにがしかのものは死に方でないしそれに比例しないとすれば対局しない fact2: もしもなにがしかの物は画像ページでないけどＰＨＰコードならばそれは口走らない fact3: すべては死に方でなくてかつ比例しない fact4: もし「この高齢者医療は身体的疾患でないしそれにそれは荒らし回らない」ということは事実でないなら「その臨場感は嫌うということはない」ということは確かである fact5: 「この高齢者医療は身体的疾患であるということはなくてしかも荒らし回らない」ということは誤っている fact6: もし仮に死に方が比例するということはないとしたらそれは対局しない fact7: 仮に「なにがしかの物は如才無いししかも比例する」ということは間違っているとしたら比例するということはない fact8: もし仮になにがしかのものは潜水しなくて馴れ馴れしくないとすればそれは縦径でない
fact3 -> int1: あの訴額算定基準は死に方でないしそれにそれは比例しない; fact1 -> int2: あの訴額算定基準は死に方でないしまた比例しないとするとそれは対局しない; int1 & int2 -> hypothesis;
fact3 -> int1: (¬{A}{aa} & ¬{B}{aa}); fact1 -> int2: (¬{A}{aa} & ¬{B}{aa}) -> ¬{C}{aa}; int1 & int2 -> hypothesis;
仮にその二千人以上は潜水しなくてかつ馴れ馴れしくないとしたらそれは縦径でない
fact9 -> hypothesis;
$facts$ = fact1: なにがしかのものは死に方でないしそれに比例しないとすれば対局しない fact2: もしもなにがしかの物は画像ページでないけどＰＨＰコードならばそれは口走らない fact3: すべては死に方でなくてかつ比例しない fact4: もし「この高齢者医療は身体的疾患でないしそれにそれは荒らし回らない」ということは事実でないなら「その臨場感は嫌うということはない」ということは確かである fact5: 「この高齢者医療は身体的疾患であるということはなくてしかも荒らし回らない」ということは誤っている fact6: もし仮に死に方が比例するということはないとしたらそれは対局しない fact7: 仮に「なにがしかの物は如才無いししかも比例する」ということは間違っているとしたら比例するということはない fact8: もし仮になにがしかのものは潜水しなくて馴れ馴れしくないとすればそれは縦径でない ; $hypothesis$ = あの訴額算定基準は対局しない ; $proof$ = 
fact3 -> int1: あの訴額算定基準は死に方でないしそれにそれは比例しない; fact1 -> int2: あの訴額算定基準は死に方でないしまた比例しないとするとそれは対局しない; int1 & int2 -> hypothesis; __PROVED__
事実1: なにがしかのものは死に方でないしそれに比例しないとすれば対局しない
事実2: もしもなにがしかの物は画像ページでないけどＰＨＰコードならばそれは口走らない
事実3: すべては死に方でなくてかつ比例しない
事実4: もし「この高齢者医療は身体的疾患でないしそれにそれは荒らし回らない」ということは事実でないなら「その臨場感は嫌うということはない」ということは確かである
事実5: 「この高齢者医療は身体的疾患であるということはなくてしかも荒らし回らない」ということは誤っている
事実6: もし仮に死に方が比例するということはないとしたらそれは対局しない
事実7: 仮に「なにがしかの物は如才無いししかも比例する」ということは間違っているとしたら比例するということはない
事実8: もし仮になにがしかのものは潜水しなくて馴れ馴れしくないとすればそれは縦径でない

仮説: あの訴額算定基準は対局しない
1. 事実3から、推論1: "あの訴額算定基準は死に方でないしそれにそれは比例しない"が導かれる
2. 事実1から、推論2: "あの訴額算定基準は死に方でないしまた比例しないとするとそれは対局しない"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。