その徳政適用は多年でない
fact1: もしも「とあるものは迷信深くない」ということは確かだとすれば多年でない fact2: その電気ピストルは迷信深い fact3: 「迷信深い」物はある fact4: 迷信深い物が恭しいとするとこの妙露わ寺は出掛けだ fact5: もし「なにかは多年だがそれは恭しくない」ということは嘘ならそれは多年でない fact6: もしもこの妙露わ寺が出掛けならその徳政適用は多年だ fact7: 仮に出掛けは迷信深いとすれば「その徳政適用は多年である」ということは事実だ fact8: 「恭しい」物はある fact9: その電気ピストルは恭しい
fact2 & fact9 -> int1: その電気ピストルは迷信深くて加えて恭しい; int1 -> int2: 「「迷信深くてまた恭しい」ということは本当な」物はある; int2 & fact4 -> int3: この妙露わ寺は出掛けだ; int3 & fact6 -> hypothesis;
その徳政適用は多年でない
fact10 -> int4: 「その徳政適用は多年だけれど恭しくない」ということは間違いだとすれば多年であるということはない; fact11 -> int5: もし仮にその電気ピストルが迷信深くないとすれば多年でない;
$facts$ = fact1: もしも「とあるものは迷信深くない」ということは確かだとすれば多年でない fact2: その電気ピストルは迷信深い fact3: 「迷信深い」物はある fact4: 迷信深い物が恭しいとするとこの妙露わ寺は出掛けだ fact5: もし「なにかは多年だがそれは恭しくない」ということは嘘ならそれは多年でない fact6: もしもこの妙露わ寺が出掛けならその徳政適用は多年だ fact7: 仮に出掛けは迷信深いとすれば「その徳政適用は多年である」ということは事実だ fact8: 「恭しい」物はある fact9: その電気ピストルは恭しい ; $hypothesis$ = その徳政適用は多年でない ; $proof$ = 
fact2 & fact9 -> int1: その電気ピストルは迷信深くて加えて恭しい; int1 -> int2: 「「迷信深くてまた恭しい」ということは本当な」物はある; int2 & fact4 -> int3: この妙露わ寺は出掛けだ; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: もしも「とあるものは迷信深くない」ということは確かだとすれば多年でない
事実2: その電気ピストルは迷信深い
事実3: 「迷信深い」物はある
事実4: 迷信深い物が恭しいとするとこの妙露わ寺は出掛けだ
事実5: もし「なにかは多年だがそれは恭しくない」ということは嘘ならそれは多年でない
事実6: もしもこの妙露わ寺が出掛けならその徳政適用は多年だ
事実7: 仮に出掛けは迷信深いとすれば「その徳政適用は多年である」ということは事実だ
事実8: 「恭しい」物はある
事実9: その電気ピストルは恭しい

仮説: その徳政適用は多年でない
1. 事実2と事実9から、推論1: "その電気ピストルは迷信深くて加えて恭しい"が導かれる
2. 推論1から、推論2: "「「迷信深くてまた恭しい」ということは本当な」物はある"が導かれる
3. 推論2と事実4から、推論3: "この妙露わ寺は出掛けだ"が導かれる
4. 推論3と事実6から、仮説が否定される

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