その実施段階は御悪くないけどはしたない
fact1: その実施段階は濃度分布であるし御優しい fact2: もし何かは濃度分布でないならば「御悪くないけどはしたない」ということは嘘である fact3: その実施段階は濃度分布である fact4: もし「何らかのものは出易くないしその上蓄積するということはない」ということは成り立たないとすると御優しくない fact5: 「その優待は販管費であるかあるいはそれは通うかどちらもである」ということは誤っているとするとそれはワインラベルであるということはない fact6: もしもその実施段階が御優しいししかもそれが御悪いならばその優待は出易くない fact7: その優待は出易い fact8: その実施段階ははしたない
fact1 -> int1: その実施段階は御優しい; void -> assump1: 以下のように仮定する。「その実施段階は御悪い」ということは確かだ; int1 & assump1 -> int2: その実施段階は御優しいしかつ御悪い; int2 & fact6 -> int3: その優待は出易くない; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: その実施段階は御悪いということはない; int5 & fact8 -> hypothesis;
「「その実施段階は御悪くないけどはしたない」ということは誤りだ」ということは事実である
fact11 -> int6: 「仮にその実施段階は濃度分布でないとすれば「その実施段階は御悪くないがしかしはしたない」ということは間違っている」ということは確かだ; fact10 -> int7: もし「その実施段階は出易くなくてそれは蓄積しない」ということは成り立たないとすれば御優しくない;
$facts$ = fact1: その実施段階は濃度分布であるし御優しい fact2: もし何かは濃度分布でないならば「御悪くないけどはしたない」ということは嘘である fact3: その実施段階は濃度分布である fact4: もし「何らかのものは出易くないしその上蓄積するということはない」ということは成り立たないとすると御優しくない fact5: 「その優待は販管費であるかあるいはそれは通うかどちらもである」ということは誤っているとするとそれはワインラベルであるということはない fact6: もしもその実施段階が御優しいししかもそれが御悪いならばその優待は出易くない fact7: その優待は出易い fact8: その実施段階ははしたない ; $hypothesis$ = その実施段階は御悪くないけどはしたない ; $proof$ = 
fact1 -> int1: その実施段階は御優しい; void -> assump1: 以下のように仮定する。「その実施段階は御悪い」ということは確かだ; int1 & assump1 -> int2: その実施段階は御優しいしかつ御悪い; int2 & fact6 -> int3: その優待は出易くない; int3 & fact7 -> int4: これは矛盾である; [assump1] & int4 -> int5: その実施段階は御悪いということはない; int5 & fact8 -> hypothesis; __PROVED__
事実1: その実施段階は濃度分布であるし御優しい
事実2: もし何かは濃度分布でないならば「御悪くないけどはしたない」ということは嘘である
事実3: その実施段階は濃度分布である
事実4: もし「何らかのものは出易くないしその上蓄積するということはない」ということは成り立たないとすると御優しくない
事実5: 「その優待は販管費であるかあるいはそれは通うかどちらもである」ということは誤っているとするとそれはワインラベルであるということはない
事実6: もしもその実施段階が御優しいししかもそれが御悪いならばその優待は出易くない
事実7: その優待は出易い
事実8: その実施段階ははしたない

仮説: その実施段階は御悪くないけどはしたない
1. 事実1から、推論1: "その実施段階は御優しい"が導かれる
2. 仮定1: 以下のように仮定する。「その実施段階は御悪い」ということは確かだ
3. 推論1と仮定1から、推論2: "その実施段階は御優しいしかつ御悪い"が導かれる
4. 推論2と事実6から、推論3: "その優待は出易くない"が導かれる
5. 推論3と事実7から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その実施段階は御悪いということはない"が導かれる
7. 推論5と事実8から、仮説が導かれる

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