「あの見積もりは取れ難い」ということは成り立たない
fact1: 「あの見積もりは相互作用する」ということは真実だ fact2: もしあの見積もりが相互作用するならそれは取れ難い fact3: 「あの平安遺文は相互作用する」ということは真実だ
$facts$ = fact1: 「あの見積もりは相互作用する」ということは真実だ fact2: もしあの見積もりが相互作用するならそれは取れ難い fact3: 「あの平安遺文は相互作用する」ということは真実だ ; $hypothesis$ = 「あの見積もりは取れ難い」ということは成り立たない ; $proof$ = 
事実1: 「あの見積もりは相互作用する」ということは真実だ
事実2: もしあの見積もりが相互作用するならそれは取れ難い
事実3: 「あの平安遺文は相互作用する」ということは真実だ

仮説: 「あの見積もりは取れ難い」ということは成り立たない