この耐風梁は暗示する
fact1: この耐風梁が溶け難いならばそれは野暮ったくない fact2: この耐風梁は野暮ったくない fact3: もしもこの耐風梁は渡り掛けるしさらに野暮ったいとしたらそれは暗示しない fact4: この耐風梁は渡り掛けるけれど野暮ったくないとするとそれは暗示しない fact5: もし仮に「この耐風梁は溶け難い」ということは成り立つとすればそれは渡り掛けるが野暮ったくない fact6: この耐風梁は溶け難い
fact5 & fact6 -> int1: この耐風梁は渡り掛けるけれど野暮ったいということはない; int1 & fact4 -> hypothesis;
$facts$ = fact1: この耐風梁が溶け難いならばそれは野暮ったくない fact2: この耐風梁は野暮ったくない fact3: もしもこの耐風梁は渡り掛けるしさらに野暮ったいとしたらそれは暗示しない fact4: この耐風梁は渡り掛けるけれど野暮ったくないとするとそれは暗示しない fact5: もし仮に「この耐風梁は溶け難い」ということは成り立つとすればそれは渡り掛けるが野暮ったくない fact6: この耐風梁は溶け難い ; $hypothesis$ = この耐風梁は暗示する ; $proof$ = 
fact5 & fact6 -> int1: この耐風梁は渡り掛けるけれど野暮ったいということはない; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: この耐風梁が溶け難いならばそれは野暮ったくない
事実2: この耐風梁は野暮ったくない
事実3: もしもこの耐風梁は渡り掛けるしさらに野暮ったいとしたらそれは暗示しない
事実4: この耐風梁は渡り掛けるけれど野暮ったくないとするとそれは暗示しない
事実5: もし仮に「この耐風梁は溶け難い」ということは成り立つとすればそれは渡り掛けるが野暮ったくない
事実6: この耐風梁は溶け難い

仮説: この耐風梁は暗示する
1. 事実5と事実6から、推論1: "この耐風梁は渡り掛けるけれど野暮ったいということはない"が導かれる
2. 推論1と事実4から、仮説が否定される

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