その吸血性はライオンでない
fact1: もし「この網棚はオートロックだということはないけどそれは生す」ということは成り立つということはないとしたらその吸血性はライオンだということはない fact2: もし「その吸血性はオートロックでないけどライオンだ」ということは事実でないとすればこの網棚は生すということはない fact3: もしもある物が喜ばしかないとすれば陥入するし加えてライオンである fact4: もし仮に「この網棚はライオンでないけれどオートロックだ」ということは成り立たないならその吸血性は生さない fact5: 「この暮らし向きは嘆かわしくない一方でライオンだ」ということは誤っている fact6: その九谷焼きが示し易くないが喜ばしいならその吸血性は喜ばしいということはない fact7: 「オートロックでない一方で生すという物はない」ということは事実だ fact8: この網棚が生さないとしたらその吸血性はライオンでない
fact7 -> int1: 「この網棚はオートロックでない一方で生す」ということは事実と異なる; int1 & fact1 -> hypothesis;
「あの教材・教具は陥入するということはない一方で独占販売権だ」ということは嘘である
fact10 -> int2: 仮にその吸血性が喜ばしかないなら陥入するししかもライオンである;
$facts$ = fact1: もし「この網棚はオートロックだということはないけどそれは生す」ということは成り立つということはないとしたらその吸血性はライオンだということはない fact2: もし「その吸血性はオートロックでないけどライオンだ」ということは事実でないとすればこの網棚は生すということはない fact3: もしもある物が喜ばしかないとすれば陥入するし加えてライオンである fact4: もし仮に「この網棚はライオンでないけれどオートロックだ」ということは成り立たないならその吸血性は生さない fact5: 「この暮らし向きは嘆かわしくない一方でライオンだ」ということは誤っている fact6: その九谷焼きが示し易くないが喜ばしいならその吸血性は喜ばしいということはない fact7: 「オートロックでない一方で生すという物はない」ということは事実だ fact8: この網棚が生さないとしたらその吸血性はライオンでない ; $hypothesis$ = その吸血性はライオンでない ; $proof$ = 
fact7 -> int1: 「この網棚はオートロックでない一方で生す」ということは事実と異なる; int1 & fact1 -> hypothesis; __PROVED__
事実1: もし「この網棚はオートロックだということはないけどそれは生す」ということは成り立つということはないとしたらその吸血性はライオンだということはない
事実2: もし「その吸血性はオートロックでないけどライオンだ」ということは事実でないとすればこの網棚は生すということはない
事実3: もしもある物が喜ばしかないとすれば陥入するし加えてライオンである
事実4: もし仮に「この網棚はライオンでないけれどオートロックだ」ということは成り立たないならその吸血性は生さない
事実5: 「この暮らし向きは嘆かわしくない一方でライオンだ」ということは誤っている
事実6: その九谷焼きが示し易くないが喜ばしいならその吸血性は喜ばしいということはない
事実7: 「オートロックでない一方で生すという物はない」ということは事実だ
事実8: この網棚が生さないとしたらその吸血性はライオンでない

仮説: その吸血性はライオンでない
1. 事実7から、推論1: "「この網棚はオートロックでない一方で生す」ということは事実と異なる"が導かれる
2. 推論1と事実1から、仮説が導かれる

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