この廃棄物処理は捜索すらないけど得難い
fact1: 「この廃棄物処理は捜索すしそれは得難い」ということは間違いだ fact2: それは捜索すらないしおまけにそれは得難いというものはない fact3: もし仮にとある物が相乗りするとするとそれは食わせ物であるけど口惜しいということはない fact4: 十帝でなくてしかもそれは生き辛いという物はない fact5: か細くないものは愛情深いということはない fact6: あの法定外は相乗りする fact7: 捜索すしかつ得難いという物はない fact8: もし仮にあの法定外が食わせ物である一方でそれが愛情深くないならあのサバイバルナイフは食わせ物であるということはない fact9: 仮になにかは食わせ物であるということはないなら「投資資金でない一方で倉敷合同労働組合である」ということは成り立たない
fact2 -> hypothesis;
fact2 -> hypothesis;
「あのサバイバルナイフは投資資金でないがしかし倉敷合同労働組合だ」ということは嘘だ
fact12 -> int1: 仮にあのサバイバルナイフは食わせ物でないとしたら「投資資金でないがしかし倉敷合同労働組合だ」ということは成り立たない; fact10 -> int2: 「あの法定外が相乗りすればあの法定外は食わせ物であるけれど口惜しくない」ということは本当だ; int2 & fact11 -> int3: あの法定外は食わせ物だがしかし口惜しくない; int3 -> int4: 「あの法定外は食わせ物である」ということは確かだ; fact13 -> int5: もしもあの法定外はか細くないならばそれは愛情深くない;
$facts$ = fact1: 「この廃棄物処理は捜索すしそれは得難い」ということは間違いだ fact2: それは捜索すらないしおまけにそれは得難いというものはない fact3: もし仮にとある物が相乗りするとするとそれは食わせ物であるけど口惜しいということはない fact4: 十帝でなくてしかもそれは生き辛いという物はない fact5: か細くないものは愛情深いということはない fact6: あの法定外は相乗りする fact7: 捜索すしかつ得難いという物はない fact8: もし仮にあの法定外が食わせ物である一方でそれが愛情深くないならあのサバイバルナイフは食わせ物であるということはない fact9: 仮になにかは食わせ物であるということはないなら「投資資金でない一方で倉敷合同労働組合である」ということは成り立たない ; $hypothesis$ = この廃棄物処理は捜索すらないけど得難い ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「この廃棄物処理は捜索すしそれは得難い」ということは間違いだ
事実2: それは捜索すらないしおまけにそれは得難いというものはない
事実3: もし仮にとある物が相乗りするとするとそれは食わせ物であるけど口惜しいということはない
事実4: 十帝でなくてしかもそれは生き辛いという物はない
事実5: か細くないものは愛情深いということはない
事実6: あの法定外は相乗りする
事実7: 捜索すしかつ得難いという物はない
事実8: もし仮にあの法定外が食わせ物である一方でそれが愛情深くないならあのサバイバルナイフは食わせ物であるということはない
事実9: 仮になにかは食わせ物であるということはないなら「投資資金でない一方で倉敷合同労働組合である」ということは成り立たない

仮説: この廃棄物処理は捜索すらないけど得難い
1. 事実2から、仮説が否定される

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