「「もし「震う」ということは真実であるとしたら強しないし要約出来ない」ものはある」ということは間違いである
fact1: 仮に何かは震うとすればそれは強しということはなくておまけに要約出来ない fact2: この焼き芋が震えば強しない fact3: もし仮になんらかのものが震うとすると強しということはない fact4: もし仮にあのケイロニア軍が新しとすると要約出来なくて下ろし易くない
fact1 -> int1: もし仮にこの焼き芋が震うとしたらそれは強しないし更にそれは要約出来ない; int1 -> hypothesis;
$facts$ = fact1: 仮に何かは震うとすればそれは強しということはなくておまけに要約出来ない fact2: この焼き芋が震えば強しない fact3: もし仮になんらかのものが震うとすると強しということはない fact4: もし仮にあのケイロニア軍が新しとすると要約出来なくて下ろし易くない ; $hypothesis$ = 「「もし「震う」ということは真実であるとしたら強しないし要約出来ない」ものはある」ということは間違いである ; $proof$ = 
fact1 -> int1: もし仮にこの焼き芋が震うとしたらそれは強しないし更にそれは要約出来ない; int1 -> hypothesis; __DISPROVED__
事実1: 仮に何かは震うとすればそれは強しということはなくておまけに要約出来ない
事実2: この焼き芋が震えば強しない
事実3: もし仮になんらかのものが震うとすると強しということはない
事実4: もし仮にあのケイロニア軍が新しとすると要約出来なくて下ろし易くない

仮説: 「「もし「震う」ということは真実であるとしたら強しないし要約出来ない」ものはある」ということは間違いである
1. 事実1から、推論1: "もし仮にこの焼き芋が震うとしたらそれは強しないし更にそれは要約出来ない"が導かれる
2. 推論1から、仮説が否定される

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