「「「過小評価であるし執筆する」ということは成り立たない」物はある」ということは成り立たない
fact1: このスルファニルアミドが社会制度でないしそれは家内安全でないとしたらそれは軽ーいということはない fact2: 「このスルファニルアミドは文化活動でない」ということは成り立つ fact3: 遠くない物が御報告致すなら疲労し易くない fact4: 「このスルファニルアミドはＥＲＡで疲労し易い」ということは間違いである fact5: このスルファニルアミドは社会制度でない fact6: 仮にこのスルファニルアミドが遠いけど御報告致さないならば疲労し易くない fact7: もしこのスルファニルアミドが社会制度でないなら遠くないし加えて御報告致さない fact8: もしもこのスルファニルアミドは読み語るがしかし遠くないとすると落籍さない fact9: なにかは疲労し易くないとすると「それは過小評価でそれに執筆する」ということは誤りである fact10: このスルファニルアミドは反映され易くない fact11: 仮にこのスルファニルアミドは遠くない一方で御報告致すとすると疲労し易いということはない fact12: 仮になにかは社会制度でないしそれは疲労し易くないとするとそれは遠くない fact13: 仮に遠い物が御報告致さないとすれば疲労し易くない fact14: このスルファニルアミドが沖縄作戦でなくて第三種監視化学物質でないとすれば社会制度でない fact15: もしも遠くないものが御報告致さないとしたら疲労し易いということはない
fact15 -> int1: 仮に「このスルファニルアミドは遠くないししかも御報告致さない」ということは確かならば疲労し易くない; fact7 & fact5 -> int2: このスルファニルアミドは遠いということはないしまた御報告致さない; int1 & int2 -> int3: このスルファニルアミドは疲労し易くない; fact9 -> int4: もし「このスルファニルアミドは疲労し易くない」ということは成り立つとすると「過小評価であるしその上執筆する」ということは嘘である; int3 & int4 -> int5: 「このスルファニルアミドは過小評価だし執筆する」ということは間違いだ; int5 -> hypothesis;
$facts$ = fact1: このスルファニルアミドが社会制度でないしそれは家内安全でないとしたらそれは軽ーいということはない fact2: 「このスルファニルアミドは文化活動でない」ということは成り立つ fact3: 遠くない物が御報告致すなら疲労し易くない fact4: 「このスルファニルアミドはＥＲＡで疲労し易い」ということは間違いである fact5: このスルファニルアミドは社会制度でない fact6: 仮にこのスルファニルアミドが遠いけど御報告致さないならば疲労し易くない fact7: もしこのスルファニルアミドが社会制度でないなら遠くないし加えて御報告致さない fact8: もしもこのスルファニルアミドは読み語るがしかし遠くないとすると落籍さない fact9: なにかは疲労し易くないとすると「それは過小評価でそれに執筆する」ということは誤りである fact10: このスルファニルアミドは反映され易くない fact11: 仮にこのスルファニルアミドは遠くない一方で御報告致すとすると疲労し易いということはない fact12: 仮になにかは社会制度でないしそれは疲労し易くないとするとそれは遠くない fact13: 仮に遠い物が御報告致さないとすれば疲労し易くない fact14: このスルファニルアミドが沖縄作戦でなくて第三種監視化学物質でないとすれば社会制度でない fact15: もしも遠くないものが御報告致さないとしたら疲労し易いということはない ; $hypothesis$ = 「「「過小評価であるし執筆する」ということは成り立たない」物はある」ということは成り立たない ; $proof$ = 
fact15 -> int1: 仮に「このスルファニルアミドは遠くないししかも御報告致さない」ということは確かならば疲労し易くない; fact7 & fact5 -> int2: このスルファニルアミドは遠いということはないしまた御報告致さない; int1 & int2 -> int3: このスルファニルアミドは疲労し易くない; fact9 -> int4: もし「このスルファニルアミドは疲労し易くない」ということは成り立つとすると「過小評価であるしその上執筆する」ということは嘘である; int3 & int4 -> int5: 「このスルファニルアミドは過小評価だし執筆する」ということは間違いだ; int5 -> hypothesis; __DISPROVED__
事実1: このスルファニルアミドが社会制度でないしそれは家内安全でないとしたらそれは軽ーいということはない
事実2: 「このスルファニルアミドは文化活動でない」ということは成り立つ
事実3: 遠くない物が御報告致すなら疲労し易くない
事実4: 「このスルファニルアミドはＥＲＡで疲労し易い」ということは間違いである
事実5: このスルファニルアミドは社会制度でない
事実6: 仮にこのスルファニルアミドが遠いけど御報告致さないならば疲労し易くない
事実7: もしこのスルファニルアミドが社会制度でないなら遠くないし加えて御報告致さない
事実8: もしもこのスルファニルアミドは読み語るがしかし遠くないとすると落籍さない
事実9: なにかは疲労し易くないとすると「それは過小評価でそれに執筆する」ということは誤りである
事実10: このスルファニルアミドは反映され易くない
事実11: 仮にこのスルファニルアミドは遠くない一方で御報告致すとすると疲労し易いということはない
事実12: 仮になにかは社会制度でないしそれは疲労し易くないとするとそれは遠くない
事実13: 仮に遠い物が御報告致さないとすれば疲労し易くない
事実14: このスルファニルアミドが沖縄作戦でなくて第三種監視化学物質でないとすれば社会制度でない
事実15: もしも遠くないものが御報告致さないとしたら疲労し易いということはない

仮説: 「「「過小評価であるし執筆する」ということは成り立たない」物はある」ということは成り立たない
1. 事実15から、推論1: "仮に「このスルファニルアミドは遠くないししかも御報告致さない」ということは確かならば疲労し易くない"が導かれる
2. 事実7と事実5から、推論2: "このスルファニルアミドは遠いということはないしまた御報告致さない"が導かれる
3. 推論1と推論2から、推論3: "このスルファニルアミドは疲労し易くない"が導かれる
4. 事実9から、推論4: "もし「このスルファニルアミドは疲労し易くない」ということは成り立つとすると「過小評価であるしその上執筆する」ということは嘘である"が導かれる
5. 推論3と推論4から、推論5: "「このスルファニルアミドは過小評価だし執筆する」ということは間違いだ"が導かれる
6. 推論5から、仮説が否定される

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