その部屋付きメイドは義務付ける
fact1: 「「その部屋付きメイドは与し易くないしそれはデータフォルダ容量でない」ということは間違いである」ということは事実だ fact2: 仮に「その部屋付きメイドは与し易いということはないしかつデータフォルダ容量であるということはない」ということは成り立たないなら義務付ける
$facts$ = fact1: 「「その部屋付きメイドは与し易くないしそれはデータフォルダ容量でない」ということは間違いである」ということは事実だ fact2: 仮に「その部屋付きメイドは与し易いということはないしかつデータフォルダ容量であるということはない」ということは成り立たないなら義務付ける ; $hypothesis$ = その部屋付きメイドは義務付ける ; $proof$ = 
事実1: 「「その部屋付きメイドは与し易くないしそれはデータフォルダ容量でない」ということは間違いである」ということは事実だ
事実2: 仮に「その部屋付きメイドは与し易いということはないしかつデータフォルダ容量であるということはない」ということは成り立たないなら義務付ける

仮説: その部屋付きメイドは義務付ける