その発音は抗議行動でないが薬剤服用だ
fact1: もし仮に何かは秩序付けるなら長いということはない fact2: その発音は長くない fact3: 長いものは抗議行動だということはないが薬剤服用である fact4: その発音が懐っこいがそれが介在しないとしたらその一通りは秩序付ける fact5: 仮にその発音は長くないなら「抗議行動でないしかつそれは薬剤服用だ」ということは間違っている fact6: 「その発音は抗議行動だし加えてそれは薬剤服用だ」ということは偽だ fact7: もし何らかのものは長くないならば「それはシャベルでないけれど死体遺棄だ」ということは事実と異なる fact8: 仮にその発音は長いということはないとしたら「抗議行動であるしそれに薬剤服用だ」ということは真実でない
fact5 & fact2 -> hypothesis;
fact5 & fact2 -> hypothesis;
「その一通りはシャベルでないけれどそれは死体遺棄だ」ということは成り立たない
fact9 -> int1: その一通りは長くないとすれば「それはシャベルでないし更に死体遺棄だ」ということは成り立つということはない; fact10 -> int2: もしもその一通りが秩序付けるとするとそれは長くない;
$facts$ = fact1: もし仮に何かは秩序付けるなら長いということはない fact2: その発音は長くない fact3: 長いものは抗議行動だということはないが薬剤服用である fact4: その発音が懐っこいがそれが介在しないとしたらその一通りは秩序付ける fact5: 仮にその発音は長くないなら「抗議行動でないしかつそれは薬剤服用だ」ということは間違っている fact6: 「その発音は抗議行動だし加えてそれは薬剤服用だ」ということは偽だ fact7: もし何らかのものは長くないならば「それはシャベルでないけれど死体遺棄だ」ということは事実と異なる fact8: 仮にその発音は長いということはないとしたら「抗議行動であるしそれに薬剤服用だ」ということは真実でない ; $hypothesis$ = その発音は抗議行動でないが薬剤服用だ ; $proof$ = 
fact5 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは秩序付けるなら長いということはない
事実2: その発音は長くない
事実3: 長いものは抗議行動だということはないが薬剤服用である
事実4: その発音が懐っこいがそれが介在しないとしたらその一通りは秩序付ける
事実5: 仮にその発音は長くないなら「抗議行動でないしかつそれは薬剤服用だ」ということは間違っている
事実6: 「その発音は抗議行動だし加えてそれは薬剤服用だ」ということは偽だ
事実7: もし何らかのものは長くないならば「それはシャベルでないけれど死体遺棄だ」ということは事実と異なる
事実8: 仮にその発音は長いということはないとしたら「抗議行動であるしそれに薬剤服用だ」ということは真実でない

仮説: その発音は抗議行動でないが薬剤服用だ
1. 事実5と事実2から、仮説が否定される

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