このＩＴ技術は長編化でない
fact1: もしも「「酸くて鎌倉川岸だ」ということは成り立たない」ものがあればこのＩＴ技術は長編化である fact2: 「「酸いし鎌倉川岸だ」ということは間違いである」ものはある
$facts$ = fact1: もしも「「酸くて鎌倉川岸だ」ということは成り立たない」ものがあればこのＩＴ技術は長編化である fact2: 「「酸いし鎌倉川岸だ」ということは間違いである」ものはある ; $hypothesis$ = このＩＴ技術は長編化でない ; $proof$ = 
事実1: もしも「「酸くて鎌倉川岸だ」ということは成り立たない」ものがあればこのＩＴ技術は長編化である
事実2: 「「酸いし鎌倉川岸だ」ということは間違いである」ものはある

仮説: このＩＴ技術は長編化でない