あの隊は不足し易くない
fact1: 「なにがしかのものはクライテリアであるがしかし使役しない」ということは誤っているとすれば不足し易くない fact2: 仮にあの保健医療保障が侘しくないしさらに滞り易くないとしたらあの隊は熱くない fact3: 仮に何かは緩解するということはないとしたら語形変化であるしまた侘しい fact4: あの隊は熱くないとすると「「それはクライテリアである一方で使役しない」ということは成り立つ」ということは間違っている fact5: もしあの保健医療保障が侘しいしその上緩解するとすると収去さない fact6: あの保健医療保障は収去す fact7: 仮になにがしかのものは熱いならば「収去すということはないし加えて滞り易い」ということは成り立たない fact8: あの保健医療保障は緩解する fact9: あの保健医療保障はクライテリアでない fact10: このアタッカーＳ氏は収去す fact11: あの保健医療保障は滞り易くない fact12: あの保健医療保障がクライテリアでないとすれば熱いし使役する
void -> assump1: 以下のように仮定する。あの保健医療保障は侘しい; assump1 & fact8 -> int1: 「あの保健医療保障は侘しくて緩解する」ということは成り立つ; int1 & fact5 -> int2: あの保健医療保障は収去さない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの保健医療保障は侘しくない; int4 & fact11 -> int5: あの保健医療保障は侘しいということはないししかも滞り易いということはない; int5 & fact2 -> int6: あの隊は熱くない; int6 & fact4 -> int7: 「あの隊はクライテリアであるけど使役しない」ということは成り立たない; fact1 -> int8: 「あの隊はクライテリアだけれど使役しない」ということは嘘であるとしたら不足し易くない; int7 & int8 -> hypothesis;
あの隊は語形変化だ
fact16 -> int9: 仮にあの隊が緩解しないならそれは語形変化で侘しい; fact14 -> int10: あの保健医療保障は熱いなら「収去さないしおまけに滞り易い」ということは間違っている; fact13 & fact15 -> int11: あの保健医療保障は熱くて加えて使役する; int11 -> int12: あの保健医療保障は熱い; int10 & int12 -> int13: 「あの保健医療保障は収去さない一方で滞り易い」ということは事実でない; int13 -> int14: 「「収去さないしかつ滞り易い」ということは間違いな」物はある;
$facts$ = fact1: 「なにがしかのものはクライテリアであるがしかし使役しない」ということは誤っているとすれば不足し易くない fact2: 仮にあの保健医療保障が侘しくないしさらに滞り易くないとしたらあの隊は熱くない fact3: 仮に何かは緩解するということはないとしたら語形変化であるしまた侘しい fact4: あの隊は熱くないとすると「「それはクライテリアである一方で使役しない」ということは成り立つ」ということは間違っている fact5: もしあの保健医療保障が侘しいしその上緩解するとすると収去さない fact6: あの保健医療保障は収去す fact7: 仮になにがしかのものは熱いならば「収去すということはないし加えて滞り易い」ということは成り立たない fact8: あの保健医療保障は緩解する fact9: あの保健医療保障はクライテリアでない fact10: このアタッカーＳ氏は収去す fact11: あの保健医療保障は滞り易くない fact12: あの保健医療保障がクライテリアでないとすれば熱いし使役する ; $hypothesis$ = あの隊は不足し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの保健医療保障は侘しい; assump1 & fact8 -> int1: 「あの保健医療保障は侘しくて緩解する」ということは成り立つ; int1 & fact5 -> int2: あの保健医療保障は収去さない; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの保健医療保障は侘しくない; int4 & fact11 -> int5: あの保健医療保障は侘しいということはないししかも滞り易いということはない; int5 & fact2 -> int6: あの隊は熱くない; int6 & fact4 -> int7: 「あの隊はクライテリアであるけど使役しない」ということは成り立たない; fact1 -> int8: 「あの隊はクライテリアだけれど使役しない」ということは嘘であるとしたら不足し易くない; int7 & int8 -> hypothesis; __PROVED__
事実1: 「なにがしかのものはクライテリアであるがしかし使役しない」ということは誤っているとすれば不足し易くない
事実2: 仮にあの保健医療保障が侘しくないしさらに滞り易くないとしたらあの隊は熱くない
事実3: 仮に何かは緩解するということはないとしたら語形変化であるしまた侘しい
事実4: あの隊は熱くないとすると「「それはクライテリアである一方で使役しない」ということは成り立つ」ということは間違っている
事実5: もしあの保健医療保障が侘しいしその上緩解するとすると収去さない
事実6: あの保健医療保障は収去す
事実7: 仮になにがしかのものは熱いならば「収去すということはないし加えて滞り易い」ということは成り立たない
事実8: あの保健医療保障は緩解する
事実9: あの保健医療保障はクライテリアでない
事実10: このアタッカーＳ氏は収去す
事実11: あの保健医療保障は滞り易くない
事実12: あの保健医療保障がクライテリアでないとすれば熱いし使役する

仮説: あの隊は不足し易くない
1. 仮定1: 以下のように仮定する。あの保健医療保障は侘しい
2. 仮定1と事実8から、推論1: "「あの保健医療保障は侘しくて緩解する」ということは成り立つ"が導かれる
3. 推論1と事実5から、推論2: "あの保健医療保障は収去さない"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの保健医療保障は侘しくない"が導かれる
6. 推論4と事実11から、推論5: "あの保健医療保障は侘しいということはないししかも滞り易いということはない"が導かれる
7. 推論5と事実2から、推論6: "あの隊は熱くない"が導かれる
8. 推論6と事実4から、推論7: "「あの隊はクライテリアであるけど使役しない」ということは成り立たない"が導かれる
9. 事実1から、推論8: "「あの隊はクライテリアだけれど使役しない」ということは嘘であるとしたら不足し易くない"が導かれる
10. 推論7と推論8から、仮説が導かれる

よって、仮説が証明されました。