その使用期間は底堅いかもしくは離れ難いかまたは両方ともである
fact1: 仮にある物が取り合わないとするとその使用期間は底堅くない fact2: もし仮に「取り合わない」物はあるとすれば「その使用期間は底堅いか離れ難い」ということは誤りである fact3: 「「その使用期間はつれないかもしくは底堅いか両方ともだ」ということは成り立つ」ということは成り立たない fact4: その使用期間は皮肉っぽくない fact5: もしそのクラスライブラリが上げ難いということはないとするとその使用期間は取り合うしかつ底堅い fact6: 「取り合わない」物はある fact7: 「あるものは離れ難い」ということは本当である
fact6 & fact2 -> hypothesis;
fact6 & fact2 -> hypothesis;
その使用期間は底堅いか離れ難いかもしくは両方である
$facts$ = fact1: 仮にある物が取り合わないとするとその使用期間は底堅くない fact2: もし仮に「取り合わない」物はあるとすれば「その使用期間は底堅いか離れ難い」ということは誤りである fact3: 「「その使用期間はつれないかもしくは底堅いか両方ともだ」ということは成り立つ」ということは成り立たない fact4: その使用期間は皮肉っぽくない fact5: もしそのクラスライブラリが上げ難いということはないとするとその使用期間は取り合うしかつ底堅い fact6: 「取り合わない」物はある fact7: 「あるものは離れ難い」ということは本当である ; $hypothesis$ = その使用期間は底堅いかもしくは離れ難いかまたは両方ともである ; $proof$ = 
fact6 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にある物が取り合わないとするとその使用期間は底堅くない
事実2: もし仮に「取り合わない」物はあるとすれば「その使用期間は底堅いか離れ難い」ということは誤りである
事実3: 「「その使用期間はつれないかもしくは底堅いか両方ともだ」ということは成り立つ」ということは成り立たない
事実4: その使用期間は皮肉っぽくない
事実5: もしそのクラスライブラリが上げ難いということはないとするとその使用期間は取り合うしかつ底堅い
事実6: 「取り合わない」物はある
事実7: 「あるものは離れ難い」ということは本当である

仮説: その使用期間は底堅いかもしくは離れ難いかまたは両方ともである
1. 事実6と事実2から、仮説が否定される

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