その控訴審は宇宙戦艦ヤマトで更にそれは肥大する
fact1: 「理学士でない」物はある fact2: もしもある物は理学士でないならば「その控訴審は宇宙戦艦ヤマトであるしそれは肥大する」ということは成り立つということはない
$facts$ = fact1: 「理学士でない」物はある fact2: もしもある物は理学士でないならば「その控訴審は宇宙戦艦ヤマトであるしそれは肥大する」ということは成り立つということはない ; $hypothesis$ = その控訴審は宇宙戦艦ヤマトで更にそれは肥大する ; $proof$ = 
事実1: 「理学士でない」物はある
事実2: もしもある物は理学士でないならば「その控訴審は宇宙戦艦ヤマトであるしそれは肥大する」ということは成り立つということはない

仮説: その控訴審は宇宙戦艦ヤマトで更にそれは肥大する