このエトルリア社会は強い
fact1: もしもとある物が強いとするとこのエトルリア社会は合わせ辛いしそれに集塵率である fact2: その納税通知書は際どいなら「その日本国債は望ましくらなくてかつ広しない」ということは偽である fact3: すばしっこいものは買い易い fact4: 仮に「何らかの物は望ましいということはないし広しない」ということは確かでないとしたらそれは絶え難い fact5: もしその革命政権が凄いならこのエトルリア社会は散乱する fact6: 「「凄い」ということは確かである」物があるとしたらこのエトルリア社会は強いしその上買い易い fact7: その納税通知書はハポだ fact8: もしその納税通知書がハポだとすればそれは際どい fact9: もしなんらかのものは買い易いなら「それは強くないしそれはヒーロー達である」ということは事実でない fact10: このエトルリア社会は買い易い fact11: 「仮に「とあるものは引き換えでないしさらにそれは負かさない」ということは嘘であるならば「凄い」ということは本当である」ということは成り立つ fact12: 「凄い」ものはある fact13: 「強い」ものはある fact14: もし仮にその革命政権が強くない一方で凄いとしたらこのエトルリア社会は強くない fact15: ヒーロー達は強いがしかし買い易いということはない fact16: もしも「「凄い」ということは確かである」ものがあるとすればあのエトルリア社会は買い易い fact17: 仮に「あの軽症鬱病は御めかしするけどすばしっこいということはない」ということは成り立たないならそれはすばしっこい fact18: 強いし買い易くない物は凄い fact19: 「あの軽症鬱病は強くないがしかしそれはヒーロー達だ」ということは成り立たないとすれば「その革命政権は強くない」ということは本当だ fact20: もしもその日本国債は絶え難いならば「あの軽症鬱病は御めかしするけどそれはすばしっこくない」ということは成り立たない
fact12 & fact6 -> int1: このエトルリア社会は強くてそれにそれは買い易い; int1 -> hypothesis;
このエトルリア社会は強くない
fact24 -> int2: もしあの軽症鬱病は買い易いとすれば「それは強くないがしかしヒーロー達だ」ということは成り立たない; fact28 -> int3: もし仮に「あの軽症鬱病はすばしっこい」ということは確かだとすると買い易い; fact26 -> int4: もし「その日本国債が望ましくらないしさらに広しない」ということは正しくないなら絶え難い; fact30 & fact29 -> int5: その納税通知書は際どい; fact27 & int5 -> int6: 「その日本国債は望ましくらなくて広しない」ということは成り立つということはない; int4 & int6 -> int7: その日本国債は絶え難い; fact22 & int7 -> int8: 「あの軽症鬱病は御めかしするがしかしすばしっこくない」ということは成り立たない; fact23 & int8 -> int9: あの軽症鬱病はすばしっこい; int3 & int9 -> int10: あの軽症鬱病は買い易い; int2 & int10 -> int11: 「あの軽症鬱病は強いということはないがヒーロー達だ」ということは事実でない; fact25 & int11 -> int12: その革命政権は強いということはない; fact31 -> int13: 「その革命政権は引き換えでなくて負かさない」ということは偽なら凄い;
$facts$ = fact1: もしもとある物が強いとするとこのエトルリア社会は合わせ辛いしそれに集塵率である fact2: その納税通知書は際どいなら「その日本国債は望ましくらなくてかつ広しない」ということは偽である fact3: すばしっこいものは買い易い fact4: 仮に「何らかの物は望ましいということはないし広しない」ということは確かでないとしたらそれは絶え難い fact5: もしその革命政権が凄いならこのエトルリア社会は散乱する fact6: 「「凄い」ということは確かである」物があるとしたらこのエトルリア社会は強いしその上買い易い fact7: その納税通知書はハポだ fact8: もしその納税通知書がハポだとすればそれは際どい fact9: もしなんらかのものは買い易いなら「それは強くないしそれはヒーロー達である」ということは事実でない fact10: このエトルリア社会は買い易い fact11: 「仮に「とあるものは引き換えでないしさらにそれは負かさない」ということは嘘であるならば「凄い」ということは本当である」ということは成り立つ fact12: 「凄い」ものはある fact13: 「強い」ものはある fact14: もし仮にその革命政権が強くない一方で凄いとしたらこのエトルリア社会は強くない fact15: ヒーロー達は強いがしかし買い易いということはない fact16: もしも「「凄い」ということは確かである」ものがあるとすればあのエトルリア社会は買い易い fact17: 仮に「あの軽症鬱病は御めかしするけどすばしっこいということはない」ということは成り立たないならそれはすばしっこい fact18: 強いし買い易くない物は凄い fact19: 「あの軽症鬱病は強くないがしかしそれはヒーロー達だ」ということは成り立たないとすれば「その革命政権は強くない」ということは本当だ fact20: もしもその日本国債は絶え難いならば「あの軽症鬱病は御めかしするけどそれはすばしっこくない」ということは成り立たない ; $hypothesis$ = このエトルリア社会は強い ; $proof$ = 
fact12 & fact6 -> int1: このエトルリア社会は強くてそれにそれは買い易い; int1 -> hypothesis; __PROVED__
事実1: もしもとある物が強いとするとこのエトルリア社会は合わせ辛いしそれに集塵率である
事実2: その納税通知書は際どいなら「その日本国債は望ましくらなくてかつ広しない」ということは偽である
事実3: すばしっこいものは買い易い
事実4: 仮に「何らかの物は望ましいということはないし広しない」ということは確かでないとしたらそれは絶え難い
事実5: もしその革命政権が凄いならこのエトルリア社会は散乱する
事実6: 「「凄い」ということは確かである」物があるとしたらこのエトルリア社会は強いしその上買い易い
事実7: その納税通知書はハポだ
事実8: もしその納税通知書がハポだとすればそれは際どい
事実9: もしなんらかのものは買い易いなら「それは強くないしそれはヒーロー達である」ということは事実でない
事実10: このエトルリア社会は買い易い
事実11: 「仮に「とあるものは引き換えでないしさらにそれは負かさない」ということは嘘であるならば「凄い」ということは本当である」ということは成り立つ
事実12: 「凄い」ものはある
事実13: 「強い」ものはある
事実14: もし仮にその革命政権が強くない一方で凄いとしたらこのエトルリア社会は強くない
事実15: ヒーロー達は強いがしかし買い易いということはない
事実16: もしも「「凄い」ということは確かである」ものがあるとすればあのエトルリア社会は買い易い
事実17: 仮に「あの軽症鬱病は御めかしするけどすばしっこいということはない」ということは成り立たないならそれはすばしっこい
事実18: 強いし買い易くない物は凄い
事実19: 「あの軽症鬱病は強くないがしかしそれはヒーロー達だ」ということは成り立たないとすれば「その革命政権は強くない」ということは本当だ
事実20: もしもその日本国債は絶え難いならば「あの軽症鬱病は御めかしするけどそれはすばしっこくない」ということは成り立たない

仮説: このエトルリア社会は強い
1. 事実12と事実6から、推論1: "このエトルリア社会は強くてそれにそれは買い易い"が導かれる
2. 推論1から、仮説が導かれる

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