「「もし「結婚しないしそれに粘るということはない」ということは成り立たないならば集まり易くない」ものはある」ということは誤りである
fact1: 「もしも「抱き付く」ということは正しいとすると華々しくない」物はある fact2: このしつこさは逃げ捲らないしさらに反映され易くないとすれば「集まり易いということはない」ということは事実だ fact3: 「もし仮に下降するとすれば言い終わらない」物はある fact4: 仮に「あるものは結婚しないし加えて粘らない」ということは嘘であるとすると集まり易くない fact5: もしも「「あの参議院議員は晴れがましいけれどそれは集まり易くない」ということは真実だ」ということは偽だとしたらそれは詰まり易いということはない fact6: もし「何らかのものは比較考察しないし充当しない」ということは真実でないとしたら歩哨だ fact7: 「「もし仮にミクロゾームだとしたら捜査班であるということはない」ものはある」ということは確かである
fact4 -> int1: もしも「このしつこさは結婚するということはないしおまけに粘らない」ということは成り立たないとすると「集まり易くない」ということは事実である; int1 -> hypothesis;
$facts$ = fact1: 「もしも「抱き付く」ということは正しいとすると華々しくない」物はある fact2: このしつこさは逃げ捲らないしさらに反映され易くないとすれば「集まり易いということはない」ということは事実だ fact3: 「もし仮に下降するとすれば言い終わらない」物はある fact4: 仮に「あるものは結婚しないし加えて粘らない」ということは嘘であるとすると集まり易くない fact5: もしも「「あの参議院議員は晴れがましいけれどそれは集まり易くない」ということは真実だ」ということは偽だとしたらそれは詰まり易いということはない fact6: もし「何らかのものは比較考察しないし充当しない」ということは真実でないとしたら歩哨だ fact7: 「「もし仮にミクロゾームだとしたら捜査班であるということはない」ものはある」ということは確かである ; $hypothesis$ = 「「もし「結婚しないしそれに粘るということはない」ということは成り立たないならば集まり易くない」ものはある」ということは誤りである ; $proof$ = 
fact4 -> int1: もしも「このしつこさは結婚するということはないしおまけに粘らない」ということは成り立たないとすると「集まり易くない」ということは事実である; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも「抱き付く」ということは正しいとすると華々しくない」物はある
事実2: このしつこさは逃げ捲らないしさらに反映され易くないとすれば「集まり易いということはない」ということは事実だ
事実3: 「もし仮に下降するとすれば言い終わらない」物はある
事実4: 仮に「あるものは結婚しないし加えて粘らない」ということは嘘であるとすると集まり易くない
事実5: もしも「「あの参議院議員は晴れがましいけれどそれは集まり易くない」ということは真実だ」ということは偽だとしたらそれは詰まり易いということはない
事実6: もし「何らかのものは比較考察しないし充当しない」ということは真実でないとしたら歩哨だ
事実7: 「「もし仮にミクロゾームだとしたら捜査班であるということはない」ものはある」ということは確かである

仮説: 「「もし「結婚しないしそれに粘るということはない」ということは成り立たないならば集まり易くない」ものはある」ということは誤りである
1. 事実4から、推論1: "もしも「このしつこさは結婚するということはないしおまけに粘らない」ということは成り立たないとすると「集まり易くない」ということは事実である"が導かれる
2. 推論1から、仮説が否定される

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