「あの寒冷は吠える一方でそれは早くない」ということは事実でない
fact1: 「あの送電鉄塔は吠える」ということは確かであるなら「あの寒冷は吠えるしかつそれは早い」ということは誤っている fact2: もし仮になにかは幸いしないとすればやばいしその上利き難い fact3: もし何かはＳちゃんであるとすると若い fact4: 仮に何かは細大であるとすればその満腹はやばい fact5: もし仮に「あのサイフォンは各種ビタミンであるけれど賛成し難いということはない」ということは偽であるとすればあの送電鉄塔は各種ビタミンでない fact6: 仮にあの送電鉄塔は幸いするなら「あのイギリス法は幸いするがそれは吠えない」ということは事実と異なる fact7: もし仮に「「あのイギリス法は実施図であるかもしくはそれは姉らしくないか両方である」ということは成り立つ」ということは偽だとすればあの又聞きは姉らしくない fact8: 実施図は吠える fact9: あのイギリス法が姉らしいとするとあの送電鉄塔は実施図である fact10: 「あの寒冷は吠えるしそれは早い」ということは間違っている fact11: もしあの送電鉄塔は吠えるとすると「あの寒冷は吠える一方でそれは早くない」ということは嘘である fact12: やばいものは吠えるがしかし早いということはない fact13: もしその又聞きが姉らしくないならばあの寒冷は幸いするということはない fact14: やばいものは首肯するか堪え忍ばない fact15: もしも何らかの物は出費するとすれば「それは各種ビタミンであるけれど賛成し難くない」ということは成り立つということはない fact16: もしもあの送電鉄塔は細大であるとしたら「あのイギリス法は実施図であるかあるいは姉らしくないかまたはどちらもである」ということは成り立つということはない fact17: その満腹が堪え忍ぶということはないならその又聞きは利き難くない fact18: 「細大な」ものはある fact19: その満腹は斡旋委員である fact20: 仮に「その満腹は首肯する」ということは正しいとすればその又聞きは利き難くない fact21: もし「あのイギリス法は幸いする」ということは成り立つとするとあの送電鉄塔は実施図だ fact22: 「あの寒冷は姉らしいがしかし早くない」ということは嘘だ fact23: 仮になにかは各種ビタミンであるということはないとすれば「細大である」ということは確かである fact24: その満腹は実施図だ fact25: もしその満腹は首肯するなら「その又聞きは利き難い」ということは確かだ fact26: 仮にその又聞きが利き難くないとしたらあのイギリス法は幸いするかもしくは姉らしいかもしくは両方である fact27: 「姉らしい」ものはある fact28: もしも「あの送電鉄塔は首肯しない」ということは間違っているということはないとすればその満腹は吠えない
fact14 -> int1: もし仮にその満腹がやばいとしたらそれは首肯するかまたは堪え忍ばない; fact4 & fact18 -> int2: その満腹はやばい; int1 & int2 -> int3: その満腹は首肯するかもしくは堪え忍ぶということはない; int3 & fact20 & fact17 -> int4: その又聞きは利き難くない; int4 & fact26 -> int5: あのイギリス法は幸いするかあるいはそれは姉らしい; int5 & fact21 & fact9 -> int6: あの送電鉄塔は実施図である; fact8 -> int7: 「あの送電鉄塔は実施図でない」ということは成り立たないとすれば吠える; int6 & int7 -> int8: あの送電鉄塔は吠える; int8 & fact11 -> hypothesis;
あの寒冷は吠えるがしかし早いということはない
fact32 -> int9: もしあの寒冷がやばいとするとそれは吠えるけど早くない; fact35 -> int10: 仮に「あの寒冷は幸いしない」ということは真実だとするとそれはやばくて利き難い; fact31 -> int11: あの送電鉄塔は各種ビタミンでないならば「それは細大だ」ということは確かだ; fact34 -> int12: もしもあのサイフォンは出費するとしたら「各種ビタミンであるしかつ賛成し難くない」ということは成り立つということはない;
$facts$ = fact1: 「あの送電鉄塔は吠える」ということは確かであるなら「あの寒冷は吠えるしかつそれは早い」ということは誤っている fact2: もし仮になにかは幸いしないとすればやばいしその上利き難い fact3: もし何かはＳちゃんであるとすると若い fact4: 仮に何かは細大であるとすればその満腹はやばい fact5: もし仮に「あのサイフォンは各種ビタミンであるけれど賛成し難いということはない」ということは偽であるとすればあの送電鉄塔は各種ビタミンでない fact6: 仮にあの送電鉄塔は幸いするなら「あのイギリス法は幸いするがそれは吠えない」ということは事実と異なる fact7: もし仮に「「あのイギリス法は実施図であるかもしくはそれは姉らしくないか両方である」ということは成り立つ」ということは偽だとすればあの又聞きは姉らしくない fact8: 実施図は吠える fact9: あのイギリス法が姉らしいとするとあの送電鉄塔は実施図である fact10: 「あの寒冷は吠えるしそれは早い」ということは間違っている fact11: もしあの送電鉄塔は吠えるとすると「あの寒冷は吠える一方でそれは早くない」ということは嘘である fact12: やばいものは吠えるがしかし早いということはない fact13: もしその又聞きが姉らしくないならばあの寒冷は幸いするということはない fact14: やばいものは首肯するか堪え忍ばない fact15: もしも何らかの物は出費するとすれば「それは各種ビタミンであるけれど賛成し難くない」ということは成り立つということはない fact16: もしもあの送電鉄塔は細大であるとしたら「あのイギリス法は実施図であるかあるいは姉らしくないかまたはどちらもである」ということは成り立つということはない fact17: その満腹が堪え忍ぶということはないならその又聞きは利き難くない fact18: 「細大な」ものはある fact19: その満腹は斡旋委員である fact20: 仮に「その満腹は首肯する」ということは正しいとすればその又聞きは利き難くない fact21: もし「あのイギリス法は幸いする」ということは成り立つとするとあの送電鉄塔は実施図だ fact22: 「あの寒冷は姉らしいがしかし早くない」ということは嘘だ fact23: 仮になにかは各種ビタミンであるということはないとすれば「細大である」ということは確かである fact24: その満腹は実施図だ fact25: もしその満腹は首肯するなら「その又聞きは利き難い」ということは確かだ fact26: 仮にその又聞きが利き難くないとしたらあのイギリス法は幸いするかもしくは姉らしいかもしくは両方である fact27: 「姉らしい」ものはある fact28: もしも「あの送電鉄塔は首肯しない」ということは間違っているということはないとすればその満腹は吠えない ; $hypothesis$ = 「あの寒冷は吠える一方でそれは早くない」ということは事実でない ; $proof$ = 
fact14 -> int1: もし仮にその満腹がやばいとしたらそれは首肯するかまたは堪え忍ばない; fact4 & fact18 -> int2: その満腹はやばい; int1 & int2 -> int3: その満腹は首肯するかもしくは堪え忍ぶということはない; int3 & fact20 & fact17 -> int4: その又聞きは利き難くない; int4 & fact26 -> int5: あのイギリス法は幸いするかあるいはそれは姉らしい; int5 & fact21 & fact9 -> int6: あの送電鉄塔は実施図である; fact8 -> int7: 「あの送電鉄塔は実施図でない」ということは成り立たないとすれば吠える; int6 & int7 -> int8: あの送電鉄塔は吠える; int8 & 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: 「あの寒冷は姉らしいがしかし早くない」ということは嘘だ
事実23: 仮になにかは各種ビタミンであるということはないとすれば「細大である」ということは確かである
事実24: その満腹は実施図だ
事実25: もしその満腹は首肯するなら「その又聞きは利き難い」ということは確かだ
事実26: 仮にその又聞きが利き難くないとしたらあのイギリス法は幸いするかもしくは姉らしいかもしくは両方である
事実27: 「姉らしい」ものはある
事実28: もしも「あの送電鉄塔は首肯しない」ということは間違っているということはないとすればその満腹は吠えない

仮説: 「あの寒冷は吠える一方でそれは早くない」ということは事実でない
1. 事実14から、推論1: "もし仮にその満腹がやばいとしたらそれは首肯するかまたは堪え忍ばない"が導かれる
2. 事実4と事実18から、推論2: "その満腹はやばい"が導かれる
3. 推論1と推論2から、推論3: "その満腹は首肯するかもしくは堪え忍ぶということはない"が導かれる
4. 推論3と事実20と事実17から、推論4: "その又聞きは利き難くない"が導かれる
5. 推論4と事実26から、推論5: "あのイギリス法は幸いするかあるいはそれは姉らしい"が導かれる
6. 推論5と事実21と事実9から、推論6: "あの送電鉄塔は実施図である"が導かれる
7. 事実8から、推論7: "「あの送電鉄塔は実施図でない」ということは成り立たないとすれば吠える"が導かれる
8. 推論6と推論7から、推論8: "あの送電鉄塔は吠える"が導かれる
9. 推論8と事実11から、仮説が導かれる

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