「「その動物解放は一次部品企業だ一方で御恥ずかしくない」ということは本当である」ということは間違いである
fact1: 仮にこの気管食道瘻が一次部品企業だとすれば板さんでなくて荘園村落遺跡調査だ fact2: その動物解放は聞き過ぎないけれどそれは一次部品企業である fact3: もし仮にこの気管食道瘻がどうしても欲しいならばその相変化は発揮し易い fact4: 仮に「「発揮し易い一方で揺るぎなくない」ということは成り立たない」ものがあるとすればその動物解放は発揮し易くない fact5: 「銃撃しない」物はある fact6: もし仮になんらかのものは御恥ずかしくないとすると「発揮し易いけれどどうしても欲しいということはない」ということは偽だ fact7: もし仮にこの気管食道瘻が発揮し易いならばそれは板さんでない fact8: もし仮に何かはどうしても欲しくないとすると「それが一次部品企業だしおまけに御恥ずかしくない」ということは間違いである fact9: この気管食道瘻は発揮し易い fact10: 「「板さんであるということはない」ということは成り立つ」物はある fact11: もし何らかのものは発揮し易くないなら「一次部品企業であるしそれは荘園村落遺跡調査でない」ということは成り立たない fact12: 仮に何らかの物が板さんでないが荘園村落遺跡調査ならその動物解放はどうしても欲しくない fact13: 仮に何らかのものが板さんでないが御恥ずかしいならばその動物解放は荘園村落遺跡調査でない fact14: もしも「その動物解放は銃撃するが一次部品企業でない」ということは偽であるならば一次部品企業である fact15: 「銃撃しない」物はあるなら「その動物解放は銃撃するけれど一次部品企業でない」ということは成り立たない fact16: もし仮にこの気管食道瘻が発揮し易いとすると板さんでないがしかし荘園村落遺跡調査である fact17: なんらかの物は発揮し易いなら「それは揺るぎないけれど板さんでない」ということは成り立たない
fact16 & fact9 -> int1: この気管食道瘻は板さんでないがしかし荘園村落遺跡調査だ; int1 -> int2: 「「板さんでないし加えて荘園村落遺跡調査だ」ということは事実な」ものはある; int2 & fact12 -> int3: その動物解放はどうしても欲しくない; fact8 -> int4: もしその動物解放はどうしても欲しくないならば「それは一次部品企業であるが御恥ずかしくない」ということは間違っている; int3 & int4 -> hypothesis;
「その相変化は揺るぎないがそれは板さんでない」ということは成り立たない
fact20 -> int5: もし仮に「その相変化は発揮し易い」ということは真実であるとすると「揺るぎなくて板さんでない」ということは事実と異なる; fact22 & fact19 -> int6: 「「その動物解放は銃撃するけれど一次部品企業でない」ということは本当だ」ということは成り立たない; fact21 & int6 -> int7: その動物解放は一次部品企業だ;
$facts$ = fact1: 仮にこの気管食道瘻が一次部品企業だとすれば板さんでなくて荘園村落遺跡調査だ fact2: その動物解放は聞き過ぎないけれどそれは一次部品企業である fact3: もし仮にこの気管食道瘻がどうしても欲しいならばその相変化は発揮し易い fact4: 仮に「「発揮し易い一方で揺るぎなくない」ということは成り立たない」ものがあるとすればその動物解放は発揮し易くない fact5: 「銃撃しない」物はある fact6: もし仮になんらかのものは御恥ずかしくないとすると「発揮し易いけれどどうしても欲しいということはない」ということは偽だ fact7: もし仮にこの気管食道瘻が発揮し易いならばそれは板さんでない fact8: もし仮に何かはどうしても欲しくないとすると「それが一次部品企業だしおまけに御恥ずかしくない」ということは間違いである fact9: この気管食道瘻は発揮し易い fact10: 「「板さんであるということはない」ということは成り立つ」物はある fact11: もし何らかのものは発揮し易くないなら「一次部品企業であるしそれは荘園村落遺跡調査でない」ということは成り立たない fact12: 仮に何らかの物が板さんでないが荘園村落遺跡調査ならその動物解放はどうしても欲しくない fact13: 仮に何らかのものが板さんでないが御恥ずかしいならばその動物解放は荘園村落遺跡調査でない fact14: もしも「その動物解放は銃撃するが一次部品企業でない」ということは偽であるならば一次部品企業である fact15: 「銃撃しない」物はあるなら「その動物解放は銃撃するけれど一次部品企業でない」ということは成り立たない fact16: もし仮にこの気管食道瘻が発揮し易いとすると板さんでないがしかし荘園村落遺跡調査である fact17: なんらかの物は発揮し易いなら「それは揺るぎないけれど板さんでない」ということは成り立たない ; $hypothesis$ = 「「その動物解放は一次部品企業だ一方で御恥ずかしくない」ということは本当である」ということは間違いである ; $proof$ = 
fact16 & fact9 -> int1: この気管食道瘻は板さんでないがしかし荘園村落遺跡調査だ; int1 -> int2: 「「板さんでないし加えて荘園村落遺跡調査だ」ということは事実な」ものはある; int2 & fact12 -> int3: その動物解放はどうしても欲しくない; fact8 -> int4: もしその動物解放はどうしても欲しくないならば「それは一次部品企業であるが御恥ずかしくない」ということは間違っている; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮にこの気管食道瘻が一次部品企業だとすれば板さんでなくて荘園村落遺跡調査だ
事実2: その動物解放は聞き過ぎないけれどそれは一次部品企業である
事実3: もし仮にこの気管食道瘻がどうしても欲しいならばその相変化は発揮し易い
事実4: 仮に「「発揮し易い一方で揺るぎなくない」ということは成り立たない」ものがあるとすればその動物解放は発揮し易くない
事実5: 「銃撃しない」物はある
事実6: もし仮になんらかのものは御恥ずかしくないとすると「発揮し易いけれどどうしても欲しいということはない」ということは偽だ
事実7: もし仮にこの気管食道瘻が発揮し易いならばそれは板さんでない
事実8: もし仮に何かはどうしても欲しくないとすると「それが一次部品企業だしおまけに御恥ずかしくない」ということは間違いである
事実9: この気管食道瘻は発揮し易い
事実10: 「「板さんであるということはない」ということは成り立つ」物はある
事実11: もし何らかのものは発揮し易くないなら「一次部品企業であるしそれは荘園村落遺跡調査でない」ということは成り立たない
事実12: 仮に何らかの物が板さんでないが荘園村落遺跡調査ならその動物解放はどうしても欲しくない
事実13: 仮に何らかのものが板さんでないが御恥ずかしいならばその動物解放は荘園村落遺跡調査でない
事実14: もしも「その動物解放は銃撃するが一次部品企業でない」ということは偽であるならば一次部品企業である
事実15: 「銃撃しない」物はあるなら「その動物解放は銃撃するけれど一次部品企業でない」ということは成り立たない
事実16: もし仮にこの気管食道瘻が発揮し易いとすると板さんでないがしかし荘園村落遺跡調査である
事実17: なんらかの物は発揮し易いなら「それは揺るぎないけれど板さんでない」ということは成り立たない

仮説: 「「その動物解放は一次部品企業だ一方で御恥ずかしくない」ということは本当である」ということは間違いである
1. 事実16と事実9から、推論1: "この気管食道瘻は板さんでないがしかし荘園村落遺跡調査だ"が導かれる
2. 推論1から、推論2: "「「板さんでないし加えて荘園村落遺跡調査だ」ということは事実な」ものはある"が導かれる
3. 推論2と事実12から、推論3: "その動物解放はどうしても欲しくない"が導かれる
4. 事実8から、推論4: "もしその動物解放はどうしても欲しくないならば「それは一次部品企業であるが御恥ずかしくない」ということは間違っている"が導かれる
5. 推論3と推論4から、仮説が導かれる

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