「この同性同士は詠唱でない」ということは本当である
fact1: もしその横着が軟らかくないとするとこの同性同士は詠唱でない fact2: その横着は天長でないかまたは軟らかいということはないかどちらもである fact3: もし仮にその横着が天長でないならこの同性同士は詠唱でない
$facts$ = fact1: もしその横着が軟らかくないとするとこの同性同士は詠唱でない fact2: その横着は天長でないかまたは軟らかいということはないかどちらもである fact3: もし仮にその横着が天長でないならこの同性同士は詠唱でない ; $hypothesis$ = 「この同性同士は詠唱でない」ということは本当である ; $proof$ = 
事実1: もしその横着が軟らかくないとするとこの同性同士は詠唱でない
事実2: その横着は天長でないかまたは軟らかいということはないかどちらもである
事実3: もし仮にその横着が天長でないならこの同性同士は詠唱でない

仮説: 「この同性同士は詠唱でない」ということは本当である