「この艦は上昇し易くない」ということは成り立つ
fact1: もし仮に「なにがしかの物は御強くなくて大リーグでない」ということは間違いならばそれはアップリケ用布でない fact2: その実行方法はアップリケ用布だ fact3: この艦はアップリケ用布だ fact4: 御強いものはアップリケ用布である fact5: もしもこの息子がアップリケ用布だとしたらこの艦は上昇し易い fact6: 仮にこの息子が若鳥でないとしたらあの低血糖症状は大リーグであるしまた御強い fact7: もし仮にこの艦がアップリケ用布であるとしたらこの息子は上昇し易い fact8: この息子はアップリケ用布だ fact9: その実行方法が若鳥だとするとこの息子は若鳥である fact10: この息子は上昇し易い
fact5 & fact8 -> hypothesis;
あの低血糖症状は上昇し易い
fact11 -> int1: 「もしもあの低血糖症状が御強いとしたらあの低血糖症状はアップリケ用布だ」ということは成り立つ;
$facts$ = fact1: もし仮に「なにがしかの物は御強くなくて大リーグでない」ということは間違いならばそれはアップリケ用布でない fact2: その実行方法はアップリケ用布だ fact3: この艦はアップリケ用布だ fact4: 御強いものはアップリケ用布である fact5: もしもこの息子がアップリケ用布だとしたらこの艦は上昇し易い fact6: 仮にこの息子が若鳥でないとしたらあの低血糖症状は大リーグであるしまた御強い fact7: もし仮にこの艦がアップリケ用布であるとしたらこの息子は上昇し易い fact8: この息子はアップリケ用布だ fact9: その実行方法が若鳥だとするとこの息子は若鳥である fact10: この息子は上昇し易い ; $hypothesis$ = 「この艦は上昇し易くない」ということは成り立つ ; $proof$ = 
fact5 & fact8 -> hypothesis; __DISPROVED__
事実1: もし仮に「なにがしかの物は御強くなくて大リーグでない」ということは間違いならばそれはアップリケ用布でない
事実2: その実行方法はアップリケ用布だ
事実3: この艦はアップリケ用布だ
事実4: 御強いものはアップリケ用布である
事実5: もしもこの息子がアップリケ用布だとしたらこの艦は上昇し易い
事実6: 仮にこの息子が若鳥でないとしたらあの低血糖症状は大リーグであるしまた御強い
事実7: もし仮にこの艦がアップリケ用布であるとしたらこの息子は上昇し易い
事実8: この息子はアップリケ用布だ
事実9: その実行方法が若鳥だとするとこの息子は若鳥である
事実10: この息子は上昇し易い

仮説: 「この艦は上昇し易くない」ということは成り立つ
1. 事実5と事実8から、仮説が否定される

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