「「その三本マストは受容体分子であるがしかしそれは新しくない」ということは確かだ」ということは成り立つということはない
fact1: もし何らかの物は院外処方箋でないなら受容体分子だがしかし新しくない fact2: もし仮に「このハイカーは譲り合うがしかしそれは餓鬼っぽくない」ということは嘘ならあの死体遺棄罪は打っちゃる fact3: この半年は新しいなら「その三本マストは受容体分子であるけど新しくない」ということは誤りである fact4: もし御し易くないものが打っちゃるないならばこの銀鍍金は院外処方箋だ fact5: もしもこの銀鍍金は院外処方箋だとしたら「この半年は新しい」ということは真実である fact6: 「「このハイカーは譲り合うがしかし餓鬼っぽくない」ということは成り立つ」ということは成り立たない fact7: もし仮にあの死体遺棄罪が打っちゃるとしたらその落伍者視は御し易いということはないしまた打っちゃるない fact8: 仮に何かは御し易くないけれど打っちゃればこの銀鍍金は院外処方箋だ
fact2 & fact6 -> int1: あの死体遺棄罪は打っちゃる; int1 & fact7 -> int2: その落伍者視は御し易いということはなくて打っちゃるということはない; int2 -> int3: なにがしかのものは御し易いということはなくて加えてそれは打っちゃるない; int3 & fact4 -> int4: この銀鍍金は院外処方箋である; int4 & fact5 -> int5: この半年は新しい; int5 & fact3 -> hypothesis;
その三本マストは受容体分子であるが新しくない
fact9 -> int6: 仮にその三本マストは院外処方箋であるということはないとすると「それは受容体分子だが新しくない」ということは成り立つ;
$facts$ = fact1: もし何らかの物は院外処方箋でないなら受容体分子だがしかし新しくない fact2: もし仮に「このハイカーは譲り合うがしかしそれは餓鬼っぽくない」ということは嘘ならあの死体遺棄罪は打っちゃる fact3: この半年は新しいなら「その三本マストは受容体分子であるけど新しくない」ということは誤りである fact4: もし御し易くないものが打っちゃるないならばこの銀鍍金は院外処方箋だ fact5: もしもこの銀鍍金は院外処方箋だとしたら「この半年は新しい」ということは真実である fact6: 「「このハイカーは譲り合うがしかし餓鬼っぽくない」ということは成り立つ」ということは成り立たない fact7: もし仮にあの死体遺棄罪が打っちゃるとしたらその落伍者視は御し易いということはないしまた打っちゃるない fact8: 仮に何かは御し易くないけれど打っちゃればこの銀鍍金は院外処方箋だ ; $hypothesis$ = 「「その三本マストは受容体分子であるがしかしそれは新しくない」ということは確かだ」ということは成り立つということはない ; $proof$ = 
fact2 & fact6 -> int1: あの死体遺棄罪は打っちゃる; int1 & fact7 -> int2: その落伍者視は御し易いということはなくて打っちゃるということはない; int2 -> int3: なにがしかのものは御し易いということはなくて加えてそれは打っちゃるない; int3 & fact4 -> int4: この銀鍍金は院外処方箋である; int4 & fact5 -> int5: この半年は新しい; int5 & fact3 -> hypothesis; __PROVED__
事実1: もし何らかの物は院外処方箋でないなら受容体分子だがしかし新しくない
事実2: もし仮に「このハイカーは譲り合うがしかしそれは餓鬼っぽくない」ということは嘘ならあの死体遺棄罪は打っちゃる
事実3: この半年は新しいなら「その三本マストは受容体分子であるけど新しくない」ということは誤りである
事実4: もし御し易くないものが打っちゃるないならばこの銀鍍金は院外処方箋だ
事実5: もしもこの銀鍍金は院外処方箋だとしたら「この半年は新しい」ということは真実である
事実6: 「「このハイカーは譲り合うがしかし餓鬼っぽくない」ということは成り立つ」ということは成り立たない
事実7: もし仮にあの死体遺棄罪が打っちゃるとしたらその落伍者視は御し易いということはないしまた打っちゃるない
事実8: 仮に何かは御し易くないけれど打っちゃればこの銀鍍金は院外処方箋だ

仮説: 「「その三本マストは受容体分子であるがしかしそれは新しくない」ということは確かだ」ということは成り立つということはない
1. 事実2と事実6から、推論1: "あの死体遺棄罪は打っちゃる"が導かれる
2. 推論1と事実7から、推論2: "その落伍者視は御し易いということはなくて打っちゃるということはない"が導かれる
3. 推論2から、推論3: "なにがしかのものは御し易いということはなくて加えてそれは打っちゃるない"が導かれる
4. 推論3と事実4から、推論4: "この銀鍍金は院外処方箋である"が導かれる
5. 推論4と事実5から、推論5: "この半年は新しい"が導かれる
6. 推論5と事実3から、仮説が導かれる

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