この招待状は警備局でない
fact1: もしもこの公害防止契約は止み難いならば「その都道府県道は気持ち良いけれど溜まり易くない」ということは確かだ fact2: もしも「この招待状はすんごいかもしくは警備局であるかまたはどちらもだ」ということは偽であるとするとその特定都市鉄道工事は浮かし掛けない fact3: なにかはぐいみでないなら飼い始めるししかもそれは薬液である fact4: それは浮かし掛けるかもしくはすんごいか両方であるという物はない fact5: この公害防止契約は止み難い fact6: もしとあるものが飼い始めるならそれは警備局だ fact7: 仮に「その特定都市鉄道工事は浮かし掛けるかもしくはすんごいかまたは両方ともだ」ということは偽であるならこの招待状は警備局でない
fact4 -> int1: 「その特定都市鉄道工事は浮かし掛けるかもしくはすんごいかもしくは両方である」ということは誤りである; int1 & fact7 -> hypothesis;
この招待状は警備局である
fact10 -> int2: もし仮にこの招待状がぐいみでないとするとそれは飼い始めるしおまけに薬液だ; fact9 & fact8 -> int3: その都道府県道は気持ち良いけれど溜まり易くない; int3 -> int4: 気持ち良いしさらに溜まり易くない物はある;
$facts$ = fact1: もしもこの公害防止契約は止み難いならば「その都道府県道は気持ち良いけれど溜まり易くない」ということは確かだ fact2: もしも「この招待状はすんごいかもしくは警備局であるかまたはどちらもだ」ということは偽であるとするとその特定都市鉄道工事は浮かし掛けない fact3: なにかはぐいみでないなら飼い始めるししかもそれは薬液である fact4: それは浮かし掛けるかもしくはすんごいか両方であるという物はない fact5: この公害防止契約は止み難い fact6: もしとあるものが飼い始めるならそれは警備局だ fact7: 仮に「その特定都市鉄道工事は浮かし掛けるかもしくはすんごいかまたは両方ともだ」ということは偽であるならこの招待状は警備局でない ; $hypothesis$ = この招待状は警備局でない ; $proof$ = 
fact4 -> int1: 「その特定都市鉄道工事は浮かし掛けるかもしくはすんごいかもしくは両方である」ということは誤りである; int1 & fact7 -> hypothesis; __PROVED__
事実1: もしもこの公害防止契約は止み難いならば「その都道府県道は気持ち良いけれど溜まり易くない」ということは確かだ
事実2: もしも「この招待状はすんごいかもしくは警備局であるかまたはどちらもだ」ということは偽であるとするとその特定都市鉄道工事は浮かし掛けない
事実3: なにかはぐいみでないなら飼い始めるししかもそれは薬液である
事実4: それは浮かし掛けるかもしくはすんごいか両方であるという物はない
事実5: この公害防止契約は止み難い
事実6: もしとあるものが飼い始めるならそれは警備局だ
事実7: 仮に「その特定都市鉄道工事は浮かし掛けるかもしくはすんごいかまたは両方ともだ」ということは偽であるならこの招待状は警備局でない

仮説: この招待状は警備局でない
1. 事実4から、推論1: "「その特定都市鉄道工事は浮かし掛けるかもしくはすんごいかもしくは両方である」ということは誤りである"が導かれる
2. 推論1と事実7から、仮説が導かれる

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