「この厄介事は兼ね合いでない」ということは確かである
fact1: もし仮にこの正面図がＰＲＯならばこの厄介事は兼ね合いである fact2: もし仮にこの正面図が据え付けるとすればこの厄介事は兼ね合いである fact3: この正面図はＰＲＯであるかあるいは据え付ける
$facts$ = fact1: もし仮にこの正面図がＰＲＯならばこの厄介事は兼ね合いである fact2: もし仮にこの正面図が据え付けるとすればこの厄介事は兼ね合いである fact3: この正面図はＰＲＯであるかあるいは据え付ける ; $hypothesis$ = 「この厄介事は兼ね合いでない」ということは確かである ; $proof$ = 
事実1: もし仮にこの正面図がＰＲＯならばこの厄介事は兼ね合いである
事実2: もし仮にこの正面図が据え付けるとすればこの厄介事は兼ね合いである
事実3: この正面図はＰＲＯであるかあるいは据え付ける

仮説: 「この厄介事は兼ね合いでない」ということは確かである