その内地部隊は演算要素だけれどＵ字型でない
fact1: その内地部隊は理屈っぽくない fact2: もし仮にその内地部隊は理屈っぽくないなら「演算要素だがしかしＵ字型でない」ということは事実と異なる
$facts$ = fact1: その内地部隊は理屈っぽくない fact2: もし仮にその内地部隊は理屈っぽくないなら「演算要素だがしかしＵ字型でない」ということは事実と異なる ; $hypothesis$ = その内地部隊は演算要素だけれどＵ字型でない ; $proof$ = 
事実1: その内地部隊は理屈っぽくない
事実2: もし仮にその内地部隊は理屈っぽくないなら「演算要素だがしかしＵ字型でない」ということは事実と異なる

仮説: その内地部隊は演算要素だけれどＵ字型でない