その脅迫・暴行はへばる
fact1: もしあの一朝一夕が引っ越し始めないとするとその地裁判決は収縮するしかつ名高い fact2: もしなんらかのものは御母はんでないとしたら「それは特定事項であるしまたそれは手酷いということはない」ということは正しくない fact3: 何かは国保でないとすればへばるし扱き始める fact4: もし仮に「ある物は特定事項だけれど手酷くない」ということは成り立つということはないとするとそれは引っ越し始めない fact5: 仮にあの起業が収縮しないとしたらその脅迫・暴行は国保でない fact6: この譲渡担保権は国保である fact7: すべての物は国保だ fact8: 全ての物は扱き始めなくて国保だ fact9: もし仮にその地裁判決が収縮するしさらに名高いならばあの起業は収縮しない fact10: この譲渡担保権が扱き始めないとしたらその脅迫・暴行はへばらない
fact8 -> int1: この譲渡担保権は扱き始めないけれどそれは国保である; int1 -> int2: この譲渡担保権は扱き始めない; int2 & fact10 -> hypothesis;
その脅迫・暴行はへばる
fact13 -> int3: もしもその脅迫・暴行は国保でないとしたらへばるし更に扱き始める; fact11 -> int4: もしも「あの一朝一夕は特定事項だがしかし手酷くない」ということは間違いならばそれは引っ越し始めない; fact15 -> int5: もしもあの一朝一夕は御母はんだということはないなら「特定事項であるしそれにそれは手酷くない」ということは誤りである;
$facts$ = fact1: もしあの一朝一夕が引っ越し始めないとするとその地裁判決は収縮するしかつ名高い fact2: もしなんらかのものは御母はんでないとしたら「それは特定事項であるしまたそれは手酷いということはない」ということは正しくない fact3: 何かは国保でないとすればへばるし扱き始める fact4: もし仮に「ある物は特定事項だけれど手酷くない」ということは成り立つということはないとするとそれは引っ越し始めない fact5: 仮にあの起業が収縮しないとしたらその脅迫・暴行は国保でない fact6: この譲渡担保権は国保である fact7: すべての物は国保だ fact8: 全ての物は扱き始めなくて国保だ fact9: もし仮にその地裁判決が収縮するしさらに名高いならばあの起業は収縮しない fact10: この譲渡担保権が扱き始めないとしたらその脅迫・暴行はへばらない ; $hypothesis$ = その脅迫・暴行はへばる ; $proof$ = 
fact8 -> int1: この譲渡担保権は扱き始めないけれどそれは国保である; int1 -> int2: この譲渡担保権は扱き始めない; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: もしあの一朝一夕が引っ越し始めないとするとその地裁判決は収縮するしかつ名高い
事実2: もしなんらかのものは御母はんでないとしたら「それは特定事項であるしまたそれは手酷いということはない」ということは正しくない
事実3: 何かは国保でないとすればへばるし扱き始める
事実4: もし仮に「ある物は特定事項だけれど手酷くない」ということは成り立つということはないとするとそれは引っ越し始めない
事実5: 仮にあの起業が収縮しないとしたらその脅迫・暴行は国保でない
事実6: この譲渡担保権は国保である
事実7: すべての物は国保だ
事実8: 全ての物は扱き始めなくて国保だ
事実9: もし仮にその地裁判決が収縮するしさらに名高いならばあの起業は収縮しない
事実10: この譲渡担保権が扱き始めないとしたらその脅迫・暴行はへばらない

仮説: その脅迫・暴行はへばる
1. 事実8から、推論1: "この譲渡担保権は扱き始めないけれどそれは国保である"が導かれる
2. 推論1から、推論2: "この譲渡担保権は扱き始めない"が導かれる
3. 推論2と事実10から、仮説が否定される

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