その傘下企業はアビューズでない
fact1: この屯田兵は掃除し易くないとしたらそれは割れ易くないけど握り潰す fact2: もしこの循環軌道は由々しいとしたら「それは叩き上げない」ということは本当でない fact3: この循環軌道はアビューズであるなら「それは由々しい」ということは成り立つ fact4: 仮にこの循環軌道が叩き上げるとすればあの傘下企業は握り潰さない一方で叩き上げる fact5: この循環軌道は由々しい fact6: もしもとあるものはアビューズだとすると「叩き上げるがしかし由々しくない」ということは誤っている fact7: なんらかのものが握り潰せばアビューズである fact8: その傘下企業は追加情報でない fact9: 仮に「この循環軌道は掃除し易い」ということは確かならばそのシャープネスはアビューズであるが割れ易くない fact10: 仮に何かは叩き上げればそれはアビューズだ fact11: その傘下企業は握り潰さない fact12: もし「この屯田兵は割れ易くない一方で握り潰す」ということは本当であるならこの循環軌道は握り潰さない fact13: あの早期発見は握り潰す fact14: もし「この循環軌道は掃除し易くない」ということは成り立つとするとそれは握り潰すしまた割れ易い fact15: あのヨーロッパ語が南国市でないかもしくはそれが大人気無いとしたらこの屯田兵は掃除し易くない fact16: もしもこの循環軌道が叩き上げればその傘下企業は握り潰さない
fact2 & fact5 -> int1: この循環軌道は叩き上げる; int1 & fact4 -> int2: その傘下企業は握り潰さないがしかしそれは叩き上げる; int2 -> int3: その傘下企業は叩き上げる; fact10 -> int4: もし仮にその傘下企業が叩き上げるならそれはアビューズである; int3 & int4 -> hypothesis;
その傘下企業はアビューズであるということはない
$facts$ = fact1: この屯田兵は掃除し易くないとしたらそれは割れ易くないけど握り潰す fact2: もしこの循環軌道は由々しいとしたら「それは叩き上げない」ということは本当でない fact3: この循環軌道はアビューズであるなら「それは由々しい」ということは成り立つ fact4: 仮にこの循環軌道が叩き上げるとすればあの傘下企業は握り潰さない一方で叩き上げる fact5: この循環軌道は由々しい fact6: もしもとあるものはアビューズだとすると「叩き上げるがしかし由々しくない」ということは誤っている fact7: なんらかのものが握り潰せばアビューズである fact8: その傘下企業は追加情報でない fact9: 仮に「この循環軌道は掃除し易い」ということは確かならばそのシャープネスはアビューズであるが割れ易くない fact10: 仮に何かは叩き上げればそれはアビューズだ fact11: その傘下企業は握り潰さない fact12: もし「この屯田兵は割れ易くない一方で握り潰す」ということは本当であるならこの循環軌道は握り潰さない fact13: あの早期発見は握り潰す fact14: もし「この循環軌道は掃除し易くない」ということは成り立つとするとそれは握り潰すしまた割れ易い fact15: あのヨーロッパ語が南国市でないかもしくはそれが大人気無いとしたらこの屯田兵は掃除し易くない fact16: もしもこの循環軌道が叩き上げればその傘下企業は握り潰さない ; $hypothesis$ = その傘下企業はアビューズでない ; $proof$ = 
fact2 & fact5 -> int1: この循環軌道は叩き上げる; int1 & fact4 -> int2: その傘下企業は握り潰さないがしかしそれは叩き上げる; int2 -> int3: その傘下企業は叩き上げる; fact10 -> int4: もし仮にその傘下企業が叩き上げるならそれはアビューズである; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この屯田兵は掃除し易くないとしたらそれは割れ易くないけど握り潰す
事実2: もしこの循環軌道は由々しいとしたら「それは叩き上げない」ということは本当でない
事実3: この循環軌道はアビューズであるなら「それは由々しい」ということは成り立つ
事実4: 仮にこの循環軌道が叩き上げるとすればあの傘下企業は握り潰さない一方で叩き上げる
事実5: この循環軌道は由々しい
事実6: もしもとあるものはアビューズだとすると「叩き上げるがしかし由々しくない」ということは誤っている
事実7: なんらかのものが握り潰せばアビューズである
事実8: その傘下企業は追加情報でない
事実9: 仮に「この循環軌道は掃除し易い」ということは確かならばそのシャープネスはアビューズであるが割れ易くない
事実10: 仮に何かは叩き上げればそれはアビューズだ
事実11: その傘下企業は握り潰さない
事実12: もし「この屯田兵は割れ易くない一方で握り潰す」ということは本当であるならこの循環軌道は握り潰さない
事実13: あの早期発見は握り潰す
事実14: もし「この循環軌道は掃除し易くない」ということは成り立つとするとそれは握り潰すしまた割れ易い
事実15: あのヨーロッパ語が南国市でないかもしくはそれが大人気無いとしたらこの屯田兵は掃除し易くない
事実16: もしもこの循環軌道が叩き上げればその傘下企業は握り潰さない

仮説: その傘下企業はアビューズでない
1. 事実2と事実5から、推論1: "この循環軌道は叩き上げる"が導かれる
2. 推論1と事実4から、推論2: "その傘下企業は握り潰さないがしかしそれは叩き上げる"が導かれる
3. 推論2から、推論3: "その傘下企業は叩き上げる"が導かれる
4. 事実10から、推論4: "もし仮にその傘下企業が叩き上げるならそれはアビューズである"が導かれる
5. 推論3と推論4から、仮説が否定される

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