「「もし「「淡いし配布する」ということは成り立つ」ということは成り立たないならば揺すない」ものはある」ということは事実と異なる
fact1: 「なんらかのものは荒振るしさらにそれは同定する」ということは成り立たないならばとろいということはない fact2: 「「理解し辛くてさらにスチール製だ」ということは成り立たないとしたら動かない」ものはある fact3: 「もし仮に淡いししかも配布するなら揺すない」物はある fact4: 仮に「この鑿は淡くてまたそれは配布する」ということは成り立たないとすると揺す fact5: 「「仮に淡くないなら揺すということはない」物はある」ということは本当である fact6: この鑿は淡いし配布するとすれば揺すということはない fact7: もし仮に「この鑿は淡くて更にそれは配布する」ということは成り立たないとしたら揺すない fact8: 「もし仮に配布しないなら「揺すない」ということは事実な」ものはある fact9: 「もし「淡くてまた配布する」ということは嘘だとすると揺す」ものはある fact10: あの来意が日がなでないとすれば配布しない
fact7 -> hypothesis;
fact7 -> hypothesis;
「もし「荒振るし加えて同定する」ということは成り立たないならとろくない」物はある
fact11 -> int1: 「あの半凶は荒振るしかつ同定する」ということは成り立つということはないとしたらそれはとろくない; int1 -> hypothesis;
$facts$ = fact1: 「なんらかのものは荒振るしさらにそれは同定する」ということは成り立たないならばとろいということはない fact2: 「「理解し辛くてさらにスチール製だ」ということは成り立たないとしたら動かない」ものはある fact3: 「もし仮に淡いししかも配布するなら揺すない」物はある fact4: 仮に「この鑿は淡くてまたそれは配布する」ということは成り立たないとすると揺す fact5: 「「仮に淡くないなら揺すということはない」物はある」ということは本当である fact6: この鑿は淡いし配布するとすれば揺すということはない fact7: もし仮に「この鑿は淡くて更にそれは配布する」ということは成り立たないとしたら揺すない fact8: 「もし仮に配布しないなら「揺すない」ということは事実な」ものはある fact9: 「もし「淡くてまた配布する」ということは嘘だとすると揺す」ものはある fact10: あの来意が日がなでないとすれば配布しない ; $hypothesis$ = 「「もし「「淡いし配布する」ということは成り立つ」ということは成り立たないならば揺すない」ものはある」ということは事実と異なる ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: 「なんらかのものは荒振るしさらにそれは同定する」ということは成り立たないならばとろいということはない
事実2: 「「理解し辛くてさらにスチール製だ」ということは成り立たないとしたら動かない」ものはある
事実3: 「もし仮に淡いししかも配布するなら揺すない」物はある
事実4: 仮に「この鑿は淡くてまたそれは配布する」ということは成り立たないとすると揺す
事実5: 「「仮に淡くないなら揺すということはない」物はある」ということは本当である
事実6: この鑿は淡いし配布するとすれば揺すということはない
事実7: もし仮に「この鑿は淡くて更にそれは配布する」ということは成り立たないとしたら揺すない
事実8: 「もし仮に配布しないなら「揺すない」ということは事実な」ものはある
事実9: 「もし「淡くてまた配布する」ということは嘘だとすると揺す」ものはある
事実10: あの来意が日がなでないとすれば配布しない

仮説: 「「もし「「淡いし配布する」ということは成り立つ」ということは成り立たないならば揺すない」ものはある」ということは事実と異なる
1. 事実7から、仮説が否定される

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