もしあのパッシングは北陸路であるとすれば「この気分次第は飽きっぽくないかもしくは織り交ぜないかもしくはどちらもである」ということは偽である
fact1: そのコンディションＳが視認出来ないとしたらその十一月号はむさいということはない fact2: もし仮にその協議離婚が飽きっぽいならばこの気分次第は織り交ぜる fact3: 「その十一月号は国家政治保安部でないか夥しくないかあるいは両方だ」ということは誤っている fact4: 仮にあのパッシングが北陸路であるならばあのコンディションＳはヘッジ出来なくてそれは視認出来ない fact5: もしあのパッシングが北陸路だとしたらこの気分次第は飽きっぽくないか織り交ぜないか両方だ fact6: その総収入額は北陸路だ fact7: もしもあのパッシングは北陸路なら「この気分次第は飽きっぽいかもしくは織り交ぜない」ということは事実と異なる fact8: そのコンディションＳが視認出来ないとすればその十一月号は視認出来なくてまたむさくない fact9: この気分次第は飽きっぽいということはないかあるいはそれは織り交ぜない fact10: 仮にそのコンディションＳが視認出来るとすればあの気分次第はヘッジ出来ないしかつそれは飽きっぽくない fact11: もしもあのパッシングが北陸路だとすればそのコンディションＳはヘッジ出来ない fact12: その十一月号はむさくない fact13: もしあのパッシングが視認出来ないけれど織り交ぜるとすればあの気分次第は北陸路だ fact14: この気分次第は織り交ぜる fact15: もしもその協議離婚は飽きっぽいなら「この気分次第は飽きっぽいかあるいは織り交ぜない」ということは事実と異なる fact16: 仮にそのコンディションＳが視認出来るということはないけど北陸路ならば「あのパッシングはむさい」ということは確かである fact17: その十一月号が視認出来るということはなくてむさくないとしたらその協議離婚は飽きっぽい fact18: もし仮にこの気分次第が北陸路であるならその十一月号は視認出来るということはないしかつ織り交ぜない fact19: もしもあのパッシングがむさくなくて北陸路でないならその十一月号は視認出来る fact20: 仮にこの気分次第は視認出来るとしたら「そのコンディションＳは織り交ぜないし加えてヘッジ出来るということはない」ということは確かである fact21: もしその協議離婚は飽きっぽいとすると「この気分次第は飽きっぽくないか織り交ぜないかあるいは両方だ」ということは間違いだ fact22: そのコンディションＳはヘッジ出来ない fact23: そのコンディションＳは織り交ぜる
void -> assump1: 以下のように仮定する。あのパッシングは北陸路である; fact4 & assump1 -> int1: そのコンディションＳはヘッジ出来なくてかつ視認出来ない; int1 -> int2: そのコンディションＳは視認出来ない; int2 & fact8 -> int3: その十一月号は視認出来なくてそれにむさくない; int3 & fact17 -> int4: 「その協議離婚は飽きっぽい」ということは確かだ; int4 & fact21 -> int5: 「この気分次第は飽きっぽくないかもしくは織り交ぜるということはないかもしくは両方ともだ」ということは誤りだ; [assump1] & int5 -> hypothesis;
$facts$ = fact1: そのコンディションＳが視認出来ないとしたらその十一月号はむさいということはない fact2: もし仮にその協議離婚が飽きっぽいならばこの気分次第は織り交ぜる fact3: 「その十一月号は国家政治保安部でないか夥しくないかあるいは両方だ」ということは誤っている fact4: 仮にあのパッシングが北陸路であるならばあのコンディションＳはヘッジ出来なくてそれは視認出来ない fact5: もしあのパッシングが北陸路だとしたらこの気分次第は飽きっぽくないか織り交ぜないか両方だ fact6: その総収入額は北陸路だ fact7: もしもあのパッシングは北陸路なら「この気分次第は飽きっぽいかもしくは織り交ぜない」ということは事実と異なる fact8: そのコンディションＳが視認出来ないとすればその十一月号は視認出来なくてまたむさくない fact9: この気分次第は飽きっぽいということはないかあるいはそれは織り交ぜない fact10: 仮にそのコンディションＳが視認出来るとすればあの気分次第はヘッジ出来ないしかつそれは飽きっぽくない fact11: もしもあのパッシングが北陸路だとすればそのコンディションＳはヘッジ出来ない fact12: その十一月号はむさくない fact13: もしあのパッシングが視認出来ないけれど織り交ぜるとすればあの気分次第は北陸路だ fact14: この気分次第は織り交ぜる fact15: もしもその協議離婚は飽きっぽいなら「この気分次第は飽きっぽいかあるいは織り交ぜない」ということは事実と異なる fact16: 仮にそのコンディションＳが視認出来るということはないけど北陸路ならば「あのパッシングはむさい」ということは確かである fact17: その十一月号が視認出来るということはなくてむさくないとしたらその協議離婚は飽きっぽい fact18: もし仮にこの気分次第が北陸路であるならその十一月号は視認出来るということはないしかつ織り交ぜない fact19: もしもあのパッシングがむさくなくて北陸路でないならその十一月号は視認出来る fact20: 仮にこの気分次第は視認出来るとしたら「そのコンディションＳは織り交ぜないし加えてヘッジ出来るということはない」ということは確かである fact21: もしその協議離婚は飽きっぽいとすると「この気分次第は飽きっぽくないか織り交ぜないかあるいは両方だ」ということは間違いだ fact22: そのコンディションＳはヘッジ出来ない fact23: そのコンディションＳは織り交ぜる ; $hypothesis$ = もしあのパッシングは北陸路であるとすれば「この気分次第は飽きっぽくないかもしくは織り交ぜないかもしくはどちらもである」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのパッシングは北陸路である; fact4 & assump1 -> int1: そのコンディションＳはヘッジ出来なくてかつ視認出来ない; int1 -> int2: そのコンディションＳは視認出来ない; int2 & fact8 -> int3: その十一月号は視認出来なくてそれにむさくない; int3 & fact17 -> int4: 「その協議離婚は飽きっぽい」ということは確かだ; int4 & fact21 -> int5: 「この気分次第は飽きっぽくないかもしくは織り交ぜるということはないかもしくは両方ともだ」ということは誤りだ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: そのコンディションＳが視認出来ないとしたらその十一月号はむさいということはない
事実2: もし仮にその協議離婚が飽きっぽいならばこの気分次第は織り交ぜる
事実3: 「その十一月号は国家政治保安部でないか夥しくないかあるいは両方だ」ということは誤っている
事実4: 仮にあのパッシングが北陸路であるならばあのコンディションＳはヘッジ出来なくてそれは視認出来ない
事実5: もしあのパッシングが北陸路だとしたらこの気分次第は飽きっぽくないか織り交ぜないか両方だ
事実6: その総収入額は北陸路だ
事実7: もしもあのパッシングは北陸路なら「この気分次第は飽きっぽいかもしくは織り交ぜない」ということは事実と異なる
事実8: そのコンディションＳが視認出来ないとすればその十一月号は視認出来なくてまたむさくない
事実9: この気分次第は飽きっぽいということはないかあるいはそれは織り交ぜない
事実10: 仮にそのコンディションＳが視認出来るとすればあの気分次第はヘッジ出来ないしかつそれは飽きっぽくない
事実11: もしもあのパッシングが北陸路だとすればそのコンディションＳはヘッジ出来ない
事実12: その十一月号はむさくない
事実13: もしあのパッシングが視認出来ないけれど織り交ぜるとすればあの気分次第は北陸路だ
事実14: この気分次第は織り交ぜる
事実15: もしもその協議離婚は飽きっぽいなら「この気分次第は飽きっぽいかあるいは織り交ぜない」ということは事実と異なる
事実16: 仮にそのコンディションＳが視認出来るということはないけど北陸路ならば「あのパッシングはむさい」ということは確かである
事実17: その十一月号が視認出来るということはなくてむさくないとしたらその協議離婚は飽きっぽい
事実18: もし仮にこの気分次第が北陸路であるならその十一月号は視認出来るということはないしかつ織り交ぜない
事実19: もしもあのパッシングがむさくなくて北陸路でないならその十一月号は視認出来る
事実20: 仮にこの気分次第は視認出来るとしたら「そのコンディションＳは織り交ぜないし加えてヘッジ出来るということはない」ということは確かである
事実21: もしその協議離婚は飽きっぽいとすると「この気分次第は飽きっぽくないか織り交ぜないかあるいは両方だ」ということは間違いだ
事実22: そのコンディションＳはヘッジ出来ない
事実23: そのコンディションＳは織り交ぜる

仮説: もしあのパッシングは北陸路であるとすれば「この気分次第は飽きっぽくないかもしくは織り交ぜないかもしくはどちらもである」ということは偽である
1. 仮定1: 以下のように仮定する。あのパッシングは北陸路である
2. 事実4と仮定1から、推論1: "そのコンディションＳはヘッジ出来なくてかつ視認出来ない"が導かれる
3. 推論1から、推論2: "そのコンディションＳは視認出来ない"が導かれる
4. 推論2と事実8から、推論3: "その十一月号は視認出来なくてそれにむさくない"が導かれる
5. 推論3と事実17から、推論4: "「その協議離婚は飽きっぽい」ということは確かだ"が導かれる
6. 推論4と事実21から、推論5: "「この気分次第は飽きっぽくないかもしくは織り交ぜるということはないかもしくは両方ともだ」ということは誤りだ"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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