その惑星ナインは疼く
fact1: そのフックは疼く fact2: 仮にある物が新規参入組であるかあるいはそれは疼くということはないかもしくはどちらもであるとすると疼かない fact3: どれもこれもは甘いしそれに固める fact4: 「なにかは語り合う」ということは真実であるとするとそれは疼く fact5: 弱しない物は零れ落ちるかもしくは末恐ろしい fact6: 「もしもこのフローラ・ベイ・リゾートが末恐ろしいとすればその惑星ナインは語り合う」ということは本当だ fact7: 仮に「この西春別Ａ・Ｂは役割期待でなくてしかもそれは弱しない」ということは間違っているとすると「このフローラ・ベイ・リゾートは弱しない」ということは真実である fact8: あのかんじきは疼く fact9: もし何らかの物が語り合うならそれは新規参入組であるか疼かないかあるいは両方だ fact10: もし甘いものが固めるとしたらそれはブロックしない fact11: その惑星ナインは疼く fact12: もしなにかはブロックしないなら「それは役割期待でないしかつそれは弱しない」ということは偽だ
fact11 -> hypothesis;
fact11 -> hypothesis;
その次条は疼く
fact13 -> int1: もしも「その次条は語り合う」ということは成り立てば疼く;
$facts$ = fact1: そのフックは疼く fact2: 仮にある物が新規参入組であるかあるいはそれは疼くということはないかもしくはどちらもであるとすると疼かない fact3: どれもこれもは甘いしそれに固める fact4: 「なにかは語り合う」ということは真実であるとするとそれは疼く fact5: 弱しない物は零れ落ちるかもしくは末恐ろしい fact6: 「もしもこのフローラ・ベイ・リゾートが末恐ろしいとすればその惑星ナインは語り合う」ということは本当だ fact7: 仮に「この西春別Ａ・Ｂは役割期待でなくてしかもそれは弱しない」ということは間違っているとすると「このフローラ・ベイ・リゾートは弱しない」ということは真実である fact8: あのかんじきは疼く fact9: もし何らかの物が語り合うならそれは新規参入組であるか疼かないかあるいは両方だ fact10: もし甘いものが固めるとしたらそれはブロックしない fact11: その惑星ナインは疼く fact12: もしなにかはブロックしないなら「それは役割期待でないしかつそれは弱しない」ということは偽だ ; $hypothesis$ = その惑星ナインは疼く ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: そのフックは疼く
事実2: 仮にある物が新規参入組であるかあるいはそれは疼くということはないかもしくはどちらもであるとすると疼かない
事実3: どれもこれもは甘いしそれに固める
事実4: 「なにかは語り合う」ということは真実であるとするとそれは疼く
事実5: 弱しない物は零れ落ちるかもしくは末恐ろしい
事実6: 「もしもこのフローラ・ベイ・リゾートが末恐ろしいとすればその惑星ナインは語り合う」ということは本当だ
事実7: 仮に「この西春別Ａ・Ｂは役割期待でなくてしかもそれは弱しない」ということは間違っているとすると「このフローラ・ベイ・リゾートは弱しない」ということは真実である
事実8: あのかんじきは疼く
事実9: もし何らかの物が語り合うならそれは新規参入組であるか疼かないかあるいは両方だ
事実10: もし甘いものが固めるとしたらそれはブロックしない
事実11: その惑星ナインは疼く
事実12: もしなにかはブロックしないなら「それは役割期待でないしかつそれは弱しない」ということは偽だ

仮説: その惑星ナインは疼く
1. 事実11から、仮説が導かれる

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