このライッコラ屋敷は使い終わるけど嬉しくない
fact1: 仮にこのライッコラ屋敷は狙い難くないなら「それは使い終わるが嬉しくない」ということは誤りだ fact2: このライッコラ屋敷は狙い難いということはない
$facts$ = fact1: 仮にこのライッコラ屋敷は狙い難くないなら「それは使い終わるが嬉しくない」ということは誤りだ fact2: このライッコラ屋敷は狙い難いということはない ; $hypothesis$ = このライッコラ屋敷は使い終わるけど嬉しくない ; $proof$ = 
事実1: 仮にこのライッコラ屋敷は狙い難くないなら「それは使い終わるが嬉しくない」ということは誤りだ
事実2: このライッコラ屋敷は狙い難いということはない

仮説: このライッコラ屋敷は使い終わるけど嬉しくない