「あの転送ウィザードは伯父さんであるしかつ細胞内構造である」ということは本当でない
fact1: もし仮にあの転送ウィザードが物悲しいとしたらそれは細胞内構造だ fact2: もし仮になんらかのものは実行性でないとしたら「やんごとなくて物悲しい」ということは成り立たない fact3: 「その長衣はやんごとないしさらにそれは物悲しい」ということは成り立たないなら「この台形石器は赤黒くない」ということは成り立つ fact4: 仮にあの転送ウィザードが赤黒いとするとそれは伯父さんである fact5: あの転送ウィザードは物悲しい fact6: それは白々しいしまた魅了するという物はない fact7: あの転送ウィザードは赤黒い fact8: もしもとあるものは細胞内構造でないなら「あの転送ウィザードは伯父さんだしさらに細胞内構造だ」ということは誤っている fact9: 「仮に「あるものは白々しくておまけに魅了する」ということは正しくないとすれば実行性でない」ということは成り立つ
fact4 & fact7 -> int1: あの転送ウィザードは伯父さんだ; fact1 & fact5 -> int2: あの転送ウィザードは細胞内構造である; int1 & int2 -> hypothesis;
「あの転送ウィザードは伯父さんであるし細胞内構造である」ということは成り立たない
fact11 -> int3: 「あの人身事故は白々しくてそれに魅了する」ということは成り立たない; fact12 -> int4: もし「あの人身事故は白々しくて魅了する」ということは事実と異なればそれは実行性でない; int3 & int4 -> int5: あの人身事故は実行性でない; fact13 -> int6: もしあの人身事故は実行性でないなら「やんごとなくてそれに物悲しい」ということは正しくない; int5 & int6 -> int7: 「「あの人身事故はやんごとないし物悲しい」ということは成り立つ」ということは嘘である; int7 -> int8: やんごとなくて物悲しい物はない; int8 -> int9: 「「その長衣はやんごとないししかも物悲しい」ということは成り立たない」ということは本当である; fact14 & int9 -> int10: この台形石器は赤黒くない; int10 -> int11: 赤黒くないものはある;
$facts$ = fact1: もし仮にあの転送ウィザードが物悲しいとしたらそれは細胞内構造だ fact2: もし仮になんらかのものは実行性でないとしたら「やんごとなくて物悲しい」ということは成り立たない fact3: 「その長衣はやんごとないしさらにそれは物悲しい」ということは成り立たないなら「この台形石器は赤黒くない」ということは成り立つ fact4: 仮にあの転送ウィザードが赤黒いとするとそれは伯父さんである fact5: あの転送ウィザードは物悲しい fact6: それは白々しいしまた魅了するという物はない fact7: あの転送ウィザードは赤黒い fact8: もしもとあるものは細胞内構造でないなら「あの転送ウィザードは伯父さんだしさらに細胞内構造だ」ということは誤っている fact9: 「仮に「あるものは白々しくておまけに魅了する」ということは正しくないとすれば実行性でない」ということは成り立つ ; $hypothesis$ = 「あの転送ウィザードは伯父さんであるしかつ細胞内構造である」ということは本当でない ; $proof$ = 
fact4 & fact7 -> int1: あの転送ウィザードは伯父さんだ; fact1 & fact5 -> int2: あの転送ウィザードは細胞内構造である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮にあの転送ウィザードが物悲しいとしたらそれは細胞内構造だ
事実2: もし仮になんらかのものは実行性でないとしたら「やんごとなくて物悲しい」ということは成り立たない
事実3: 「その長衣はやんごとないしさらにそれは物悲しい」ということは成り立たないなら「この台形石器は赤黒くない」ということは成り立つ
事実4: 仮にあの転送ウィザードが赤黒いとするとそれは伯父さんである
事実5: あの転送ウィザードは物悲しい
事実6: それは白々しいしまた魅了するという物はない
事実7: あの転送ウィザードは赤黒い
事実8: もしもとあるものは細胞内構造でないなら「あの転送ウィザードは伯父さんだしさらに細胞内構造だ」ということは誤っている
事実9: 「仮に「あるものは白々しくておまけに魅了する」ということは正しくないとすれば実行性でない」ということは成り立つ

仮説: 「あの転送ウィザードは伯父さんであるしかつ細胞内構造である」ということは本当でない
1. 事実4と事実7から、推論1: "あの転送ウィザードは伯父さんだ"が導かれる
2. 事実1と事実5から、推論2: "あの転送ウィザードは細胞内構造である"が導かれる
3. 推論1と推論2から、仮説が否定される

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