「「常備菜でないとすればひもじいし更にビジュアル化する」ものはある」ということは成り立たない
fact1: 「もし仮に常備菜でないとすればひもじい」物はある fact2: 仮にとあるものは常備菜であるということはないとしたらひもじい fact3: もしもあるものが控除出来ないならばえげつない fact4: 常備菜はひもじいしビジュアル化する fact5: むさくない物は自宅内である fact6: 仮にあの衝撃は常備菜でないならばそれはひもじい fact7: 「もし仮に立ち戻れないなら踊り出すし中国向け再輸出な」物はある fact8: もし仮にとあるものは常備菜でないならそれはひもじくてビジュアル化する fact9: 仮にあの衝撃が思い止まらないとしたら手間取る fact10: 仮にあの衝撃が常備菜であるならそれはひもじくてまたビジュアル化する fact11: 「もし常備菜であるならひもじいし更にビジュアル化する」ものはある fact12: もし仮にその霊性が手緩くないならそれは野辺である fact13: もしも何らかのものが伝え易いなら目録だし加えて討伐する
fact8 -> int1: もしあの衝撃は常備菜でないならばひもじくてまたビジュアル化する; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に常備菜でないとすればひもじい」物はある fact2: 仮にとあるものは常備菜であるということはないとしたらひもじい fact3: もしもあるものが控除出来ないならばえげつない fact4: 常備菜はひもじいしビジュアル化する fact5: むさくない物は自宅内である fact6: 仮にあの衝撃は常備菜でないならばそれはひもじい fact7: 「もし仮に立ち戻れないなら踊り出すし中国向け再輸出な」物はある fact8: もし仮にとあるものは常備菜でないならそれはひもじくてビジュアル化する fact9: 仮にあの衝撃が思い止まらないとしたら手間取る fact10: 仮にあの衝撃が常備菜であるならそれはひもじくてまたビジュアル化する fact11: 「もし常備菜であるならひもじいし更にビジュアル化する」ものはある fact12: もし仮にその霊性が手緩くないならそれは野辺である fact13: もしも何らかのものが伝え易いなら目録だし加えて討伐する ; $hypothesis$ = 「「常備菜でないとすればひもじいし更にビジュアル化する」ものはある」ということは成り立たない ; $proof$ = 
fact8 -> int1: もしあの衝撃は常備菜でないならばひもじくてまたビジュアル化する; int1 -> hypothesis; __DISPROVED__
事実1: 「もし仮に常備菜でないとすればひもじい」物はある
事実2: 仮にとあるものは常備菜であるということはないとしたらひもじい
事実3: もしもあるものが控除出来ないならばえげつない
事実4: 常備菜はひもじいしビジュアル化する
事実5: むさくない物は自宅内である
事実6: 仮にあの衝撃は常備菜でないならばそれはひもじい
事実7: 「もし仮に立ち戻れないなら踊り出すし中国向け再輸出な」物はある
事実8: もし仮にとあるものは常備菜でないならそれはひもじくてビジュアル化する
事実9: 仮にあの衝撃が思い止まらないとしたら手間取る
事実10: 仮にあの衝撃が常備菜であるならそれはひもじくてまたビジュアル化する
事実11: 「もし常備菜であるならひもじいし更にビジュアル化する」ものはある
事実12: もし仮にその霊性が手緩くないならそれは野辺である
事実13: もしも何らかのものが伝え易いなら目録だし加えて討伐する

仮説: 「「常備菜でないとすればひもじいし更にビジュアル化する」ものはある」ということは成り立たない
1. 事実8から、推論1: "もしあの衝撃は常備菜でないならばひもじくてまたビジュアル化する"が導かれる
2. 推論1から、仮説が否定される

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