この権力集中は悪いしかつ食べ切れる
fact1: あのＧＭＳが沸騰するならこのバカンラウニカウは食べ切れないしまたそれは注意深くない fact2: もしもこのバカンラウニカウは食べ切れないしそれに注意深くないならば「この権力集中は注意深い」ということは本当である fact3: この権力集中が沸騰しないとするとそれは悪くてそれに食べ切れる fact4: もし仮にあの一子は地域地区でないならそれは悪いということはない一方で沸騰する fact5: 仮にこの権力集中は注意深いし参宮であるとすればそれは小斜歯歯車でない fact6: 「小斜歯歯車である」ものはある fact7: 何もかもは定立するということはないかもしくは地域地区であるかあるいはどちらもだ fact8: もし仮にあの一子が沸騰するとすればあのＧＭＳは沸騰する fact9: 仮に何らかのものは小斜歯歯車だとしたら「このバカンラウニカウは注意深くないししかも参宮でない」ということは成り立たない fact10: 仮に「「このバカンラウニカウは注意深くなくて参宮でない」ということは確かである」ということは間違っているならばあの権力集中は沸騰するということはない fact11: もしあの分類名称が定立しないか地域地区であるかもしくは両方であるとしたらあの一子は地域地区でない
fact6 & fact9 -> int1: 「このバカンラウニカウは注意深くなくて参宮であるということはない」ということは誤りである; int1 & fact10 -> int2: この権力集中は沸騰しない; int2 & fact3 -> hypothesis;
この権力集中は小斜歯歯車でない
fact14 -> int3: あの分類名称は定立しないかもしくはそれは地域地区だ; fact17 & int3 -> int4: あの一子は地域地区でない; fact18 & int4 -> int5: あの一子は悪くないがしかし沸騰する; int5 -> int6: あの一子は沸騰する; fact15 & int6 -> int7: あのＧＭＳは沸騰する; fact13 & int7 -> int8: このバカンラウニカウは食べ切れないししかもそれは注意深くない; fact12 & int8 -> int9: この権力集中は注意深い;
$facts$ = fact1: あのＧＭＳが沸騰するならこのバカンラウニカウは食べ切れないしまたそれは注意深くない fact2: もしもこのバカンラウニカウは食べ切れないしそれに注意深くないならば「この権力集中は注意深い」ということは本当である fact3: この権力集中が沸騰しないとするとそれは悪くてそれに食べ切れる fact4: もし仮にあの一子は地域地区でないならそれは悪いということはない一方で沸騰する fact5: 仮にこの権力集中は注意深いし参宮であるとすればそれは小斜歯歯車でない fact6: 「小斜歯歯車である」ものはある fact7: 何もかもは定立するということはないかもしくは地域地区であるかあるいはどちらもだ fact8: もし仮にあの一子が沸騰するとすればあのＧＭＳは沸騰する fact9: 仮に何らかのものは小斜歯歯車だとしたら「このバカンラウニカウは注意深くないししかも参宮でない」ということは成り立たない fact10: 仮に「「このバカンラウニカウは注意深くなくて参宮でない」ということは確かである」ということは間違っているならばあの権力集中は沸騰するということはない fact11: もしあの分類名称が定立しないか地域地区であるかもしくは両方であるとしたらあの一子は地域地区でない ; $hypothesis$ = この権力集中は悪いしかつ食べ切れる ; $proof$ = 
fact6 & fact9 -> int1: 「このバカンラウニカウは注意深くなくて参宮であるということはない」ということは誤りである; int1 & fact10 -> int2: この権力集中は沸騰しない; int2 & fact3 -> hypothesis; __PROVED__
事実1: あのＧＭＳが沸騰するならこのバカンラウニカウは食べ切れないしまたそれは注意深くない
事実2: もしもこのバカンラウニカウは食べ切れないしそれに注意深くないならば「この権力集中は注意深い」ということは本当である
事実3: この権力集中が沸騰しないとするとそれは悪くてそれに食べ切れる
事実4: もし仮にあの一子は地域地区でないならそれは悪いということはない一方で沸騰する
事実5: 仮にこの権力集中は注意深いし参宮であるとすればそれは小斜歯歯車でない
事実6: 「小斜歯歯車である」ものはある
事実7: 何もかもは定立するということはないかもしくは地域地区であるかあるいはどちらもだ
事実8: もし仮にあの一子が沸騰するとすればあのＧＭＳは沸騰する
事実9: 仮に何らかのものは小斜歯歯車だとしたら「このバカンラウニカウは注意深くないししかも参宮でない」ということは成り立たない
事実10: 仮に「「このバカンラウニカウは注意深くなくて参宮でない」ということは確かである」ということは間違っているならばあの権力集中は沸騰するということはない
事実11: もしあの分類名称が定立しないか地域地区であるかもしくは両方であるとしたらあの一子は地域地区でない

仮説: この権力集中は悪いしかつ食べ切れる
1. 事実6と事実9から、推論1: "「このバカンラウニカウは注意深くなくて参宮であるということはない」ということは誤りである"が導かれる
2. 推論1と事実10から、推論2: "この権力集中は沸騰しない"が導かれる
3. 推論2と事実3から、仮説が導かれる

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