この前掲書はＰ特性条件でない
fact1: もしもなにがしかの物が仮想すればそれはバランス良い fact2: あの家鴨は閣議決定する fact3: もし仮にあの家鴨がバランス良いとすればこの前掲書はＰ特性条件である fact4: もし仮にあの家鴨が閣議決定するとするとそれは仮想する fact5: この善光寺町は閣議決定する fact6: 仮にあの家鴨が仮想しないかあるいはそれがバランス良くないかあるいは両方ともだとすればこの前掲書は仮想しない
fact4 & fact2 -> int1: あの家鴨は仮想する; fact1 -> int2: 仮にあの家鴨は仮想するとすれば「それはバランス良い」ということは本当だ; int1 & int2 -> int3: あの家鴨はバランス良い; int3 & fact3 -> hypothesis;
この前掲書はＰ特性条件でない
$facts$ = fact1: もしもなにがしかの物が仮想すればそれはバランス良い fact2: あの家鴨は閣議決定する fact3: もし仮にあの家鴨がバランス良いとすればこの前掲書はＰ特性条件である fact4: もし仮にあの家鴨が閣議決定するとするとそれは仮想する fact5: この善光寺町は閣議決定する fact6: 仮にあの家鴨が仮想しないかあるいはそれがバランス良くないかあるいは両方ともだとすればこの前掲書は仮想しない ; $hypothesis$ = この前掲書はＰ特性条件でない ; $proof$ = 
fact4 & fact2 -> int1: あの家鴨は仮想する; fact1 -> int2: 仮にあの家鴨は仮想するとすれば「それはバランス良い」ということは本当だ; int1 & int2 -> int3: あの家鴨はバランス良い; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかの物が仮想すればそれはバランス良い
事実2: あの家鴨は閣議決定する
事実3: もし仮にあの家鴨がバランス良いとすればこの前掲書はＰ特性条件である
事実4: もし仮にあの家鴨が閣議決定するとするとそれは仮想する
事実5: この善光寺町は閣議決定する
事実6: 仮にあの家鴨が仮想しないかあるいはそれがバランス良くないかあるいは両方ともだとすればこの前掲書は仮想しない

仮説: この前掲書はＰ特性条件でない
1. 事実4と事実2から、推論1: "あの家鴨は仮想する"が導かれる
2. 事実1から、推論2: "仮にあの家鴨は仮想するとすれば「それはバランス良い」ということは本当だ"が導かれる
3. 推論1と推論2から、推論3: "あの家鴨はバランス良い"が導かれる
4. 推論3と事実3から、仮説が否定される

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