あの地域班は値踏みする
fact1: あの地域班は名状し難くない fact2: 仮にあの生物化学兵器が入り辛くないとするとあの地域班は値踏みするししかも御恥ずかしい fact3: もしもあの地域班は入り辛くて御恥ずかしいならそれは値踏みしない fact4: 仮にあの地域班が予告無しであるしそれが再発行するとすると入り辛い fact5: あの地域班は御恥ずかしい fact6: 仮にこの参宿は見咎めるし入り辛いならばそれは狗邪韓国だ fact7: もし仮にあのＦＦレートが複数担任でないけどそれが狗邪韓国だとしたら値踏みする fact8: あの地域班は予告無しでない fact9: 「「届き易くないが和解する」ということは偽な」物があるとすればあの通行量は和解しない fact10: 仮にその活量は予告無しでないけれど遣り難いなら「それは哀れっぽい」ということは本当だ fact11: 「仮にあの地域班が予告無しでない一方でそれが再発行するとするとあの地域班は入り辛い」ということは本当である fact12: 「その保険薬局は届き易くないがしかし和解する」ということは事実と異なる fact13: あの地域班は予告無しだということはないけどそれは再発行する fact14: 「あの地域班は薄い」ということは成り立つ fact15: この長槍は入り辛い fact16: もし仮に「何らかのものは届き易くない一方で入り辛い」ということは間違いであるとしたらそれは入り辛いということはない fact17: 「あの地域班が値踏みするがしかし御恥ずかしくないならばそのＯＨＰは御恥ずかしくない」ということは真実だ
fact11 & fact13 -> int1: あの地域班は入り辛い; int1 & fact5 -> int2: あの地域班は入り辛いしかつ御恥ずかしい; int2 & fact3 -> hypothesis;
fact11 & fact13 -> int1: {B}{a}; int1 & fact5 -> int2: ({B}{a} & {A}{a}); int2 & fact3 -> hypothesis;
あの地域班は値踏みする
fact19 -> int3: 「「届き易くないけど和解する」ということは間違いである」物はある; int3 & fact18 -> int4: この通行量は和解するということはない; int4 -> int5: 「和解するということはない」ものはある;
$facts$ = fact1: あの地域班は名状し難くない fact2: 仮にあの生物化学兵器が入り辛くないとするとあの地域班は値踏みするししかも御恥ずかしい fact3: もしもあの地域班は入り辛くて御恥ずかしいならそれは値踏みしない fact4: 仮にあの地域班が予告無しであるしそれが再発行するとすると入り辛い fact5: あの地域班は御恥ずかしい fact6: 仮にこの参宿は見咎めるし入り辛いならばそれは狗邪韓国だ fact7: もし仮にあのＦＦレートが複数担任でないけどそれが狗邪韓国だとしたら値踏みする fact8: あの地域班は予告無しでない fact9: 「「届き易くないが和解する」ということは偽な」物があるとすればあの通行量は和解しない fact10: 仮にその活量は予告無しでないけれど遣り難いなら「それは哀れっぽい」ということは本当だ fact11: 「仮にあの地域班が予告無しでない一方でそれが再発行するとするとあの地域班は入り辛い」ということは本当である fact12: 「その保険薬局は届き易くないがしかし和解する」ということは事実と異なる fact13: あの地域班は予告無しだということはないけどそれは再発行する fact14: 「あの地域班は薄い」ということは成り立つ fact15: この長槍は入り辛い fact16: もし仮に「何らかのものは届き易くない一方で入り辛い」ということは間違いであるとしたらそれは入り辛いということはない fact17: 「あの地域班が値踏みするがしかし御恥ずかしくないならばそのＯＨＰは御恥ずかしくない」ということは真実だ ; $hypothesis$ = あの地域班は値踏みする ; $proof$ = 
fact11 & fact13 -> int1: あの地域班は入り辛い; int1 & fact5 -> int2: あの地域班は入り辛いしかつ御恥ずかしい; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: あの地域班は名状し難くない
事実2: 仮にあの生物化学兵器が入り辛くないとするとあの地域班は値踏みするししかも御恥ずかしい
事実3: もしもあの地域班は入り辛くて御恥ずかしいならそれは値踏みしない
事実4: 仮にあの地域班が予告無しであるしそれが再発行するとすると入り辛い
事実5: あの地域班は御恥ずかしい
事実6: 仮にこの参宿は見咎めるし入り辛いならばそれは狗邪韓国だ
事実7: もし仮にあのＦＦレートが複数担任でないけどそれが狗邪韓国だとしたら値踏みする
事実8: あの地域班は予告無しでない
事実9: 「「届き易くないが和解する」ということは偽な」物があるとすればあの通行量は和解しない
事実10: 仮にその活量は予告無しでないけれど遣り難いなら「それは哀れっぽい」ということは本当だ
事実11: 「仮にあの地域班が予告無しでない一方でそれが再発行するとするとあの地域班は入り辛い」ということは本当である
事実12: 「その保険薬局は届き易くないがしかし和解する」ということは事実と異なる
事実13: あの地域班は予告無しだということはないけどそれは再発行する
事実14: 「あの地域班は薄い」ということは成り立つ
事実15: この長槍は入り辛い
事実16: もし仮に「何らかのものは届き易くない一方で入り辛い」ということは間違いであるとしたらそれは入り辛いということはない
事実17: 「あの地域班が値踏みするがしかし御恥ずかしくないならばそのＯＨＰは御恥ずかしくない」ということは真実だ

仮説: あの地域班は値踏みする
1. 事実11と事実13から、推論1: "あの地域班は入り辛い"が導かれる
2. 推論1と事実5から、推論2: "あの地域班は入り辛いしかつ御恥ずかしい"が導かれる
3. 推論2と事実3から、仮説が否定される

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