「その法廷審理は阻止する」ということは成り立つ
fact1: 「「その法廷審理はまどろっこしいけれどでかくない」ということは嘘だ」ということは成り立つ fact2: もし「その法廷審理はまどろっこしいけどでかくない」ということは嘘であるなら阻止しない
$facts$ = fact1: 「「その法廷審理はまどろっこしいけれどでかくない」ということは嘘だ」ということは成り立つ fact2: もし「その法廷審理はまどろっこしいけどでかくない」ということは嘘であるなら阻止しない ; $hypothesis$ = 「その法廷審理は阻止する」ということは成り立つ ; $proof$ = 
事実1: 「「その法廷審理はまどろっこしいけれどでかくない」ということは嘘だ」ということは成り立つ
事実2: もし「その法廷審理はまどろっこしいけどでかくない」ということは嘘であるなら阻止しない

仮説: 「その法廷審理は阻止する」ということは成り立つ