「「内側でないとすれば出し難いし更に蔵書印である」ものはある」ということは事実でない
fact1: 何かは内側でないならば「出し難いししかも蔵書印だ」ということは真実だ fact2: もしこの遺産動機は正規留学でないならば「それは経済変動だ」ということは成り立つ
fact1 -> int1: もし仮にこの麻痺側筋緊張は内側でないならそれは出し難いししかも蔵書印だ; int1 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ({AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 何かは内側でないならば「出し難いししかも蔵書印だ」ということは真実だ fact2: もしこの遺産動機は正規留学でないならば「それは経済変動だ」ということは成り立つ ; $hypothesis$ = 「「内側でないとすれば出し難いし更に蔵書印である」ものはある」ということは事実でない ; $proof$ = 
fact1 -> int1: もし仮にこの麻痺側筋緊張は内側でないならそれは出し難いししかも蔵書印だ; int1 -> hypothesis; __DISPROVED__
事実1: 何かは内側でないならば「出し難いししかも蔵書印だ」ということは真実だ
事実2: もしこの遺産動機は正規留学でないならば「それは経済変動だ」ということは成り立つ

仮説: 「「内側でないとすれば出し難いし更に蔵書印である」ものはある」ということは事実でない
1. 事実1から、推論1: "もし仮にこの麻痺側筋緊張は内側でないならそれは出し難いししかも蔵書印だ"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。