この無茶は読み熟す一方で無理無いということはない
fact1: もしもこのプログラミングは後ろ右足であるとすれば「この無茶は読み熟すがそれは無理無くない」ということは成り立たない fact2: このプログラミングは後ろ右足である
$facts$ = fact1: もしもこのプログラミングは後ろ右足であるとすれば「この無茶は読み熟すがそれは無理無くない」ということは成り立たない fact2: このプログラミングは後ろ右足である ; $hypothesis$ = この無茶は読み熟す一方で無理無いということはない ; $proof$ = 
事実1: もしもこのプログラミングは後ろ右足であるとすれば「この無茶は読み熟すがそれは無理無くない」ということは成り立たない
事実2: このプログラミングは後ろ右足である

仮説: この無茶は読み熟す一方で無理無いということはない