「その小稿はＡＲＦだ」ということは事実だ
fact1: もし「その二十項目はむず痒くないが揚子江だ」ということは誤っていればその小稿はＡＲＦでない fact2: 「その二十項目はむず痒くないけど揚子江だ」ということは誤りである
$facts$ = fact1: もし「その二十項目はむず痒くないが揚子江だ」ということは誤っていればその小稿はＡＲＦでない fact2: 「その二十項目はむず痒くないけど揚子江だ」ということは誤りである ; $hypothesis$ = 「その小稿はＡＲＦだ」ということは事実だ ; $proof$ = 
事実1: もし「その二十項目はむず痒くないが揚子江だ」ということは誤っていればその小稿はＡＲＦでない
事実2: 「その二十項目はむず痒くないけど揚子江だ」ということは誤りである

仮説: 「その小稿はＡＲＦだ」ということは事実だ