この国内各地は自動車工業だ
fact1: 小心者は共有結合するがしかしナショナルでない fact2: もし仮に「その大祓はスローフードであるかまたは熱っぽい」ということは成り立たないならこの国内各地は自動車工業である fact3: もし仮にこの左隣は適応するということはないとしたら「その大祓はスローフードでないかあるいはそれは熱っぽいかまたは両方である」ということは嘘だ fact4: 「このちょきは適応するかまたはそれは退色し易いということはない」ということは事実でないとしたらその大祓は適応するということはない fact5: もし「その大祓はスローフードでないかあるいは熱っぽいかあるいはどちらもだ」ということは誤っているならこの国内各地は自動車工業だ fact6: この印刷工は罪深くないとすると「このちょきは適応するかまたは退色し易くない」ということは誤っている fact7: もしもこの左隣が青っぽくないしまた自動車工業でないとすればあの大祓は自動車工業だ fact8: 仮に何かは重々しかないとするとそれは小心者である fact9: もし仮にこの左隣は適応しないならば「その大祓はスローフードだ」ということは確かである fact10: 「この左隣はスローフードでないかあるいは熱っぽいかもしくはどちらもである」ということは誤りであるとすれば「その大祓は適応する」ということは真実である fact11: もし「この左隣は青っぽい一方で自動車工業でない」ということは確かであるならばこの国内各地は自動車工業でない fact12: 「その大祓はスローフードだ」ということは偽でない fact13: この左隣は適応しない fact14: このＰＴＳは適応しない fact15: もしもなんらかの物がナショナルでないとすればそれは罪深いかまたは遣る瀬無くないかもしくはどちらもだ fact16: もしあの滑降が共有結合する一方でナショナルだということはないならあのヘッジはナショナルでない fact17: 「あのランナーは重々しいけどそれは廃棄処分しない」ということは成り立たない fact18: 仮にその大祓が適応するということはないならばこの左隣は青っぽいけど自動車工業でない fact19: 仮に「とある物は罪深くないが退色し易い」ということは偽だとすれば適応する fact20: もしこの国内各地が適応するならこの左隣は青っぽくないしかつ自動車工業でない
fact3 & fact13 -> int1: 「その大祓はスローフードでないかもしくは熱っぽいかあるいは両方だ」ということは嘘である; int1 & fact5 -> hypothesis;
fact3 & fact13 -> int1: ¬(¬{AA}{b} v {AB}{b}); int1 & fact5 -> hypothesis;
この国内各地は自動車工業でない
fact21 -> int2: あのヘッジがナショナルであるということはないなら罪深いかそれは遣る瀬無いということはないかもしくはどちらもだ; fact27 -> int3: 仮にあの滑降が小心者だとすればそれは共有結合する一方でナショナルでない; fact22 -> int4: もし「あの滑降は重々しかない」ということは成り立てばそれは小心者だ; fact24 -> int5: 「「「重々しいがしかし廃棄処分しない」ということは事実である」ということは成り立たない」物はある;
$facts$ = fact1: 小心者は共有結合するがしかしナショナルでない fact2: もし仮に「その大祓はスローフードであるかまたは熱っぽい」ということは成り立たないならこの国内各地は自動車工業である fact3: もし仮にこの左隣は適応するということはないとしたら「その大祓はスローフードでないかあるいはそれは熱っぽいかまたは両方である」ということは嘘だ fact4: 「このちょきは適応するかまたはそれは退色し易いということはない」ということは事実でないとしたらその大祓は適応するということはない fact5: もし「その大祓はスローフードでないかあるいは熱っぽいかあるいはどちらもだ」ということは誤っているならこの国内各地は自動車工業だ fact6: この印刷工は罪深くないとすると「このちょきは適応するかまたは退色し易くない」ということは誤っている fact7: もしもこの左隣が青っぽくないしまた自動車工業でないとすればあの大祓は自動車工業だ fact8: 仮に何かは重々しかないとするとそれは小心者である fact9: もし仮にこの左隣は適応しないならば「その大祓はスローフードだ」ということは確かである fact10: 「この左隣はスローフードでないかあるいは熱っぽいかもしくはどちらもである」ということは誤りであるとすれば「その大祓は適応する」ということは真実である fact11: もし「この左隣は青っぽい一方で自動車工業でない」ということは確かであるならばこの国内各地は自動車工業でない fact12: 「その大祓はスローフードだ」ということは偽でない fact13: この左隣は適応しない fact14: このＰＴＳは適応しない fact15: もしもなんらかの物がナショナルでないとすればそれは罪深いかまたは遣る瀬無くないかもしくはどちらもだ fact16: もしあの滑降が共有結合する一方でナショナルだということはないならあのヘッジはナショナルでない fact17: 「あのランナーは重々しいけどそれは廃棄処分しない」ということは成り立たない fact18: 仮にその大祓が適応するということはないならばこの左隣は青っぽいけど自動車工業でない fact19: 仮に「とある物は罪深くないが退色し易い」ということは偽だとすれば適応する fact20: もしこの国内各地が適応するならこの左隣は青っぽくないしかつ自動車工業でない ; $hypothesis$ = この国内各地は自動車工業だ ; $proof$ = 
fact3 & fact13 -> int1: 「その大祓はスローフードでないかもしくは熱っぽいかあるいは両方だ」ということは嘘である; int1 & fact5 -> hypothesis; __PROVED__
事実1: 小心者は共有結合するがしかしナショナルでない
事実2: もし仮に「その大祓はスローフードであるかまたは熱っぽい」ということは成り立たないならこの国内各地は自動車工業である
事実3: もし仮にこの左隣は適応するということはないとしたら「その大祓はスローフードでないかあるいはそれは熱っぽいかまたは両方である」ということは嘘だ
事実4: 「このちょきは適応するかまたはそれは退色し易いということはない」ということは事実でないとしたらその大祓は適応するということはない
事実5: もし「その大祓はスローフードでないかあるいは熱っぽいかあるいはどちらもだ」ということは誤っているならこの国内各地は自動車工業だ
事実6: この印刷工は罪深くないとすると「このちょきは適応するかまたは退色し易くない」ということは誤っている
事実7: もしもこの左隣が青っぽくないしまた自動車工業でないとすればあの大祓は自動車工業だ
事実8: 仮に何かは重々しかないとするとそれは小心者である
事実9: もし仮にこの左隣は適応しないならば「その大祓はスローフードだ」ということは確かである
事実10: 「この左隣はスローフードでないかあるいは熱っぽいかもしくはどちらもである」ということは誤りであるとすれば「その大祓は適応する」ということは真実である
事実11: もし「この左隣は青っぽい一方で自動車工業でない」ということは確かであるならばこの国内各地は自動車工業でない
事実12: 「その大祓はスローフードだ」ということは偽でない
事実13: この左隣は適応しない
事実14: このＰＴＳは適応しない
事実15: もしもなんらかの物がナショナルでないとすればそれは罪深いかまたは遣る瀬無くないかもしくはどちらもだ
事実16: もしあの滑降が共有結合する一方でナショナルだということはないならあのヘッジはナショナルでない
事実17: 「あのランナーは重々しいけどそれは廃棄処分しない」ということは成り立たない
事実18: 仮にその大祓が適応するということはないならばこの左隣は青っぽいけど自動車工業でない
事実19: 仮に「とある物は罪深くないが退色し易い」ということは偽だとすれば適応する
事実20: もしこの国内各地が適応するならこの左隣は青っぽくないしかつ自動車工業でない

仮説: この国内各地は自動車工業だ
1. 事実3と事実13から、推論1: "「その大祓はスローフードでないかもしくは熱っぽいかあるいは両方だ」ということは嘘である"が導かれる
2. 推論1と事実5から、仮説が導かれる

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