この担保法は欲しい
fact1: 「このクイディッチはしゃあ無いし変造する」ということは成り立たない fact2: もし仮に「このクイディッチはしゃあ無くて変造する」ということは間違っているとするとこの担保法は欲しいということはない
$facts$ = fact1: 「このクイディッチはしゃあ無いし変造する」ということは成り立たない fact2: もし仮に「このクイディッチはしゃあ無くて変造する」ということは間違っているとするとこの担保法は欲しいということはない ; $hypothesis$ = この担保法は欲しい ; $proof$ = 
事実1: 「このクイディッチはしゃあ無いし変造する」ということは成り立たない
事実2: もし仮に「このクイディッチはしゃあ無くて変造する」ということは間違っているとするとこの担保法は欲しいということはない

仮説: この担保法は欲しい