あの根保証は折り入らない
fact1: もしもあの根保証がモニタリングだということはないならば折り入る fact2: 「「挙動であるということはない」物はある」ということは事実である fact3: 仮に「挙動でない」ものはあるとしたら「あの根保証は太しないけれどモニタリングである」ということは事実と異なる fact4: もしも「なんらかのものは太しない一方でモニタリングである」ということは誤りだとしたらそれは折り入る
fact2 & fact3 -> int1: 「あの根保証は太しないけどモニタリングだ」ということは成り立たない; fact4 -> int2: 仮に「あの根保証は太しということはないがモニタリングである」ということは嘘だとすれば「折り入る」ということは確かである; int1 & int2 -> hypothesis;
$facts$ = fact1: もしもあの根保証がモニタリングだということはないならば折り入る fact2: 「「挙動であるということはない」物はある」ということは事実である fact3: 仮に「挙動でない」ものはあるとしたら「あの根保証は太しないけれどモニタリングである」ということは事実と異なる fact4: もしも「なんらかのものは太しない一方でモニタリングである」ということは誤りだとしたらそれは折り入る ; $hypothesis$ = あの根保証は折り入らない ; $proof$ = 
fact2 & fact3 -> int1: 「あの根保証は太しないけどモニタリングだ」ということは成り立たない; fact4 -> int2: 仮に「あの根保証は太しということはないがモニタリングである」ということは嘘だとすれば「折り入る」ということは確かである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもあの根保証がモニタリングだということはないならば折り入る
事実2: 「「挙動であるということはない」物はある」ということは事実である
事実3: 仮に「挙動でない」ものはあるとしたら「あの根保証は太しないけれどモニタリングである」ということは事実と異なる
事実4: もしも「なんらかのものは太しない一方でモニタリングである」ということは誤りだとしたらそれは折り入る

仮説: あの根保証は折り入らない
1. 事実2と事実3から、推論1: "「あの根保証は太しないけどモニタリングだ」ということは成り立たない"が導かれる
2. 事実4から、推論2: "仮に「あの根保証は太しということはないがモニタリングである」ということは嘘だとすれば「折り入る」ということは確かである"が導かれる
3. 推論1と推論2から、仮説が否定される

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