その欺瞞は兼営するということはない
fact1: もし仮にこの株主側は算数であるということはないなら断行しない fact2: 仮に何らかのものが潜水でないとするとそれは兼営しないしそれにそれは眩い fact3: この証拠隠滅は眩くてそれに潜水だ fact4: もし仮になにかは御容赦下さるとすれば「それは兼営する」ということは正しい fact5: もし仮にこの株主側は断行しないとすれば「その欺瞞は断行するしそれは御容赦下さる」ということは偽だ fact6: 「「なんらかのものは断行するが御容赦下さらない」ということは誤りならば兼営する」ということは成り立つ fact7: 「その欺瞞は断行するしそれに御容赦下さる」ということは偽だ fact8: 仮にこの証拠隠滅が潜水でしかも官邸であるならこの株主側は算数でない fact9: この証拠隠滅は官邸だ fact10: もしこの株主側は断行しないとしたら「その欺瞞は断行するけど御容赦下さらない」ということは嘘である fact11: この証拠隠滅は相槌だ fact12: その欺瞞は眩くない fact13: 「この証拠隠滅は眩い」ということは事実だ fact14: 仮にその欺瞞は御容赦下さるとすると「兼営する」ということは本当だ
fact3 -> int1: この証拠隠滅は潜水である; int1 & fact9 -> int2: この証拠隠滅は潜水であるしその上官邸である; int2 & fact8 -> int3: この株主側は算数であるということはない; int3 & fact1 -> int4: この株主側は断行しない; int4 & fact10 -> int5: 「その欺瞞は断行するけれどそれは御容赦下さらない」ということは成り立たない; fact6 -> int6: もしも「その欺瞞は断行するけどそれは御容赦下さらない」ということは成り立たないならば兼営する; int5 & int6 -> hypothesis;
その欺瞞は兼営するということはない
fact15 -> int7: もしその欺瞞が潜水でないとすれば兼営しないが眩い;
$facts$ = fact1: もし仮にこの株主側は算数であるということはないなら断行しない fact2: 仮に何らかのものが潜水でないとするとそれは兼営しないしそれにそれは眩い fact3: この証拠隠滅は眩くてそれに潜水だ fact4: もし仮になにかは御容赦下さるとすれば「それは兼営する」ということは正しい fact5: もし仮にこの株主側は断行しないとすれば「その欺瞞は断行するしそれは御容赦下さる」ということは偽だ fact6: 「「なんらかのものは断行するが御容赦下さらない」ということは誤りならば兼営する」ということは成り立つ fact7: 「その欺瞞は断行するしそれに御容赦下さる」ということは偽だ fact8: 仮にこの証拠隠滅が潜水でしかも官邸であるならこの株主側は算数でない fact9: この証拠隠滅は官邸だ fact10: もしこの株主側は断行しないとしたら「その欺瞞は断行するけど御容赦下さらない」ということは嘘である fact11: この証拠隠滅は相槌だ fact12: その欺瞞は眩くない fact13: 「この証拠隠滅は眩い」ということは事実だ fact14: 仮にその欺瞞は御容赦下さるとすると「兼営する」ということは本当だ ; $hypothesis$ = その欺瞞は兼営するということはない ; $proof$ = 
fact3 -> int1: この証拠隠滅は潜水である; int1 & fact9 -> int2: この証拠隠滅は潜水であるしその上官邸である; int2 & fact8 -> int3: この株主側は算数であるということはない; int3 & fact1 -> int4: この株主側は断行しない; int4 & fact10 -> int5: 「その欺瞞は断行するけれどそれは御容赦下さらない」ということは成り立たない; fact6 -> int6: もしも「その欺瞞は断行するけどそれは御容赦下さらない」ということは成り立たないならば兼営する; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もし仮にこの株主側は算数であるということはないなら断行しない
事実2: 仮に何らかのものが潜水でないとするとそれは兼営しないしそれにそれは眩い
事実3: この証拠隠滅は眩くてそれに潜水だ
事実4: もし仮になにかは御容赦下さるとすれば「それは兼営する」ということは正しい
事実5: もし仮にこの株主側は断行しないとすれば「その欺瞞は断行するしそれは御容赦下さる」ということは偽だ
事実6: 「「なんらかのものは断行するが御容赦下さらない」ということは誤りならば兼営する」ということは成り立つ
事実7: 「その欺瞞は断行するしそれに御容赦下さる」ということは偽だ
事実8: 仮にこの証拠隠滅が潜水でしかも官邸であるならこの株主側は算数でない
事実9: この証拠隠滅は官邸だ
事実10: もしこの株主側は断行しないとしたら「その欺瞞は断行するけど御容赦下さらない」ということは嘘である
事実11: この証拠隠滅は相槌だ
事実12: その欺瞞は眩くない
事実13: 「この証拠隠滅は眩い」ということは事実だ
事実14: 仮にその欺瞞は御容赦下さるとすると「兼営する」ということは本当だ

仮説: その欺瞞は兼営するということはない
1. 事実3から、推論1: "この証拠隠滅は潜水である"が導かれる
2. 推論1と事実9から、推論2: "この証拠隠滅は潜水であるしその上官邸である"が導かれる
3. 推論2と事実8から、推論3: "この株主側は算数であるということはない"が導かれる
4. 推論3と事実1から、推論4: "この株主側は断行しない"が導かれる
5. 推論4と事実10から、推論5: "「その欺瞞は断行するけれどそれは御容赦下さらない」ということは成り立たない"が導かれる
6. 事実6から、推論6: "もしも「その欺瞞は断行するけどそれは御容赦下さらない」ということは成り立たないならば兼営する"が導かれる
7. 推論5と推論6から、仮説が否定される

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