この千九百六十年生まれは設定しない
fact1: もしこの旧居が無視だとすればこの千九百六十年生まれは設定する fact2: その行政官は心無いということはない fact3: もしも「何らかの物は手っ取り早くないしそれにそれは妻妾でない」ということは嘘であるならそれは無視だ fact4: もし仮にこの旧居は妻妾であるとしたらそれは無視だ fact5: もしこの旧居は無視でないとすると「この千九百六十年生まれは手っ取り早くないし設定するということはない」ということは成り立たない fact6: もしその行政官は心無くないなら「この旧居は手っ取り早くなくて更に妻妾でない」ということは嘘だ fact7: 妻妾は無視である
fact3 -> int1: 仮に「この旧居は手っ取り早くなくて加えて妻妾でない」ということは誤りだとすれば無視である; fact2 & fact6 -> int2: 「「この旧居は手っ取り早くないししかも妻妾でない」ということは事実だ」ということは成り立たない; int1 & int2 -> int3: 「この旧居は無視だ」ということは確かだ; int3 & fact1 -> hypothesis;
$facts$ = fact1: もしこの旧居が無視だとすればこの千九百六十年生まれは設定する fact2: その行政官は心無いということはない fact3: もしも「何らかの物は手っ取り早くないしそれにそれは妻妾でない」ということは嘘であるならそれは無視だ fact4: もし仮にこの旧居は妻妾であるとしたらそれは無視だ fact5: もしこの旧居は無視でないとすると「この千九百六十年生まれは手っ取り早くないし設定するということはない」ということは成り立たない fact6: もしその行政官は心無くないなら「この旧居は手っ取り早くなくて更に妻妾でない」ということは嘘だ fact7: 妻妾は無視である ; $hypothesis$ = この千九百六十年生まれは設定しない ; $proof$ = 
fact3 -> int1: 仮に「この旧居は手っ取り早くなくて加えて妻妾でない」ということは誤りだとすれば無視である; fact2 & fact6 -> int2: 「「この旧居は手っ取り早くないししかも妻妾でない」ということは事実だ」ということは成り立たない; int1 & int2 -> int3: 「この旧居は無視だ」ということは確かだ; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もしこの旧居が無視だとすればこの千九百六十年生まれは設定する
事実2: その行政官は心無いということはない
事実3: もしも「何らかの物は手っ取り早くないしそれにそれは妻妾でない」ということは嘘であるならそれは無視だ
事実4: もし仮にこの旧居は妻妾であるとしたらそれは無視だ
事実5: もしこの旧居は無視でないとすると「この千九百六十年生まれは手っ取り早くないし設定するということはない」ということは成り立たない
事実6: もしその行政官は心無くないなら「この旧居は手っ取り早くなくて更に妻妾でない」ということは嘘だ
事実7: 妻妾は無視である

仮説: この千九百六十年生まれは設定しない
1. 事実3から、推論1: "仮に「この旧居は手っ取り早くなくて加えて妻妾でない」ということは誤りだとすれば無視である"が導かれる
2. 事実2と事実6から、推論2: "「「この旧居は手っ取り早くないししかも妻妾でない」ということは事実だ」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「この旧居は無視だ」ということは確かだ"が導かれる
4. 推論3と事実1から、仮説が否定される

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