この間抜けは愛し合わない
fact1: 「この間抜けは結び合わさない」ということは成り立つ fact2: もしこの表面下が進化し易いとすればこの間抜けは平滑化しないけれど鉄船である fact3: もしもこの間抜けは自己完結しない一方で面映ゆいとしたら「愛し合う」ということは正しい fact4: その霊薬は面映ゆかない fact5: この間抜けは自己完結しないけど面映ゆい
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
この間抜けは平滑化しない一方で鉄船である
$facts$ = fact1: 「この間抜けは結び合わさない」ということは成り立つ fact2: もしこの表面下が進化し易いとすればこの間抜けは平滑化しないけれど鉄船である fact3: もしもこの間抜けは自己完結しない一方で面映ゆいとしたら「愛し合う」ということは正しい fact4: その霊薬は面映ゆかない fact5: この間抜けは自己完結しないけど面映ゆい ; $hypothesis$ = この間抜けは愛し合わない ; $proof$ = 
fact3 & fact5 -> hypothesis; __DISPROVED__
事実1: 「この間抜けは結び合わさない」ということは成り立つ
事実2: もしこの表面下が進化し易いとすればこの間抜けは平滑化しないけれど鉄船である
事実3: もしもこの間抜けは自己完結しない一方で面映ゆいとしたら「愛し合う」ということは正しい
事実4: その霊薬は面映ゆかない
事実5: この間抜けは自己完結しないけど面映ゆい

仮説: この間抜けは愛し合わない
1. 事実3と事実5から、仮説が否定される

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