その光明寺は飼い慣らさない
fact1: 何かは気難しくない fact2: そのストライクゾーンが飼い慣らさないしおまけにそれが気難しくないとしたらその光明寺は飼い慣らさない fact3: 仮にそのストライクゾーンが貴方らしいならばその光明寺は飼い慣らす fact4: 「何らかの物は無分別でないがそれは心強い」ということは成り立つということはないとすれば貴方らしい fact5: もしなにかは気難しいということはないとしたら「「そのストライクゾーンは無分別でないがそれは心強い」ということは真実である」ということは真実でない
fact1 & fact5 -> int1: 「「そのストライクゾーンは無分別でないが心強い」ということは成り立つ」ということは事実でない; fact4 -> int2: もし「そのストライクゾーンは無分別でないけれど心強い」ということは成り立たないとしたら「それは貴方らしい」ということは成り立つ; int1 & int2 -> int3: そのストライクゾーンは貴方らしい; int3 & fact3 -> hypothesis;
その光明寺は飼い慣らさない
$facts$ = fact1: 何かは気難しくない fact2: そのストライクゾーンが飼い慣らさないしおまけにそれが気難しくないとしたらその光明寺は飼い慣らさない fact3: 仮にそのストライクゾーンが貴方らしいならばその光明寺は飼い慣らす fact4: 「何らかの物は無分別でないがそれは心強い」ということは成り立つということはないとすれば貴方らしい fact5: もしなにかは気難しいということはないとしたら「「そのストライクゾーンは無分別でないがそれは心強い」ということは真実である」ということは真実でない ; $hypothesis$ = その光明寺は飼い慣らさない ; $proof$ = 
fact1 & fact5 -> int1: 「「そのストライクゾーンは無分別でないが心強い」ということは成り立つ」ということは事実でない; fact4 -> int2: もし「そのストライクゾーンは無分別でないけれど心強い」ということは成り立たないとしたら「それは貴方らしい」ということは成り立つ; int1 & int2 -> int3: そのストライクゾーンは貴方らしい; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: 何かは気難しくない
事実2: そのストライクゾーンが飼い慣らさないしおまけにそれが気難しくないとしたらその光明寺は飼い慣らさない
事実3: 仮にそのストライクゾーンが貴方らしいならばその光明寺は飼い慣らす
事実4: 「何らかの物は無分別でないがそれは心強い」ということは成り立つということはないとすれば貴方らしい
事実5: もしなにかは気難しいということはないとしたら「「そのストライクゾーンは無分別でないがそれは心強い」ということは真実である」ということは真実でない

仮説: その光明寺は飼い慣らさない
1. 事実1と事実5から、推論1: "「「そのストライクゾーンは無分別でないが心強い」ということは成り立つ」ということは事実でない"が導かれる
2. 事実4から、推論2: "もし「そのストライクゾーンは無分別でないけれど心強い」ということは成り立たないとしたら「それは貴方らしい」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "そのストライクゾーンは貴方らしい"が導かれる
4. 推論3と事実3から、仮説が否定される

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