その所有割合は出来るししかもそれは態とらしい
fact1: その所有割合は出来る fact2: その所有割合は態とらしい fact3: もし「あるものは軽い」ということは嘘でないなら色好くない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
「その所有割合は出来るし更に態とらしい」ということは間違いだ
fact4 -> int1: もしこの片手間が軽いならばそれは色好くない;
$facts$ = fact1: その所有割合は出来る fact2: その所有割合は態とらしい fact3: もし「あるものは軽い」ということは嘘でないなら色好くない ; $hypothesis$ = その所有割合は出来るししかもそれは態とらしい ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: その所有割合は出来る
事実2: その所有割合は態とらしい
事実3: もし「あるものは軽い」ということは嘘でないなら色好くない

仮説: その所有割合は出来るししかもそれは態とらしい
1. 事実1と事実2から、仮説が導かれる

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