その右足ブロックは西岸である
fact1: 仮に「「ＧＣＴできつい」ということは成り立たない」物があるとすればその右足ブロックは西岸だ fact2: 「「ＧＣＴだしさらにきつい」ということは嘘な」ものはある
$facts$ = fact1: 仮に「「ＧＣＴできつい」ということは成り立たない」物があるとすればその右足ブロックは西岸だ fact2: 「「ＧＣＴだしさらにきつい」ということは嘘な」ものはある ; $hypothesis$ = その右足ブロックは西岸である ; $proof$ = 
事実1: 仮に「「ＧＣＴできつい」ということは成り立たない」物があるとすればその右足ブロックは西岸だ
事実2: 「「ＧＣＴだしさらにきつい」ということは嘘な」ものはある

仮説: その右足ブロックは西岸である