この□マークはケーブルテレビだ
fact1: 「「正文でないししかも忘れ易い」ということは偽な」物はある fact2: 「「正文でなくて忘れ易い」ということは成り立たない」ものがあるとしたらこの□マークはケーブルテレビだということはない
$facts$ = fact1: 「「正文でないししかも忘れ易い」ということは偽な」物はある fact2: 「「正文でなくて忘れ易い」ということは成り立たない」ものがあるとしたらこの□マークはケーブルテレビだということはない ; $hypothesis$ = この□マークはケーブルテレビだ ; $proof$ = 
事実1: 「「正文でないししかも忘れ易い」ということは偽な」物はある
事実2: 「「正文でなくて忘れ易い」ということは成り立たない」ものがあるとしたらこの□マークはケーブルテレビだということはない

仮説: この□マークはケーブルテレビだ