「あの本マンションは意地悪い」ということは確かである
fact1: 仮に「この活人剣は担い得るが見積もり書検索画面でない」ということは成り立つということはないなら「あの本マンションは意地悪い」ということは成り立つ fact2: 「この活人剣は担い得るが見積もり書検索画面でない」ということは誤っている
$facts$ = fact1: 仮に「この活人剣は担い得るが見積もり書検索画面でない」ということは成り立つということはないなら「あの本マンションは意地悪い」ということは成り立つ fact2: 「この活人剣は担い得るが見積もり書検索画面でない」ということは誤っている ; $hypothesis$ = 「あの本マンションは意地悪い」ということは確かである ; $proof$ = 
事実1: 仮に「この活人剣は担い得るが見積もり書検索画面でない」ということは成り立つということはないなら「あの本マンションは意地悪い」ということは成り立つ
事実2: 「この活人剣は担い得るが見積もり書検索画面でない」ということは誤っている

仮説: 「あの本マンションは意地悪い」ということは確かである