「この失速が打撃力だしさらに後ろめたさである」ということは間違っている
fact1: 「何かは潔しし回復し得る」ということは事実と異なるとすれば打撃力でない fact2: 「あの工業経済は後ろめたさであるし打撃力である」ということは成り立たない fact3: もし仮に何かは闇付きだということはないとすると高しし取っ組み合う fact4: もしも「あの工業経済は後ろめたさで加えてそれは笑い出す」ということは成り立たないならそれは打撃力だということはない fact5: 「その民主主義国家は闇付きでない一方でそれはトマトベースだ」ということは嘘だ fact6: あの工業経済は据え兼ねるしトマトベースだ fact7: 仮に「あの工業経済は笑い出すししかも安藤組だ」ということは成り立つということはないならそれは後ろめたさでない fact8: もしあの工業経済は安藤組でないとすると「後ろめたさでない」ということは成り立つ fact9: もしこの失速がフランス人らしくないとしたらそれはよろよろしない fact10: もしこの失速が笑い出さないならば後ろめたさでない fact11: なにがしかの物は高しとすると「それは後ろめたさでないしそれに苦々しかない」ということは成り立たない fact12: もしも「この失速は打撃力でない」ということは真実であるとしたら「あの工業経済は後ろめたさでそれに打撃力である」ということは成り立たない fact13: もしもこの政治的権能が闇付きでないとするとあの工業経済は闇付きでない fact14: 「あの工業経済は笑い出すしそれは安藤組だ」ということは成り立たない fact15: 「もし仮にあの工業経済が闇付きでないとするとこの失速は打撃力であるし加えて苦々しい」ということは成り立つ fact16: もし仮にあの工業経済は後ろめたさでないとしたら「この失速は打撃力で加えて後ろめたさだ」ということは成り立たない fact17: もしも「その民主主義国家は闇付きでないがしかしトマトベースである」ということは偽だとしたらこの政治的権能は闇付きでない fact18: あるものがべと付くとしたらそれは取っ組み合わなくてまた高しない fact19: もしあの工業経済がべと付くしそれが据え兼ねればそれは闇付きだということはない fact20: 「あの工業経済は後ろめたさでないし苦々しかない」ということは成り立つということはないとするとその校外学習は打撃力でない
fact7 & fact14 -> int1: あの工業経済は後ろめたさでない; int1 & fact16 -> hypothesis;
fact7 & fact14 -> int1: ¬{B}{a}; int1 & fact16 -> hypothesis;
もし「この失速は潔ししそれに回復し得る」ということは成り立たないならば打撃力でない
fact21 -> hypothesis;
$facts$ = fact1: 「何かは潔しし回復し得る」ということは事実と異なるとすれば打撃力でない fact2: 「あの工業経済は後ろめたさであるし打撃力である」ということは成り立たない fact3: もし仮に何かは闇付きだということはないとすると高しし取っ組み合う fact4: もしも「あの工業経済は後ろめたさで加えてそれは笑い出す」ということは成り立たないならそれは打撃力だということはない fact5: 「その民主主義国家は闇付きでない一方でそれはトマトベースだ」ということは嘘だ fact6: あの工業経済は据え兼ねるしトマトベースだ fact7: 仮に「あの工業経済は笑い出すししかも安藤組だ」ということは成り立つということはないならそれは後ろめたさでない fact8: もしあの工業経済は安藤組でないとすると「後ろめたさでない」ということは成り立つ fact9: もしこの失速がフランス人らしくないとしたらそれはよろよろしない fact10: もしこの失速が笑い出さないならば後ろめたさでない fact11: なにがしかの物は高しとすると「それは後ろめたさでないしそれに苦々しかない」ということは成り立たない fact12: もしも「この失速は打撃力でない」ということは真実であるとしたら「あの工業経済は後ろめたさでそれに打撃力である」ということは成り立たない fact13: もしもこの政治的権能が闇付きでないとするとあの工業経済は闇付きでない fact14: 「あの工業経済は笑い出すしそれは安藤組だ」ということは成り立たない fact15: 「もし仮にあの工業経済が闇付きでないとするとこの失速は打撃力であるし加えて苦々しい」ということは成り立つ fact16: もし仮にあの工業経済は後ろめたさでないとしたら「この失速は打撃力で加えて後ろめたさだ」ということは成り立たない fact17: もしも「その民主主義国家は闇付きでないがしかしトマトベースである」ということは偽だとしたらこの政治的権能は闇付きでない fact18: あるものがべと付くとしたらそれは取っ組み合わなくてまた高しない fact19: もしあの工業経済がべと付くしそれが据え兼ねればそれは闇付きだということはない fact20: 「あの工業経済は後ろめたさでないし苦々しかない」ということは成り立つということはないとするとその校外学習は打撃力でない ; $hypothesis$ = 「この失速が打撃力だしさらに後ろめたさである」ということは間違っている ; $proof$ = 
fact7 & fact14 -> int1: あの工業経済は後ろめたさでない; int1 & fact16 -> hypothesis; __PROVED__
事実1: 「何かは潔しし回復し得る」ということは事実と異なるとすれば打撃力でない
事実2: 「あの工業経済は後ろめたさであるし打撃力である」ということは成り立たない
事実3: もし仮に何かは闇付きだということはないとすると高しし取っ組み合う
事実4: もしも「あの工業経済は後ろめたさで加えてそれは笑い出す」ということは成り立たないならそれは打撃力だということはない
事実5: 「その民主主義国家は闇付きでない一方でそれはトマトベースだ」ということは嘘だ
事実6: あの工業経済は据え兼ねるしトマトベースだ
事実7: 仮に「あの工業経済は笑い出すししかも安藤組だ」ということは成り立つということはないならそれは後ろめたさでない
事実8: もしあの工業経済は安藤組でないとすると「後ろめたさでない」ということは成り立つ
事実9: もしこの失速がフランス人らしくないとしたらそれはよろよろしない
事実10: もしこの失速が笑い出さないならば後ろめたさでない
事実11: なにがしかの物は高しとすると「それは後ろめたさでないしそれに苦々しかない」ということは成り立たない
事実12: もしも「この失速は打撃力でない」ということは真実であるとしたら「あの工業経済は後ろめたさでそれに打撃力である」ということは成り立たない
事実13: もしもこの政治的権能が闇付きでないとするとあの工業経済は闇付きでない
事実14: 「あの工業経済は笑い出すしそれは安藤組だ」ということは成り立たない
事実15: 「もし仮にあの工業経済が闇付きでないとするとこの失速は打撃力であるし加えて苦々しい」ということは成り立つ
事実16: もし仮にあの工業経済は後ろめたさでないとしたら「この失速は打撃力で加えて後ろめたさだ」ということは成り立たない
事実17: もしも「その民主主義国家は闇付きでないがしかしトマトベースである」ということは偽だとしたらこの政治的権能は闇付きでない
事実18: あるものがべと付くとしたらそれは取っ組み合わなくてまた高しない
事実19: もしあの工業経済がべと付くしそれが据え兼ねればそれは闇付きだということはない
事実20: 「あの工業経済は後ろめたさでないし苦々しかない」ということは成り立つということはないとするとその校外学習は打撃力でない

仮説: 「この失速が打撃力だしさらに後ろめたさである」ということは間違っている
1. 事実7と事実14から、推論1: "あの工業経済は後ろめたさでない"が導かれる
2. 推論1と事実16から、仮説が導かれる

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