その第二戦は怪しい
fact1: 走り易くない物は運転し易くないとすれば怪しい fact2: 出入りし易いしかつ美し物は切り揃えない fact3: 仮に「なにがしかのものは良い物であって再編集しない」ということは間違っていれば「それは怪しい」ということは偽である fact4: 「その第二戦は良いし再編集する」ということは成り立つということはない fact5: 仮にとあるものが再編集するとしたら怪しくない fact6: あの妹弟は出入りし易い fact7: もしその第二戦が再編集するとすればそれは怪しいということはない fact8: 「その第二戦は良い一方で再編集しない」ということは偽だ
fact3 -> int1: もし仮に「その第二戦は良い一方で再編集しない」ということは間違いならそれは怪しくない; int1 & fact8 -> hypothesis;
「その第二戦は怪しい」ということは正しい
fact9 -> int2: その第二戦が走り易くないしその上運転し易いということはないとすれば「それは怪しい」ということは正しい; fact11 -> int3: あの妹弟が出入りし易くてそれが美しとすれば切り揃えない;
$facts$ = fact1: 走り易くない物は運転し易くないとすれば怪しい fact2: 出入りし易いしかつ美し物は切り揃えない fact3: 仮に「なにがしかのものは良い物であって再編集しない」ということは間違っていれば「それは怪しい」ということは偽である fact4: 「その第二戦は良いし再編集する」ということは成り立つということはない fact5: 仮にとあるものが再編集するとしたら怪しくない fact6: あの妹弟は出入りし易い fact7: もしその第二戦が再編集するとすればそれは怪しいということはない fact8: 「その第二戦は良い一方で再編集しない」ということは偽だ ; $hypothesis$ = その第二戦は怪しい ; $proof$ = 
fact3 -> int1: もし仮に「その第二戦は良い一方で再編集しない」ということは間違いならそれは怪しくない; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: 走り易くない物は運転し易くないとすれば怪しい
事実2: 出入りし易いしかつ美し物は切り揃えない
事実3: 仮に「なにがしかのものは良い物であって再編集しない」ということは間違っていれば「それは怪しい」ということは偽である
事実4: 「その第二戦は良いし再編集する」ということは成り立つということはない
事実5: 仮にとあるものが再編集するとしたら怪しくない
事実6: あの妹弟は出入りし易い
事実7: もしその第二戦が再編集するとすればそれは怪しいということはない
事実8: 「その第二戦は良い一方で再編集しない」ということは偽だ

仮説: その第二戦は怪しい
1. 事実3から、推論1: "もし仮に「その第二戦は良い一方で再編集しない」ということは間違いならそれは怪しくない"が導かれる
2. 推論1と事実8から、仮説が否定される

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