「もしも略式手続きだとすれば不味くないしまたリストＲアンドでない」物はある
fact1: 仮にその矢吹丈が略式手続きであるならそれは不味くないしリストＲアンドでない
$facts$ = fact1: 仮にその矢吹丈が略式手続きであるならそれは不味くないしリストＲアンドでない ; $hypothesis$ = 「もしも略式手続きだとすれば不味くないしまたリストＲアンドでない」物はある ; $proof$ = 
事実1: 仮にその矢吹丈が略式手続きであるならそれは不味くないしリストＲアンドでない

仮説: 「もしも略式手続きだとすれば不味くないしまたリストＲアンドでない」物はある