あの残留組はＰＲＡビザでないけど眩惑する
fact1: 「その輸出加工区は芝居染みる」ということは確かである fact2: もし「あの泡盛は芝居染みるということはない一方で物欲しい」ということは嘘であるとすればあの残留組は取り締まり役会議事録でない fact3: もしその輸出加工区が物欲しくてそれに眩惑するとするとその拡張カードは長野県天然記念物であるということはない fact4: 「芝居染みる」物はあるとすれば「あの泡盛が芝居染みないがしかし物欲しい」ということは成り立たない fact5: もしもとあるものは取り締まり役会議事録であるということはないならそれは船舶で加えて長野県天然記念物である fact6: もし仮にその輸出加工区はし易くないとしたらあの泡盛は長野県天然記念物でない fact7: あの泡盛が船舶でないとすればその輸出加工区はし易い fact8: あの泡盛はし易くないとするとあの残留組はＰＲＡビザでない fact9: あの有効弁口面積は一閃する fact10: もしもこのプロペラ機が長野県天然記念物であるということはないとするとその輸出加工区は船舶でない fact11: 仮にあの泡盛がし易いということはないならあの残留組はＰＲＡビザでないがそれは眩惑する fact12: 仮に長野県天然記念物が一閃するとしたらそれはし易くない fact13: もし仮に「このプロペラ機は中央線である」ということは偽でないとするとあの残留組は一閃する fact14: あの泡盛は一閃する fact15: もしもこのプロペラ機が長野県天然記念物でないならばその輸出加工区は長野県天然記念物だが船舶でない fact16: もし仮にその輸出加工区が長野県天然記念物だ一方でそれが船舶でないとするとあのショートカット・キーは取り締まり役会議事録である fact17: その拡張カードは物欲しかない fact18: あの残留組はＰＲＡビザでない fact19: その輸出加工区は船舶でない fact20: もしもなにかはし易くないなら「ＰＲＡビザでなくてそれに眩惑する」ということは事実と異なる fact21: もしもあの泡盛がし易いし一閃するならばあのプロペラ機は長野県天然記念物でない fact22: もしあのショートカット・キーは取り締まり役会議事録だとすると「その拡張カードは物欲しい」ということは嘘だということはない
void -> assump1: 以下のように仮定する。あの泡盛はし易い; assump1 & fact14 -> int1: あの泡盛はし易いしそれにそれは一閃する; int1 & fact21 -> int2: このプロペラ機は長野県天然記念物でない; int2 & fact15 -> int3: その輸出加工区は長野県天然記念物であるけど船舶でない; int3 & fact16 -> int4: あのショートカット・キーは取り締まり役会議事録である; int4 & fact22 -> int5: 「その拡張カードは物欲しい」ということは事実である; int5 & fact17 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの泡盛はし易いということはない; int7 & fact11 -> hypothesis;
「あの残留組はＰＲＡビザでない一方で眩惑する」ということは成り立たない
fact24 -> int8: 仮に「あの残留組はし易くない」ということは事実だとしたら「それはＰＲＡビザでないがしかし眩惑する」ということは成り立たない; fact26 -> int9: あの残留組は長野県天然記念物であるし加えて一閃するならし易くない; fact28 -> int10: もし仮にあの残留組が取り締まり役会議事録だということはないならそれは船舶でおまけにそれは長野県天然記念物だ; fact23 -> int11: 「「芝居染みる」ということは成り立つ」ものはある; int11 & fact29 -> int12: 「あの泡盛が芝居染みないがしかしそれは物欲しい」ということは成り立たない; fact25 & int12 -> int13: あの残留組は取り締まり役会議事録であるということはない; int10 & int13 -> int14: あの残留組は船舶だしおまけに長野県天然記念物である; int14 -> int15: あの残留組は長野県天然記念物である;
$facts$ = fact1: 「その輸出加工区は芝居染みる」ということは確かである fact2: もし「あの泡盛は芝居染みるということはない一方で物欲しい」ということは嘘であるとすればあの残留組は取り締まり役会議事録でない fact3: もしその輸出加工区が物欲しくてそれに眩惑するとするとその拡張カードは長野県天然記念物であるということはない fact4: 「芝居染みる」物はあるとすれば「あの泡盛が芝居染みないがしかし物欲しい」ということは成り立たない fact5: もしもとあるものは取り締まり役会議事録であるということはないならそれは船舶で加えて長野県天然記念物である fact6: もし仮にその輸出加工区はし易くないとしたらあの泡盛は長野県天然記念物でない fact7: あの泡盛が船舶でないとすればその輸出加工区はし易い fact8: あの泡盛はし易くないとするとあの残留組はＰＲＡビザでない fact9: あの有効弁口面積は一閃する fact10: もしもこのプロペラ機が長野県天然記念物であるということはないとするとその輸出加工区は船舶でない fact11: 仮にあの泡盛がし易いということはないならあの残留組はＰＲＡビザでないがそれは眩惑する fact12: 仮に長野県天然記念物が一閃するとしたらそれはし易くない fact13: もし仮に「このプロペラ機は中央線である」ということは偽でないとするとあの残留組は一閃する fact14: あの泡盛は一閃する fact15: もしもこのプロペラ機が長野県天然記念物でないならばその輸出加工区は長野県天然記念物だが船舶でない fact16: もし仮にその輸出加工区が長野県天然記念物だ一方でそれが船舶でないとするとあのショートカット・キーは取り締まり役会議事録である fact17: その拡張カードは物欲しかない fact18: あの残留組はＰＲＡビザでない fact19: その輸出加工区は船舶でない fact20: もしもなにかはし易くないなら「ＰＲＡビザでなくてそれに眩惑する」ということは事実と異なる fact21: もしもあの泡盛がし易いし一閃するならばあのプロペラ機は長野県天然記念物でない fact22: もしあのショートカット・キーは取り締まり役会議事録だとすると「その拡張カードは物欲しい」ということは嘘だということはない ; $hypothesis$ = あの残留組はＰＲＡビザでないけど眩惑する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの泡盛はし易い; assump1 & fact14 -> int1: あの泡盛はし易いしそれにそれは一閃する; int1 & fact21 -> int2: このプロペラ機は長野県天然記念物でない; int2 & fact15 -> int3: その輸出加工区は長野県天然記念物であるけど船舶でない; int3 & fact16 -> int4: あのショートカット・キーは取り締まり役会議事録である; int4 & fact22 -> int5: 「その拡張カードは物欲しい」ということは事実である; int5 & fact17 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの泡盛はし易いということはない; int7 & fact11 -> hypothesis; __PROVED__
事実1: 「その輸出加工区は芝居染みる」ということは確かである
事実2: もし「あの泡盛は芝居染みるということはない一方で物欲しい」ということは嘘であるとすればあの残留組は取り締まり役会議事録でない
事実3: もしその輸出加工区が物欲しくてそれに眩惑するとするとその拡張カードは長野県天然記念物であるということはない
事実4: 「芝居染みる」物はあるとすれば「あの泡盛が芝居染みないがしかし物欲しい」ということは成り立たない
事実5: もしもとあるものは取り締まり役会議事録であるということはないならそれは船舶で加えて長野県天然記念物である
事実6: もし仮にその輸出加工区はし易くないとしたらあの泡盛は長野県天然記念物でない
事実7: あの泡盛が船舶でないとすればその輸出加工区はし易い
事実8: あの泡盛はし易くないとするとあの残留組はＰＲＡビザでない
事実9: あの有効弁口面積は一閃する
事実10: もしもこのプロペラ機が長野県天然記念物であるということはないとするとその輸出加工区は船舶でない
事実11: 仮にあの泡盛がし易いということはないならあの残留組はＰＲＡビザでないがそれは眩惑する
事実12: 仮に長野県天然記念物が一閃するとしたらそれはし易くない
事実13: もし仮に「このプロペラ機は中央線である」ということは偽でないとするとあの残留組は一閃する
事実14: あの泡盛は一閃する
事実15: もしもこのプロペラ機が長野県天然記念物でないならばその輸出加工区は長野県天然記念物だが船舶でない
事実16: もし仮にその輸出加工区が長野県天然記念物だ一方でそれが船舶でないとするとあのショートカット・キーは取り締まり役会議事録である
事実17: その拡張カードは物欲しかない
事実18: あの残留組はＰＲＡビザでない
事実19: その輸出加工区は船舶でない
事実20: もしもなにかはし易くないなら「ＰＲＡビザでなくてそれに眩惑する」ということは事実と異なる
事実21: もしもあの泡盛がし易いし一閃するならばあのプロペラ機は長野県天然記念物でない
事実22: もしあのショートカット・キーは取り締まり役会議事録だとすると「その拡張カードは物欲しい」ということは嘘だということはない

仮説: あの残留組はＰＲＡビザでないけど眩惑する
1. 仮定1: 以下のように仮定する。あの泡盛はし易い
2. 仮定1と事実14から、推論1: "あの泡盛はし易いしそれにそれは一閃する"が導かれる
3. 推論1と事実21から、推論2: "このプロペラ機は長野県天然記念物でない"が導かれる
4. 推論2と事実15から、推論3: "その輸出加工区は長野県天然記念物であるけど船舶でない"が導かれる
5. 推論3と事実16から、推論4: "あのショートカット・キーは取り締まり役会議事録である"が導かれる
6. 推論4と事実22から、推論5: "「その拡張カードは物欲しい」ということは事実である"が導かれる
7. 推論5と事実17から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの泡盛はし易いということはない"が導かれる
9. 推論7と事実11から、仮説が導かれる

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