あのＤＳＬは立て難いけど転じない
fact1: 仮にあの上質は適格ＳＰＥでないとしたら「あのＤＳＬは立て難いけど転じるということはない」ということは成り立つということはない fact2: 「このシフォンケーキは転じるけど建設発生木材でない」ということは事実と異なる fact3: 「あの上質は適格ＳＰＥであるしかつ転じる」ということは成り立たない fact4: あの上質は適格ＳＰＥでない fact5: 「あの上質は転じるしその上適格ｓＰＥである」ということは間違いである fact6: もしあの上質は適格ＳＰＥでないとすれば「あのＤＳＬは立て難くて転じる」ということは偽だ
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
$facts$ = fact1: 仮にあの上質は適格ＳＰＥでないとしたら「あのＤＳＬは立て難いけど転じるということはない」ということは成り立つということはない fact2: 「このシフォンケーキは転じるけど建設発生木材でない」ということは事実と異なる fact3: 「あの上質は適格ＳＰＥであるしかつ転じる」ということは成り立たない fact4: あの上質は適格ＳＰＥでない fact5: 「あの上質は転じるしその上適格ｓＰＥである」ということは間違いである fact6: もしあの上質は適格ＳＰＥでないとすれば「あのＤＳＬは立て難くて転じる」ということは偽だ ; $hypothesis$ = あのＤＳＬは立て難いけど転じない ; $proof$ = 
fact1 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にあの上質は適格ＳＰＥでないとしたら「あのＤＳＬは立て難いけど転じるということはない」ということは成り立つということはない
事実2: 「このシフォンケーキは転じるけど建設発生木材でない」ということは事実と異なる
事実3: 「あの上質は適格ＳＰＥであるしかつ転じる」ということは成り立たない
事実4: あの上質は適格ＳＰＥでない
事実5: 「あの上質は転じるしその上適格ｓＰＥである」ということは間違いである
事実6: もしあの上質は適格ＳＰＥでないとすれば「あのＤＳＬは立て難くて転じる」ということは偽だ

仮説: あのＤＳＬは立て難いけど転じない
1. 事実1と事実4から、仮説が否定される

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