このシステムフォルダは詩作であるということはない
fact1: 「このシステムフォルダは確立・整備するということはないかまたは打ち寄せないかもしくは両方ともである」ということは偽である fact2: もし「このシステムフォルダは確立・整備しないかそれは打ち寄せない」ということは間違っていれば詩作でない
$facts$ = fact1: 「このシステムフォルダは確立・整備するということはないかまたは打ち寄せないかもしくは両方ともである」ということは偽である fact2: もし「このシステムフォルダは確立・整備しないかそれは打ち寄せない」ということは間違っていれば詩作でない ; $hypothesis$ = このシステムフォルダは詩作であるということはない ; $proof$ = 
事実1: 「このシステムフォルダは確立・整備するということはないかまたは打ち寄せないかもしくは両方ともである」ということは偽である
事実2: もし「このシステムフォルダは確立・整備しないかそれは打ち寄せない」ということは間違っていれば詩作でない

仮説: このシステムフォルダは詩作であるということはない