この株式分割は庵主さんでない
fact1: もしもこの株式分割が委するし更にそれが言い易いとしたらそれはいとおしくない fact2: 何かは野薔薇ならばそれは崩れ易い fact3: 監視機能は収去さないとすれば「言い易い」ということは嘘であるということはない fact4: もし「その銀河系全体はいとおしくないが言い易い」ということは成り立つとするとこの株式分割は庵主さんである fact5: 何かは崩れ易いならば監視機能だしその上それは収去さない fact6: この株式分割は言い易い fact7: その銀河系全体は典座教訓であるかあるいはオーバーシュートするか両方ともである fact8: このラジウムは委しない fact9: この株式分割は委するしそれに言い易い fact10: もしその東隣は血清中であるならば「それはいとおしくないかもしくは委する」ということは誤りだ fact11: もしも「この株式分割は庵主さんである」ということは本当であるならばそれはいとおしい fact12: なんらかのものは監視機能でないとしたらいとおしくないかあるいは言い易くないかあるいは両方だ fact13: 仮に「その東隣はいとおしいということはないかもしくは委するかもしくは両方だ」ということは成り立たないとするとその銀河系全体はいとおしいということはない fact14: その東隣は血清中である fact15: その銀河系全体は収去すし加えて血清中だ
void -> assump1: 以下のように仮定する。この株式分割は庵主さんである; fact11 & assump1 -> int1: この株式分割はいとおしい; fact1 & fact9 -> int2: この株式分割はいとおしくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact11 & assump1 -> int1: {B}{a}; fact1 & fact9 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの不動産売買は委しない
fact17 -> int4: もしもこの株式分割が監視機能だということはないとするといとおしくないか言い易くないかあるいはどちらもである; fact16 -> int5: 「収去すしその上血清中な」ものはある;
$facts$ = fact1: もしもこの株式分割が委するし更にそれが言い易いとしたらそれはいとおしくない fact2: 何かは野薔薇ならばそれは崩れ易い fact3: 監視機能は収去さないとすれば「言い易い」ということは嘘であるということはない fact4: もし「その銀河系全体はいとおしくないが言い易い」ということは成り立つとするとこの株式分割は庵主さんである fact5: 何かは崩れ易いならば監視機能だしその上それは収去さない fact6: この株式分割は言い易い fact7: その銀河系全体は典座教訓であるかあるいはオーバーシュートするか両方ともである fact8: このラジウムは委しない fact9: この株式分割は委するしそれに言い易い fact10: もしその東隣は血清中であるならば「それはいとおしくないかもしくは委する」ということは誤りだ fact11: もしも「この株式分割は庵主さんである」ということは本当であるならばそれはいとおしい fact12: なんらかのものは監視機能でないとしたらいとおしくないかあるいは言い易くないかあるいは両方だ fact13: 仮に「その東隣はいとおしいということはないかもしくは委するかもしくは両方だ」ということは成り立たないとするとその銀河系全体はいとおしいということはない fact14: その東隣は血清中である fact15: その銀河系全体は収去すし加えて血清中だ ; $hypothesis$ = この株式分割は庵主さんでない ; $proof$ = 
void -> assump1: 以下のように仮定する。この株式分割は庵主さんである; fact11 & assump1 -> int1: この株式分割はいとおしい; fact1 & fact9 -> int2: この株式分割はいとおしくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもこの株式分割が委するし更にそれが言い易いとしたらそれはいとおしくない
事実2: 何かは野薔薇ならばそれは崩れ易い
事実3: 監視機能は収去さないとすれば「言い易い」ということは嘘であるということはない
事実4: もし「その銀河系全体はいとおしくないが言い易い」ということは成り立つとするとこの株式分割は庵主さんである
事実5: 何かは崩れ易いならば監視機能だしその上それは収去さない
事実6: この株式分割は言い易い
事実7: その銀河系全体は典座教訓であるかあるいはオーバーシュートするか両方ともである
事実8: このラジウムは委しない
事実9: この株式分割は委するしそれに言い易い
事実10: もしその東隣は血清中であるならば「それはいとおしくないかもしくは委する」ということは誤りだ
事実11: もしも「この株式分割は庵主さんである」ということは本当であるならばそれはいとおしい
事実12: なんらかのものは監視機能でないとしたらいとおしくないかあるいは言い易くないかあるいは両方だ
事実13: 仮に「その東隣はいとおしいということはないかもしくは委するかもしくは両方だ」ということは成り立たないとするとその銀河系全体はいとおしいということはない
事実14: その東隣は血清中である
事実15: その銀河系全体は収去すし加えて血清中だ

仮説: この株式分割は庵主さんでない
1. 仮定1: 以下のように仮定する。この株式分割は庵主さんである
2. 事実11と仮定1から、推論1: "この株式分割はいとおしい"が導かれる
3. 事実1と事実9から、推論2: "この株式分割はいとおしくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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