「格好良さだとしたら行き帰りだということはないし打った切る」物はある
fact1: あるものは格好良さだとしたらそれは行き帰りでないけど打った切る
fact1 -> int1: もしもこの科学用語は格好良さだとすればそれは行き帰りでなくて更に打った切る; int1 -> hypothesis;
$facts$ = fact1: あるものは格好良さだとしたらそれは行き帰りでないけど打った切る ; $hypothesis$ = 「格好良さだとしたら行き帰りだということはないし打った切る」物はある ; $proof$ = 
fact1 -> int1: もしもこの科学用語は格好良さだとすればそれは行き帰りでなくて更に打った切る; int1 -> hypothesis; __PROVED__
事実1: あるものは格好良さだとしたらそれは行き帰りでないけど打った切る

仮説: 「格好良さだとしたら行き帰りだということはないし打った切る」物はある
1. 事実1から、推論1: "もしもこの科学用語は格好良さだとすればそれは行き帰りでなくて更に打った切る"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。