あの初陣は奥床しい
fact1: 「「このユーザーサイドは助からないしおまけに頼り甲斐でない」ということは正しい」ということは誤っている fact2: 「もしも「このユーザーサイドは助からないし頼り甲斐でない」ということは間違いであるならばあの初陣は奥床しい」ということは本当だ
$facts$ = fact1: 「「このユーザーサイドは助からないしおまけに頼り甲斐でない」ということは正しい」ということは誤っている fact2: 「もしも「このユーザーサイドは助からないし頼り甲斐でない」ということは間違いであるならばあの初陣は奥床しい」ということは本当だ ; $hypothesis$ = あの初陣は奥床しい ; $proof$ = 
事実1: 「「このユーザーサイドは助からないしおまけに頼り甲斐でない」ということは正しい」ということは誤っている
事実2: 「もしも「このユーザーサイドは助からないし頼り甲斐でない」ということは間違いであるならばあの初陣は奥床しい」ということは本当だ

仮説: あの初陣は奥床しい