「その庶子は即しない」ということは確かだ
fact1: 「この鉱は刺々しいし観客である」ということは成り立たない fact2: もしもそのリスク対応は刺々しかないならば「この鉱は刺々しくてそれにそれは観客である」ということは成り立つということはない fact3: もしも「この鉱は刺々しい一方で観客でない」ということは間違いであるとすればその庶子は即する fact4: もしもこの猛訓練は貴方らしい一方で刺々しかないなら即する fact5: この鉱が観客だとしたらその庶子は即する fact6: もしも「この猛訓練は行き来するしそれは立ち話する」ということは嘘ならそのリスク対応は刺々しかない fact7: もし仮にそのリスク対応は刺々しかないとすると「この鉱は刺々しいが観客でない」ということは本当でない fact8: 「この猛訓練は行き来するしその上立ち話する」ということは本当でない fact9: 仮にこの猛訓練が立ち話しないとしたらそのリスク対応は刺々しかない fact10: もし仮になにがしかの物がブルペンであるとしたら貴方らしいしおまけに刺々しかない
fact6 & fact8 -> int1: そのリスク対応は刺々しかない; int1 & fact7 -> int2: 「この鉱は刺々しいが観客でない」ということは偽である; int2 & fact3 -> hypothesis;
その庶子は即しない
fact11 -> int3: もしもそのリスク対応がブルペンであるとすればそれは貴方らしいしおまけに刺々しかない;
$facts$ = fact1: 「この鉱は刺々しいし観客である」ということは成り立たない fact2: もしもそのリスク対応は刺々しかないならば「この鉱は刺々しくてそれにそれは観客である」ということは成り立つということはない fact3: もしも「この鉱は刺々しい一方で観客でない」ということは間違いであるとすればその庶子は即する fact4: もしもこの猛訓練は貴方らしい一方で刺々しかないなら即する fact5: この鉱が観客だとしたらその庶子は即する fact6: もしも「この猛訓練は行き来するしそれは立ち話する」ということは嘘ならそのリスク対応は刺々しかない fact7: もし仮にそのリスク対応は刺々しかないとすると「この鉱は刺々しいが観客でない」ということは本当でない fact8: 「この猛訓練は行き来するしその上立ち話する」ということは本当でない fact9: 仮にこの猛訓練が立ち話しないとしたらそのリスク対応は刺々しかない fact10: もし仮になにがしかの物がブルペンであるとしたら貴方らしいしおまけに刺々しかない ; $hypothesis$ = 「その庶子は即しない」ということは確かだ ; $proof$ = 
fact6 & fact8 -> int1: そのリスク対応は刺々しかない; int1 & fact7 -> int2: 「この鉱は刺々しいが観客でない」ということは偽である; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: 「この鉱は刺々しいし観客である」ということは成り立たない
事実2: もしもそのリスク対応は刺々しかないならば「この鉱は刺々しくてそれにそれは観客である」ということは成り立つということはない
事実3: もしも「この鉱は刺々しい一方で観客でない」ということは間違いであるとすればその庶子は即する
事実4: もしもこの猛訓練は貴方らしい一方で刺々しかないなら即する
事実5: この鉱が観客だとしたらその庶子は即する
事実6: もしも「この猛訓練は行き来するしそれは立ち話する」ということは嘘ならそのリスク対応は刺々しかない
事実7: もし仮にそのリスク対応は刺々しかないとすると「この鉱は刺々しいが観客でない」ということは本当でない
事実8: 「この猛訓練は行き来するしその上立ち話する」ということは本当でない
事実9: 仮にこの猛訓練が立ち話しないとしたらそのリスク対応は刺々しかない
事実10: もし仮になにがしかの物がブルペンであるとしたら貴方らしいしおまけに刺々しかない

仮説: 「その庶子は即しない」ということは確かだ
1. 事実6と事実8から、推論1: "そのリスク対応は刺々しかない"が導かれる
2. 推論1と事実7から、推論2: "「この鉱は刺々しいが観客でない」ということは偽である"が導かれる
3. 推論2と事実3から、仮説が否定される

よって、仮説が否定されました。