「このファイアウォール機能は狡いか採択するかあるいは両方ともだ」ということは間違いだ
fact1: もし「その四箇月以上は狡くない」ということは嘘でないなら「このファイアウォール機能は狡いかあるいはそれは採択する」ということは間違っている fact2: もしもそのフォートが疎いならばそれは発効する fact3: そのフォートはリプレイスマフラーだということはない fact4: もし「何らかのものは小気味良いがしかしそれは疎くない」ということは成り立たないならばそれは小気味良くない fact5: 仮に「その四箇月以上は疎くないか発効しない」ということは偽であるとするとそのフォートは狡くない fact6: 仮にそのフォートが狡くないならばこのファイアウォール機能は狡い fact7: このファイアウォール機能は疎い fact8: その御花は狡い fact9: もし仮に「そのフォートは発効する」ということは成り立つとするとそれはリプレイスマフラーだ fact10: その四箇月以上が貴方らしいならば狡くない fact11: そのフォートは狡いかそれは採択するかまたは両方ともである fact12: その四箇月以上は発効するかあるいはそれは小気味良いかあるいは両方ともである fact13: もし仮にとあるものは発効するということはないとすると「それは小気味良い一方で疎くない」ということは成り立たない fact14: そのフォートは貴方らしくない fact15: もしも「そのフォートは疎い」ということは嘘だとするとその四箇月以上は疎いということはないかあるいは小気味良いかあるいはどちらもである fact16: このファイアウォール機能が疎いということはないとしたらそのフォートは疎いということはないか狡いかあるいは両方ともである fact17: 貴方らしいものはリプレイスマフラーである fact18: 仮にその四箇月以上が疎くないかあるいはそれは小気味良いかもしくは両方ともだとすると貴方らしい
void -> assump1: 以下のように仮定する。「そのフォートは疎い」ということは成り立つ; fact2 & assump1 -> int1: そのフォートは発効する; int1 & fact9 -> int2: そのフォートはリプレイスマフラーだ; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのフォートは疎くない; int4 & fact15 -> int5: その四箇月以上は疎くないかそれは小気味良いかまたは両方ともである; int5 & fact18 -> int6: その四箇月以上は貴方らしい; int6 & fact10 -> int7: その四箇月以上は狡くない; int7 & fact1 -> hypothesis;
このファイアウォール機能は狡いかあるいは採択する
$facts$ = fact1: もし「その四箇月以上は狡くない」ということは嘘でないなら「このファイアウォール機能は狡いかあるいはそれは採択する」ということは間違っている fact2: もしもそのフォートが疎いならばそれは発効する fact3: そのフォートはリプレイスマフラーだということはない fact4: もし「何らかのものは小気味良いがしかしそれは疎くない」ということは成り立たないならばそれは小気味良くない fact5: 仮に「その四箇月以上は疎くないか発効しない」ということは偽であるとするとそのフォートは狡くない fact6: 仮にそのフォートが狡くないならばこのファイアウォール機能は狡い fact7: このファイアウォール機能は疎い fact8: その御花は狡い fact9: もし仮に「そのフォートは発効する」ということは成り立つとするとそれはリプレイスマフラーだ fact10: その四箇月以上が貴方らしいならば狡くない fact11: そのフォートは狡いかそれは採択するかまたは両方ともである fact12: その四箇月以上は発効するかあるいはそれは小気味良いかあるいは両方ともである fact13: もし仮にとあるものは発効するということはないとすると「それは小気味良い一方で疎くない」ということは成り立たない fact14: そのフォートは貴方らしくない fact15: もしも「そのフォートは疎い」ということは嘘だとするとその四箇月以上は疎いということはないかあるいは小気味良いかあるいはどちらもである fact16: このファイアウォール機能が疎いということはないとしたらそのフォートは疎いということはないか狡いかあるいは両方ともである fact17: 貴方らしいものはリプレイスマフラーである fact18: 仮にその四箇月以上が疎くないかあるいはそれは小気味良いかもしくは両方ともだとすると貴方らしい ; $hypothesis$ = 「このファイアウォール機能は狡いか採択するかあるいは両方ともだ」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのフォートは疎い」ということは成り立つ; fact2 & assump1 -> int1: そのフォートは発効する; int1 & fact9 -> int2: そのフォートはリプレイスマフラーだ; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのフォートは疎くない; int4 & fact15 -> int5: その四箇月以上は疎くないかそれは小気味良いかまたは両方ともである; int5 & fact18 -> int6: その四箇月以上は貴方らしい; int6 & fact10 -> int7: その四箇月以上は狡くない; int7 & fact1 -> hypothesis; __PROVED__
事実1: もし「その四箇月以上は狡くない」ということは嘘でないなら「このファイアウォール機能は狡いかあるいはそれは採択する」ということは間違っている
事実2: もしもそのフォートが疎いならばそれは発効する
事実3: そのフォートはリプレイスマフラーだということはない
事実4: もし「何らかのものは小気味良いがしかしそれは疎くない」ということは成り立たないならばそれは小気味良くない
事実5: 仮に「その四箇月以上は疎くないか発効しない」ということは偽であるとするとそのフォートは狡くない
事実6: 仮にそのフォートが狡くないならばこのファイアウォール機能は狡い
事実7: このファイアウォール機能は疎い
事実8: その御花は狡い
事実9: もし仮に「そのフォートは発効する」ということは成り立つとするとそれはリプレイスマフラーだ
事実10: その四箇月以上が貴方らしいならば狡くない
事実11: そのフォートは狡いかそれは採択するかまたは両方ともである
事実12: その四箇月以上は発効するかあるいはそれは小気味良いかあるいは両方ともである
事実13: もし仮にとあるものは発効するということはないとすると「それは小気味良い一方で疎くない」ということは成り立たない
事実14: そのフォートは貴方らしくない
事実15: もしも「そのフォートは疎い」ということは嘘だとするとその四箇月以上は疎いということはないかあるいは小気味良いかあるいはどちらもである
事実16: このファイアウォール機能が疎いということはないとしたらそのフォートは疎いということはないか狡いかあるいは両方ともである
事実17: 貴方らしいものはリプレイスマフラーである
事実18: 仮にその四箇月以上が疎くないかあるいはそれは小気味良いかもしくは両方ともだとすると貴方らしい

仮説: 「このファイアウォール機能は狡いか採択するかあるいは両方ともだ」ということは間違いだ
1. 仮定1: 以下のように仮定する。「そのフォートは疎い」ということは成り立つ
2. 事実2と仮定1から、推論1: "そのフォートは発効する"が導かれる
3. 推論1と事実9から、推論2: "そのフォートはリプレイスマフラーだ"が導かれる
4. 推論2と事実3から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのフォートは疎くない"が導かれる
6. 推論4と事実15から、推論5: "その四箇月以上は疎くないかそれは小気味良いかまたは両方ともである"が導かれる
7. 推論5と事実18から、推論6: "その四箇月以上は貴方らしい"が導かれる
8. 推論6と事実10から、推論7: "その四箇月以上は狡くない"が導かれる
9. 推論7と事実1から、仮説が導かれる

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