そのローストポークはひょろ長い
fact1: 「そのローストポークは沈み掛けないけど透過性である」ということは成り立たない fact2: 「そのローストポークは沈み掛けないがしかしそれは透過性である」ということは成り立たないとするとそれはひょろ長くない
$facts$ = fact1: 「そのローストポークは沈み掛けないけど透過性である」ということは成り立たない fact2: 「そのローストポークは沈み掛けないがしかしそれは透過性である」ということは成り立たないとするとそれはひょろ長くない ; $hypothesis$ = そのローストポークはひょろ長い ; $proof$ = 
事実1: 「そのローストポークは沈み掛けないけど透過性である」ということは成り立たない
事実2: 「そのローストポークは沈み掛けないがしかしそれは透過性である」ということは成り立たないとするとそれはひょろ長くない

仮説: そのローストポークはひょろ長い