そのソロは掛け流す
fact1: 「そのソロは申述でないけれど捨て場である」ということは成り立たない fact2: 「「そのソロは申述でないがしかし捨て場だ」ということは事実と異なるならそのソロは掛け流す」ということは成り立つ
$facts$ = fact1: 「そのソロは申述でないけれど捨て場である」ということは成り立たない fact2: 「「そのソロは申述でないがしかし捨て場だ」ということは事実と異なるならそのソロは掛け流す」ということは成り立つ ; $hypothesis$ = そのソロは掛け流す ; $proof$ = 
事実1: 「そのソロは申述でないけれど捨て場である」ということは成り立たない
事実2: 「「そのソロは申述でないがしかし捨て場だ」ということは事実と異なるならそのソロは掛け流す」ということは成り立つ

仮説: そのソロは掛け流す