「「「可愛らしい一方で吹き掛からない」ということは嘘だとすればＢ社でない」物はある」ということは偽である
fact1: 「もし仮に可愛らしいしかつ吹き掛かるということはないとすればＢ社でない」物はある fact2: もしもその経済犯が吹き掛かるとすればＢ社でない fact3: 「「可愛らしいけど吹き掛からない」ということは事実と異なれば「Ｂ社である」ということは成り立つ」物はある fact4: もし「その経済犯は動かし難い一方で交通標識でない」ということは誤りだとしたら同業者であるということはない fact5: 「「重複するし更に寒ーくない」ということは偽だとしたら観光客らしいということはない」ものはある fact6: もし「その経済犯は可愛らしいがしかし気密でない」ということは偽だとすれば「噎せ返らない」ということは正しい fact7: 「何かは可愛らしいがしかし吹き掛からない」ということは間違いであるとするとそれはＢ社でない fact8: 「その経済犯は細いが陰らない」ということは正しくないとするとそれは可愛らしくない fact9: 「仮に「可愛らしいしその上吹き掛かる」ということは事実だということはないとしたら「Ｂ社でない」ということは真実な」ものはある fact10: もしその経済犯が可愛らしい一方で吹き掛からないとしたらＢ社でない fact11: 「もし仮に「あるものは可愛らしいけれど吹き掛からない」ということは成り立たないならばＢ社である」ということは確かだ fact12: 「もし仮に「吹き掛かる」ということは成り立つとするとＢ社でない」物はある fact13: もし仮に可愛らしいものが吹き掛からないとしたらＢ社でない fact14: 「もし仮に「見境無くてそれにアメリカっぽくない」ということは成り立たないとすれば先行文献でない」ものはある fact15: 「可愛らしくないとしたらＢ社でない」ものはある fact16: もし「「その経済犯は可愛らしいけれど吹き掛からない」ということは成り立つ」ということは事実と異なるならそれはＢ社である fact17: 仮に「ある物は同棲である一方でそれは登場しない」ということは誤っているとしたらそれは助け起こさない
fact7 -> int1: もし「その経済犯は可愛らしいけど吹き掛からない」ということは嘘であるならそれはＢ社でない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に可愛らしいしかつ吹き掛かるということはないとすればＢ社でない」物はある fact2: もしもその経済犯が吹き掛かるとすればＢ社でない fact3: 「「可愛らしいけど吹き掛からない」ということは事実と異なれば「Ｂ社である」ということは成り立つ」物はある fact4: もし「その経済犯は動かし難い一方で交通標識でない」ということは誤りだとしたら同業者であるということはない fact5: 「「重複するし更に寒ーくない」ということは偽だとしたら観光客らしいということはない」ものはある fact6: もし「その経済犯は可愛らしいがしかし気密でない」ということは偽だとすれば「噎せ返らない」ということは正しい fact7: 「何かは可愛らしいがしかし吹き掛からない」ということは間違いであるとするとそれはＢ社でない fact8: 「その経済犯は細いが陰らない」ということは正しくないとするとそれは可愛らしくない fact9: 「仮に「可愛らしいしその上吹き掛かる」ということは事実だということはないとしたら「Ｂ社でない」ということは真実な」ものはある fact10: もしその経済犯が可愛らしい一方で吹き掛からないとしたらＢ社でない fact11: 「もし仮に「あるものは可愛らしいけれど吹き掛からない」ということは成り立たないならばＢ社である」ということは確かだ fact12: 「もし仮に「吹き掛かる」ということは成り立つとするとＢ社でない」物はある fact13: もし仮に可愛らしいものが吹き掛からないとしたらＢ社でない fact14: 「もし仮に「見境無くてそれにアメリカっぽくない」ということは成り立たないとすれば先行文献でない」ものはある fact15: 「可愛らしくないとしたらＢ社でない」ものはある fact16: もし「「その経済犯は可愛らしいけれど吹き掛からない」ということは成り立つ」ということは事実と異なるならそれはＢ社である fact17: 仮に「ある物は同棲である一方でそれは登場しない」ということは誤っているとしたらそれは助け起こさない ; $hypothesis$ = 「「「可愛らしい一方で吹き掛からない」ということは嘘だとすればＢ社でない」物はある」ということは偽である ; $proof$ = 
fact7 -> int1: もし「その経済犯は可愛らしいけど吹き掛からない」ということは嘘であるならそれはＢ社でない; int1 -> hypothesis; __DISPROVED__
事実1: 「もし仮に可愛らしいしかつ吹き掛かるということはないとすればＢ社でない」物はある
事実2: もしもその経済犯が吹き掛かるとすればＢ社でない
事実3: 「「可愛らしいけど吹き掛からない」ということは事実と異なれば「Ｂ社である」ということは成り立つ」物はある
事実4: もし「その経済犯は動かし難い一方で交通標識でない」ということは誤りだとしたら同業者であるということはない
事実5: 「「重複するし更に寒ーくない」ということは偽だとしたら観光客らしいということはない」ものはある
事実6: もし「その経済犯は可愛らしいがしかし気密でない」ということは偽だとすれば「噎せ返らない」ということは正しい
事実7: 「何かは可愛らしいがしかし吹き掛からない」ということは間違いであるとするとそれはＢ社でない
事実8: 「その経済犯は細いが陰らない」ということは正しくないとするとそれは可愛らしくない
事実9: 「仮に「可愛らしいしその上吹き掛かる」ということは事実だということはないとしたら「Ｂ社でない」ということは真実な」ものはある
事実10: もしその経済犯が可愛らしい一方で吹き掛からないとしたらＢ社でない
事実11: 「もし仮に「あるものは可愛らしいけれど吹き掛からない」ということは成り立たないならばＢ社である」ということは確かだ
事実12: 「もし仮に「吹き掛かる」ということは成り立つとするとＢ社でない」物はある
事実13: もし仮に可愛らしいものが吹き掛からないとしたらＢ社でない
事実14: 「もし仮に「見境無くてそれにアメリカっぽくない」ということは成り立たないとすれば先行文献でない」ものはある
事実15: 「可愛らしくないとしたらＢ社でない」ものはある
事実16: もし「「その経済犯は可愛らしいけれど吹き掛からない」ということは成り立つ」ということは事実と異なるならそれはＢ社である
事実17: 仮に「ある物は同棲である一方でそれは登場しない」ということは誤っているとしたらそれは助け起こさない

仮説: 「「「可愛らしい一方で吹き掛からない」ということは嘘だとすればＢ社でない」物はある」ということは偽である
1. 事実7から、推論1: "もし「その経済犯は可愛らしいけど吹き掛からない」ということは嘘であるならそれはＢ社でない"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。