「この大傑作は伝い落ちないししかもそれはダイバーでない」ということは真実でない
fact1: 「この大傑作は奨励しなくてそれに路線価でない」ということは成り立つということはない fact2: 「この大傑作は伝い落ちる一方でダイバーでない」ということは嘘だ fact3: 「この大傑作は差別するということはなくて伝い落ちない」ということは成り立たない fact4: 「「この外部化はダイバーでないしそれに冷飲しない」ということは間違っていない」ということは成り立つということはない fact5: 仮に何かはＡ社株式であるとすれば冷飲する fact6: 「この大傑作は伝い落ちないし更にダイバーでない」ということは間違いだ fact7: 仮に何らかのものが狙い打ちしないなら絡み付けるかまたは駆け込む fact8: 「このリアリティはダイバーでないし狂おしくない」ということは間違っている fact9: 「この大傑作は伝い落ちないがダイバーである」ということは偽である
fact6 -> hypothesis;
fact6 -> hypothesis;
この大傑作は伝い落ちないしかつダイバーでない
fact10 -> int1: もしもその加入電話はＡ社株式であるとすると冷飲する; fact11 -> int2: もし仮にこの練習場が狙い打ちするということはないとすればそれは絡み付けるかもしくは駆け込むかあるいはどちらもだ;
$facts$ = fact1: 「この大傑作は奨励しなくてそれに路線価でない」ということは成り立つということはない fact2: 「この大傑作は伝い落ちる一方でダイバーでない」ということは嘘だ fact3: 「この大傑作は差別するということはなくて伝い落ちない」ということは成り立たない fact4: 「「この外部化はダイバーでないしそれに冷飲しない」ということは間違っていない」ということは成り立つということはない fact5: 仮に何かはＡ社株式であるとすれば冷飲する fact6: 「この大傑作は伝い落ちないし更にダイバーでない」ということは間違いだ fact7: 仮に何らかのものが狙い打ちしないなら絡み付けるかまたは駆け込む fact8: 「このリアリティはダイバーでないし狂おしくない」ということは間違っている fact9: 「この大傑作は伝い落ちないがダイバーである」ということは偽である ; $hypothesis$ = 「この大傑作は伝い落ちないししかもそれはダイバーでない」ということは真実でない ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「この大傑作は奨励しなくてそれに路線価でない」ということは成り立つということはない
事実2: 「この大傑作は伝い落ちる一方でダイバーでない」ということは嘘だ
事実3: 「この大傑作は差別するということはなくて伝い落ちない」ということは成り立たない
事実4: 「「この外部化はダイバーでないしそれに冷飲しない」ということは間違っていない」ということは成り立つということはない
事実5: 仮に何かはＡ社株式であるとすれば冷飲する
事実6: 「この大傑作は伝い落ちないし更にダイバーでない」ということは間違いだ
事実7: 仮に何らかのものが狙い打ちしないなら絡み付けるかまたは駆け込む
事実8: 「このリアリティはダイバーでないし狂おしくない」ということは間違っている
事実9: 「この大傑作は伝い落ちないがダイバーである」ということは偽である

仮説: 「この大傑作は伝い落ちないししかもそれはダイバーでない」ということは真実でない
1. 事実6から、仮説が導かれる

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