「そのアドミニストレーターは預言するけど垂直歪みでない」ということは成り立たない
fact1: もし仮に「撃墜しない」ものはあるとすると「そのアドミニストレーターは預言するし加えて垂直歪みだ」ということは偽だ fact2: もし「この英国内は遠望出来る」ということは成り立つとしたら拭き始める fact3: 「撃墜する」物はある fact4: この英国内は関係深いし更にそれは遠望出来る fact5: もしもこの英国内が飲み足りないならその属州は撃墜しない fact6: このプリセットタイムは遠望出来ない fact7: もし仮に「撃墜するということはない」ものはあるとすると「そのアドミニストレーターは預言するけれどそれは垂直歪みでない」ということは事実と異なる fact8: 「関係深い」ものはある fact9: この英国内は飲み足りるが撃墜しないとすれば関係深いということはない fact10: 「「罪深い」ということは本当である」ものはある fact11: この英国内は預言するということはない fact12: 仮にその属州が手際良いとしたらそれは撃墜する fact13: この英国内は手際良くないけれどそれは官制である fact14: もしあるものが拭き始めるけれどそれは手際良いということはないとしたら「飲み足りない」ということは間違いでない fact15: 「そのアドミニストレーターは遠望出来るが預言しない」ということは確かでない
fact4 -> int1: この英国内は遠望出来る; int1 & fact2 -> int2: この英国内は拭き始める; fact13 -> int3: この英国内は手際良くない; int2 & int3 -> int4: この英国内は拭き始めるがしかし手際良くない; fact14 -> int5: もしもこの英国内は拭き始めるが手際良くないとしたらそれは飲み足りない; int4 & int5 -> int6: この英国内は飲み足りない; int6 & fact5 -> int7: その属州は撃墜しない; int7 -> int8: 「撃墜するということはない」物はある; int8 & fact7 -> hypothesis;
$facts$ = fact1: もし仮に「撃墜しない」ものはあるとすると「そのアドミニストレーターは預言するし加えて垂直歪みだ」ということは偽だ fact2: もし「この英国内は遠望出来る」ということは成り立つとしたら拭き始める fact3: 「撃墜する」物はある fact4: この英国内は関係深いし更にそれは遠望出来る fact5: もしもこの英国内が飲み足りないならその属州は撃墜しない fact6: このプリセットタイムは遠望出来ない fact7: もし仮に「撃墜するということはない」ものはあるとすると「そのアドミニストレーターは預言するけれどそれは垂直歪みでない」ということは事実と異なる fact8: 「関係深い」ものはある fact9: この英国内は飲み足りるが撃墜しないとすれば関係深いということはない fact10: 「「罪深い」ということは本当である」ものはある fact11: この英国内は預言するということはない fact12: 仮にその属州が手際良いとしたらそれは撃墜する fact13: この英国内は手際良くないけれどそれは官制である fact14: もしあるものが拭き始めるけれどそれは手際良いということはないとしたら「飲み足りない」ということは間違いでない fact15: 「そのアドミニストレーターは遠望出来るが預言しない」ということは確かでない ; $hypothesis$ = 「そのアドミニストレーターは預言するけど垂直歪みでない」ということは成り立たない ; $proof$ = 
fact4 -> int1: この英国内は遠望出来る; int1 & fact2 -> int2: この英国内は拭き始める; fact13 -> int3: この英国内は手際良くない; int2 & int3 -> int4: この英国内は拭き始めるがしかし手際良くない; fact14 -> int5: もしもこの英国内は拭き始めるが手際良くないとしたらそれは飲み足りない; int4 & int5 -> int6: この英国内は飲み足りない; int6 & fact5 -> int7: その属州は撃墜しない; int7 -> int8: 「撃墜するということはない」物はある; int8 & fact7 -> hypothesis; __PROVED__
事実1: もし仮に「撃墜しない」ものはあるとすると「そのアドミニストレーターは預言するし加えて垂直歪みだ」ということは偽だ
事実2: もし「この英国内は遠望出来る」ということは成り立つとしたら拭き始める
事実3: 「撃墜する」物はある
事実4: この英国内は関係深いし更にそれは遠望出来る
事実5: もしもこの英国内が飲み足りないならその属州は撃墜しない
事実6: このプリセットタイムは遠望出来ない
事実7: もし仮に「撃墜するということはない」ものはあるとすると「そのアドミニストレーターは預言するけれどそれは垂直歪みでない」ということは事実と異なる
事実8: 「関係深い」ものはある
事実9: この英国内は飲み足りるが撃墜しないとすれば関係深いということはない
事実10: 「「罪深い」ということは本当である」ものはある
事実11: この英国内は預言するということはない
事実12: 仮にその属州が手際良いとしたらそれは撃墜する
事実13: この英国内は手際良くないけれどそれは官制である
事実14: もしあるものが拭き始めるけれどそれは手際良いということはないとしたら「飲み足りない」ということは間違いでない
事実15: 「そのアドミニストレーターは遠望出来るが預言しない」ということは確かでない

仮説: 「そのアドミニストレーターは預言するけど垂直歪みでない」ということは成り立たない
1. 事実4から、推論1: "この英国内は遠望出来る"が導かれる
2. 推論1と事実2から、推論2: "この英国内は拭き始める"が導かれる
3. 事実13から、推論3: "この英国内は手際良くない"が導かれる
4. 推論2と推論3から、推論4: "この英国内は拭き始めるがしかし手際良くない"が導かれる
5. 事実14から、推論5: "もしもこの英国内は拭き始めるが手際良くないとしたらそれは飲み足りない"が導かれる
6. 推論4と推論5から、推論6: "この英国内は飲み足りない"が導かれる
7. 推論6と事実5から、推論7: "その属州は撃墜しない"が導かれる
8. 推論7から、推論8: "「撃墜するということはない」物はある"が導かれる
9. 推論8と事実7から、仮説が導かれる

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