この踏み石は起草だということはない
fact1: もし「「処理すか稲妻強盗でないかまたは両方ともだ」ということは成り立たない」物があるとすればこの踏み石は起草でない fact2: 「「処理すかあるいは稲妻強盗でないか両方ともである」ということは間違っている」ものはある
$facts$ = fact1: もし「「処理すか稲妻強盗でないかまたは両方ともだ」ということは成り立たない」物があるとすればこの踏み石は起草でない fact2: 「「処理すかあるいは稲妻強盗でないか両方ともである」ということは間違っている」ものはある ; $hypothesis$ = この踏み石は起草だということはない ; $proof$ = 
事実1: もし「「処理すか稲妻強盗でないかまたは両方ともだ」ということは成り立たない」物があるとすればこの踏み石は起草でない
事実2: 「「処理すかあるいは稲妻強盗でないか両方ともである」ということは間違っている」ものはある

仮説: この踏み石は起草だということはない