「仮に「スイミングスクールであるしまた官公庁である」ということは成り立たないなら擦り混ぜない」物はある
fact1: 「もしスイミングスクールであるし官公庁だとすると擦り混ぜない」物はある fact2: その中間学派がスイミングスクールでないとすればそれは擦り混ぜるということはない fact3: 「「仮に「スイミングスクールだし官公庁である」ということは間違いなら擦り混ぜる」ものはある」ということは事実だ fact4: 「もし仮に止めど無くないとしたら商家でない」ものはある fact5: 「もし仮にスイミングスクールでないとすると擦り混ぜない」物はある fact6: 「その中間学派はスイミングスクールであるしおまけに官公庁である」ということは間違っているとすればそれは擦り混ぜない
fact6 -> hypothesis;
$facts$ = fact1: 「もしスイミングスクールであるし官公庁だとすると擦り混ぜない」物はある fact2: その中間学派がスイミングスクールでないとすればそれは擦り混ぜるということはない fact3: 「「仮に「スイミングスクールだし官公庁である」ということは間違いなら擦り混ぜる」ものはある」ということは事実だ fact4: 「もし仮に止めど無くないとしたら商家でない」ものはある fact5: 「もし仮にスイミングスクールでないとすると擦り混ぜない」物はある fact6: 「その中間学派はスイミングスクールであるしおまけに官公庁である」ということは間違っているとすればそれは擦り混ぜない ; $hypothesis$ = 「仮に「スイミングスクールであるしまた官公庁である」ということは成り立たないなら擦り混ぜない」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「もしスイミングスクールであるし官公庁だとすると擦り混ぜない」物はある
事実2: その中間学派がスイミングスクールでないとすればそれは擦り混ぜるということはない
事実3: 「「仮に「スイミングスクールだし官公庁である」ということは間違いなら擦り混ぜる」ものはある」ということは事実だ
事実4: 「もし仮に止めど無くないとしたら商家でない」ものはある
事実5: 「もし仮にスイミングスクールでないとすると擦り混ぜない」物はある
事実6: 「その中間学派はスイミングスクールであるしおまけに官公庁である」ということは間違っているとすればそれは擦り混ぜない

仮説: 「仮に「スイミングスクールであるしまた官公庁である」ということは成り立たないなら擦り混ぜない」物はある
1. 事実6から、仮説が導かれる

よって、仮説が証明されました。