「「もし仮に「脂っこい」ということは事実であるとすれば惨たらしいということはないしかつ右胸な」物はある」ということは成り立たない
fact1: 「固持するとすると規定出来るし抜き難い」物はある fact2: もしもあの新婚カップルが脂っこいとしたら右胸だ fact3: 「もしも財産・財務だとしたら「覆わないけれど良い」ということは本当な」ものはある fact4: 仮にあの新婚カップルが脂っこいならば抜き難くないが支持性である fact5: 「もしも「脂っこい」ということは本当であるとすると惨たらしいしその上右胸な」ものはある fact6: 脂っこい物は惨たらしいし右胸だ fact7: もし仮に「あの新婚カップルは脂っこい」ということは成り立つなら惨たらしくてさらに右胸だ fact8: 強迫傾向は話し易いということはないけれどぶらぶらする fact9: 「もし脂っこいならば右胸である」ものはある fact10: 仮にあの新婚カップルが吸い出せば堆肥化しないけど育ち難い fact11: 脂っこい物は右胸である fact12: 脂っこいものは惨たらしくないが右胸だ fact13: 見苦しいものは怪しくないけど無声化し易い
fact12 -> int1: もし仮にあの新婚カップルが脂っこいとしたら惨たらしくないが右胸だ; int1 -> hypothesis;
$facts$ = fact1: 「固持するとすると規定出来るし抜き難い」物はある fact2: もしもあの新婚カップルが脂っこいとしたら右胸だ fact3: 「もしも財産・財務だとしたら「覆わないけれど良い」ということは本当な」ものはある fact4: 仮にあの新婚カップルが脂っこいならば抜き難くないが支持性である fact5: 「もしも「脂っこい」ということは本当であるとすると惨たらしいしその上右胸な」ものはある fact6: 脂っこい物は惨たらしいし右胸だ fact7: もし仮に「あの新婚カップルは脂っこい」ということは成り立つなら惨たらしくてさらに右胸だ fact8: 強迫傾向は話し易いということはないけれどぶらぶらする fact9: 「もし脂っこいならば右胸である」ものはある fact10: 仮にあの新婚カップルが吸い出せば堆肥化しないけど育ち難い fact11: 脂っこい物は右胸である fact12: 脂っこいものは惨たらしくないが右胸だ fact13: 見苦しいものは怪しくないけど無声化し易い ; $hypothesis$ = 「「もし仮に「脂っこい」ということは事実であるとすれば惨たらしいということはないしかつ右胸な」物はある」ということは成り立たない ; $proof$ = 
fact12 -> int1: もし仮にあの新婚カップルが脂っこいとしたら惨たらしくないが右胸だ; int1 -> hypothesis; __DISPROVED__
事実1: 「固持するとすると規定出来るし抜き難い」物はある
事実2: もしもあの新婚カップルが脂っこいとしたら右胸だ
事実3: 「もしも財産・財務だとしたら「覆わないけれど良い」ということは本当な」ものはある
事実4: 仮にあの新婚カップルが脂っこいならば抜き難くないが支持性である
事実5: 「もしも「脂っこい」ということは本当であるとすると惨たらしいしその上右胸な」ものはある
事実6: 脂っこい物は惨たらしいし右胸だ
事実7: もし仮に「あの新婚カップルは脂っこい」ということは成り立つなら惨たらしくてさらに右胸だ
事実8: 強迫傾向は話し易いということはないけれどぶらぶらする
事実9: 「もし脂っこいならば右胸である」ものはある
事実10: 仮にあの新婚カップルが吸い出せば堆肥化しないけど育ち難い
事実11: 脂っこい物は右胸である
事実12: 脂っこいものは惨たらしくないが右胸だ
事実13: 見苦しいものは怪しくないけど無声化し易い

仮説: 「「もし仮に「脂っこい」ということは事実であるとすれば惨たらしいということはないしかつ右胸な」物はある」ということは成り立たない
1. 事実12から、推論1: "もし仮にあの新婚カップルが脂っこいとしたら惨たらしくないが右胸だ"が導かれる
2. 推論1から、仮説が否定される

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