「「あの障害年金は液化しなくて所在しない」ということは誤っていない」ということは嘘だ
fact1: もしあるものは病原性大腸菌でないとすれば「それは液化するということはないしおまけに所在するということはない」ということは正しくない fact2: 何らかの物は所在しないとすると「それは病原性大腸菌でないが喫する」ということは成り立たない fact3: 仮にあの障害年金が聞き易いということはないしそれが喫しないとすれば病原性大腸菌でない fact4: 「あるものはされ易いけど共存し得るということはない」ということは偽であるならば「それは病原性大腸菌である」ということは成り立たない fact5: 「あの障害年金は危うくなくて加えて喫しない」ということは成り立つということはない fact6: 「この都道府県は人間らしくないしそれは液化するということはない」ということは嘘である fact7: もし仮にとある物が病原性大腸菌でないがしかしそれが液化するとしたらそれは所在しない fact8: 仮に何らかの物は所在しないとすれば「思い知らさなくて喫しない」ということは成り立たない fact9: あの障害年金は聞き易くなくて更に喫しない
fact3 & fact9 -> int1: あの障害年金は病原性大腸菌でない; fact1 -> int2: 仮にあの障害年金は病原性大腸菌でないとすると「液化しないししかもそれは所在しない」ということは誤っている; int1 & int2 -> hypothesis;
fact3 & fact9 -> int1: ¬{B}{a}; fact1 -> int2: ¬{B}{a} -> ¬(¬{C}{a} & ¬{A}{a}); int1 & int2 -> hypothesis;
あの障害年金は液化するということはないし加えて所在しない
fact10 -> int3: もしも「その手術侵襲はされ易いけど共存し得ない」ということは間違っているとすれば病原性大腸菌でない;
$facts$ = fact1: もしあるものは病原性大腸菌でないとすれば「それは液化するということはないしおまけに所在するということはない」ということは正しくない fact2: 何らかの物は所在しないとすると「それは病原性大腸菌でないが喫する」ということは成り立たない fact3: 仮にあの障害年金が聞き易いということはないしそれが喫しないとすれば病原性大腸菌でない fact4: 「あるものはされ易いけど共存し得るということはない」ということは偽であるならば「それは病原性大腸菌である」ということは成り立たない fact5: 「あの障害年金は危うくなくて加えて喫しない」ということは成り立つということはない fact6: 「この都道府県は人間らしくないしそれは液化するということはない」ということは嘘である fact7: もし仮にとある物が病原性大腸菌でないがしかしそれが液化するとしたらそれは所在しない fact8: 仮に何らかの物は所在しないとすれば「思い知らさなくて喫しない」ということは成り立たない fact9: あの障害年金は聞き易くなくて更に喫しない ; $hypothesis$ = 「「あの障害年金は液化しなくて所在しない」ということは誤っていない」ということは嘘だ ; $proof$ = 
fact3 & fact9 -> int1: あの障害年金は病原性大腸菌でない; fact1 -> int2: 仮にあの障害年金は病原性大腸菌でないとすると「液化しないししかもそれは所在しない」ということは誤っている; int1 & int2 -> hypothesis; __PROVED__
事実1: もしあるものは病原性大腸菌でないとすれば「それは液化するということはないしおまけに所在するということはない」ということは正しくない
事実2: 何らかの物は所在しないとすると「それは病原性大腸菌でないが喫する」ということは成り立たない
事実3: 仮にあの障害年金が聞き易いということはないしそれが喫しないとすれば病原性大腸菌でない
事実4: 「あるものはされ易いけど共存し得るということはない」ということは偽であるならば「それは病原性大腸菌である」ということは成り立たない
事実5: 「あの障害年金は危うくなくて加えて喫しない」ということは成り立つということはない
事実6: 「この都道府県は人間らしくないしそれは液化するということはない」ということは嘘である
事実7: もし仮にとある物が病原性大腸菌でないがしかしそれが液化するとしたらそれは所在しない
事実8: 仮に何らかの物は所在しないとすれば「思い知らさなくて喫しない」ということは成り立たない
事実9: あの障害年金は聞き易くなくて更に喫しない

仮説: 「「あの障害年金は液化しなくて所在しない」ということは誤っていない」ということは嘘だ
1. 事実3と事実9から、推論1: "あの障害年金は病原性大腸菌でない"が導かれる
2. 事実1から、推論2: "仮にあの障害年金は病原性大腸菌でないとすると「液化しないししかもそれは所在しない」ということは誤っている"が導かれる
3. 推論1と推論2から、仮説が導かれる

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