この研鑽は毛深いけれどそれは谷中墓地でない
fact1: その療養法は親しみ易い fact2: この研鑽が毛深くないとしたら親らしい fact3: もし仮に「その療養法は毛深い」ということは成り立つとしたらこの研鑽は毛深いけれど谷中墓地でない fact4: もしも親らしくないものが親しみ易いとすると毛深い fact5: 仮にとある物が証券化するということはないとしたらそれは整形でないし漏れ出さない fact6: もしもその療養法は整形でないならばそれは親らしいということはないがしかし親しみ易い fact7: 仮にこの研鑽が毛深いとすればその療養法は毛深いけれど谷中墓地でない fact8: もしこの研鑽は谷中墓地でないがしかし整形だとすると毛深い fact9: この研鑽は整形でない fact10: その療養法が毛深いならこの研鑽は毛深い fact11: その療養法は整形でない
fact6 & fact11 -> int1: その療養法は親らしくないけれどそれは親しみ易い; fact4 -> int2: その療養法は親らしくないけど親しみ易いとするとそれは毛深い; int1 & int2 -> int3: その療養法は毛深い; int3 & fact3 -> hypothesis;
fact6 & fact11 -> int1: (¬{AA}{a} & {AB}{a}); fact4 -> int2: (¬{AA}{a} & {AB}{a}) -> {B}{a}; int1 & int2 -> int3: {B}{a}; int3 & fact3 -> hypothesis;
「「この研鑽は毛深いが谷中墓地でない」ということは真実だ」ということは嘘である
fact12 -> int4: もしもその療養法が証券化しないとするとそれは整形でなくてそれは漏れ出さない;
$facts$ = fact1: その療養法は親しみ易い fact2: この研鑽が毛深くないとしたら親らしい fact3: もし仮に「その療養法は毛深い」ということは成り立つとしたらこの研鑽は毛深いけれど谷中墓地でない fact4: もしも親らしくないものが親しみ易いとすると毛深い fact5: 仮にとある物が証券化するということはないとしたらそれは整形でないし漏れ出さない fact6: もしもその療養法は整形でないならばそれは親らしいということはないがしかし親しみ易い fact7: 仮にこの研鑽が毛深いとすればその療養法は毛深いけれど谷中墓地でない fact8: もしこの研鑽は谷中墓地でないがしかし整形だとすると毛深い fact9: この研鑽は整形でない fact10: その療養法が毛深いならこの研鑽は毛深い fact11: その療養法は整形でない ; $hypothesis$ = この研鑽は毛深いけれどそれは谷中墓地でない ; $proof$ = 
fact6 & fact11 -> int1: その療養法は親らしくないけれどそれは親しみ易い; fact4 -> int2: その療養法は親らしくないけど親しみ易いとするとそれは毛深い; int1 & int2 -> int3: その療養法は毛深い; int3 & fact3 -> hypothesis; __PROVED__
事実1: その療養法は親しみ易い
事実2: この研鑽が毛深くないとしたら親らしい
事実3: もし仮に「その療養法は毛深い」ということは成り立つとしたらこの研鑽は毛深いけれど谷中墓地でない
事実4: もしも親らしくないものが親しみ易いとすると毛深い
事実5: 仮にとある物が証券化するということはないとしたらそれは整形でないし漏れ出さない
事実6: もしもその療養法は整形でないならばそれは親らしいということはないがしかし親しみ易い
事実7: 仮にこの研鑽が毛深いとすればその療養法は毛深いけれど谷中墓地でない
事実8: もしこの研鑽は谷中墓地でないがしかし整形だとすると毛深い
事実9: この研鑽は整形でない
事実10: その療養法が毛深いならこの研鑽は毛深い
事実11: その療養法は整形でない

仮説: この研鑽は毛深いけれどそれは谷中墓地でない
1. 事実6と事実11から、推論1: "その療養法は親らしくないけれどそれは親しみ易い"が導かれる
2. 事実4から、推論2: "その療養法は親らしくないけど親しみ易いとするとそれは毛深い"が導かれる
3. 推論1と推論2から、推論3: "その療養法は毛深い"が導かれる
4. 推論3と事実3から、仮説が導かれる

よって、仮説が証明されました。