この本殿は贈与契約書でない
fact1: 「「底深くないけれど確からしい」ということは成り立たない」ものはあるとすれば「この本殿は贈与契約書だ」ということは成り立つ fact2: 「その捜査関係者は底深くないけれどそれは贈与契約書だ」ということは偽である fact3: もしもなにかは細胞外ドメインでなくてかつそれが愛情深くないとしたら贈与契約書でない fact4: 「その捜査関係者は底深くないけれどそれは確からしい」ということは成り立たない fact5: 「「贈与契約書でそれに底深い」ということは成り立たない」ものはある
fact4 -> int1: 「「底深くないけど確からしい」ということは嘘である」物はある; int1 & fact1 -> hypothesis;
fact4 -> int1: (Ex): ¬(¬{AA}x & {AB}x); int1 & fact1 -> hypothesis;
この本殿は贈与契約書でない
fact6 -> int2: もし仮にこの本殿は細胞外ドメインでないしそれに愛情深くないなら「それは贈与契約書でない」ということは成り立つ;
$facts$ = fact1: 「「底深くないけれど確からしい」ということは成り立たない」ものはあるとすれば「この本殿は贈与契約書だ」ということは成り立つ fact2: 「その捜査関係者は底深くないけれどそれは贈与契約書だ」ということは偽である fact3: もしもなにかは細胞外ドメインでなくてかつそれが愛情深くないとしたら贈与契約書でない fact4: 「その捜査関係者は底深くないけれどそれは確からしい」ということは成り立たない fact5: 「「贈与契約書でそれに底深い」ということは成り立たない」ものはある ; $hypothesis$ = この本殿は贈与契約書でない ; $proof$ = 
fact4 -> int1: 「「底深くないけど確からしい」ということは嘘である」物はある; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 「「底深くないけれど確からしい」ということは成り立たない」ものはあるとすれば「この本殿は贈与契約書だ」ということは成り立つ
事実2: 「その捜査関係者は底深くないけれどそれは贈与契約書だ」ということは偽である
事実3: もしもなにかは細胞外ドメインでなくてかつそれが愛情深くないとしたら贈与契約書でない
事実4: 「その捜査関係者は底深くないけれどそれは確からしい」ということは成り立たない
事実5: 「「贈与契約書でそれに底深い」ということは成り立たない」ものはある

仮説: この本殿は贈与契約書でない
1. 事実4から、推論1: "「「底深くないけど確からしい」ということは嘘である」物はある"が導かれる
2. 推論1と事実1から、仮説が否定される

よって、仮説が否定されました。