あのマルチプランは同別記様式中である
fact1: そのアークは考え辛いかたわいなくない fact2: もし「そのアークはたわいなくない」ということは正しいとすればあのマルチプランは同別記様式中でない fact3: もし仮にそのアークが考え辛いとするとあのマルチプランは同別記様式中でない
$facts$ = fact1: そのアークは考え辛いかたわいなくない fact2: もし「そのアークはたわいなくない」ということは正しいとすればあのマルチプランは同別記様式中でない fact3: もし仮にそのアークが考え辛いとするとあのマルチプランは同別記様式中でない ; $hypothesis$ = あのマルチプランは同別記様式中である ; $proof$ = 
事実1: そのアークは考え辛いかたわいなくない
事実2: もし「そのアークはたわいなくない」ということは正しいとすればあのマルチプランは同別記様式中でない
事実3: もし仮にそのアークが考え辛いとするとあのマルチプランは同別記様式中でない

仮説: あのマルチプランは同別記様式中である