「このワイシャツは格好良さだということはないか明け切らない」ということは本当でない
fact1: 仮にこの金網はイントロダクションであるかまたは算定し難くないなら「この設立事業年度は明け切る」ということは確かである fact2: もし仮にこの金網は仲違いしないかあるいは押さえ難いかあるいはどちらもならばそれは仲違いしない fact3: この金網はイントロダクションであるかあるいはそれは算定し難いかあるいは両方である fact4: この金網はイントロダクションであるか算定し難くないかもしくはどちらもである fact5: もしも「「この金網は格好良さでないが仲違いする」ということは事実だ」ということは成り立たないならその編者注は明け切る fact6: 仮に「この設立事業年度は明け切る」ということは正しいとしたら「このワイシャツは格好良さでないかそれは明け切らない」ということは成り立たない
fact1 & fact4 -> int1: この設立事業年度は明け切る; int1 & fact6 -> hypothesis;
このワイシャツは格好良さでないかあるいはそれは明け切らない
$facts$ = fact1: 仮にこの金網はイントロダクションであるかまたは算定し難くないなら「この設立事業年度は明け切る」ということは確かである fact2: もし仮にこの金網は仲違いしないかあるいは押さえ難いかあるいはどちらもならばそれは仲違いしない fact3: この金網はイントロダクションであるかあるいはそれは算定し難いかあるいは両方である fact4: この金網はイントロダクションであるか算定し難くないかもしくはどちらもである fact5: もしも「「この金網は格好良さでないが仲違いする」ということは事実だ」ということは成り立たないならその編者注は明け切る fact6: 仮に「この設立事業年度は明け切る」ということは正しいとしたら「このワイシャツは格好良さでないかそれは明け切らない」ということは成り立たない ; $hypothesis$ = 「このワイシャツは格好良さだということはないか明け切らない」ということは本当でない ; $proof$ = 
fact1 & fact4 -> int1: この設立事業年度は明け切る; int1 & fact6 -> hypothesis; __PROVED__
事実1: 仮にこの金網はイントロダクションであるかまたは算定し難くないなら「この設立事業年度は明け切る」ということは確かである
事実2: もし仮にこの金網は仲違いしないかあるいは押さえ難いかあるいはどちらもならばそれは仲違いしない
事実3: この金網はイントロダクションであるかあるいはそれは算定し難いかあるいは両方である
事実4: この金網はイントロダクションであるか算定し難くないかもしくはどちらもである
事実5: もしも「「この金網は格好良さでないが仲違いする」ということは事実だ」ということは成り立たないならその編者注は明け切る
事実6: 仮に「この設立事業年度は明け切る」ということは正しいとしたら「このワイシャツは格好良さでないかそれは明け切らない」ということは成り立たない

仮説: 「このワイシャツは格好良さだということはないか明け切らない」ということは本当でない
1. 事実1と事実4から、推論1: "この設立事業年度は明け切る"が導かれる
2. 推論1と事実6から、仮説が導かれる

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