あの出分かれは失する
fact1: 「この口腔保健管理は金額以下でなくておまけに貧しくない」ということは間違っている fact2: あの出分かれは行き渡る fact3: もし仮に「この口腔保健管理は金額以下でないし加えて貧しくない」ということは成り立たないとしたらあの岩木川水系は金額以下である fact4: もし仮にこの本州四国連絡橋は居辛いなら「それは行き渡るしその上育ち合うということはない」ということは本当でない fact5: あの出分かれは清々しい fact6: この本州四国連絡橋はノーザン・スターであるとしたら「それは仰々しいけど育ち合うということはない」ということは間違っている fact7: あの岩木川水系は老朽化する fact8: もし仮に居辛くないものはノーザン・スターでないとしたら仰々しくない fact9: 仮になにがしかのものが身動ぐなら仰々しい fact10: 「そのＤＶは行き渡らない」ということは成り立つ fact11: もし仮に「あの出分かれは居辛いということはない」ということは成り立つとすればそれは仰々しいがしかし失しない fact12: 「もし仮に「この本州四国連絡橋は仰々しくない」ということは成り立つならばあの本州四国連絡橋は行き渡る一方で失しない」ということは事実である fact13: この本州四国連絡橋が居辛くないがしかし清々しいとすればあの出分かれは居辛くない fact14: この本州四国連絡橋は清々しくない fact15: 「「あの出分かれは失するし働き易い」ということは成り立つ」ということは間違いだ fact16: もし仮にこの本州四国連絡橋が仰々しくなくてかつノーザン・スターでないとしたら「それは居辛くない」ということは成り立つ fact17: 「「その時間平均は青黒いということはないがしかし脱税である」ということは成り立たない」ということは本当ならばこの本州四国連絡橋は身動ぐ fact18: もし仮になにかは居辛いということはないかもしくはそれはノーザン・スターでないかまたはどちらもであるとするとそれは失しない fact19: もしその時間平均が仰々しくないとしたらあの出分かれは仰々しいしその上失する fact20: あの岩木川水系が老朽化するとしたらそれは食べ易い fact21: もし仮にこの本州四国連絡橋が居辛くないとするとその時間平均は居辛いということはないしかつノーザン・スターであるということはない fact22: 仮に何らかのものは清々しいがしかしそれは育ち合わないならばそれは行き渡らない fact23: 仮にこの本州四国連絡橋は清々しくないとすればそれは行き渡るが育ち合うということはない fact24: なにがしかの物はＣＭ方式でないとしたら「それは青黒くないけれど脱税だ」ということは事実と異なる fact25: もしもあの出分かれが失しないならその時間平均は失しないしそれはノーザン・スターでない
void -> assump1: 以下のように仮定する。この本州四国連絡橋は居辛い; fact4 & assump1 -> int1: 「この本州四国連絡橋は行き渡るが育ち合わない」ということは成り立たない; fact23 & fact14 -> int2: この本州四国連絡橋は行き渡る一方で育ち合うということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この本州四国連絡橋は居辛くない; int4 & fact21 -> int5: 「その時間平均は居辛くなくてまたノーザン・スターでない」ということは間違っていない; fact8 -> int6: その時間平均が居辛くないししかもそれはノーザン・スターでないとするとそれは仰々しくない; int5 & int6 -> int7: その時間平均は仰々しくない; int7 & fact19 -> int8: あの出分かれは仰々しくてそれは失する; int8 -> hypothesis;
あの出分かれは失しない
fact31 -> int9: 仮にあの出分かれは居辛くないかあるいはノーザン・スターでないかもしくは両方ともなら失しない; fact33 -> int10: もしもこの本州四国連絡橋は身動ぐとしたら「それは仰々しい」ということは成り立つ; fact26 -> int11: 仮にその時間平均はＣＭ方式でないとしたら「それは青黒くないけど脱税だ」ということは成り立たない; fact34 & fact29 -> int12: あの岩木川水系は金額以下である; fact32 & fact27 -> int13: あの岩木川水系は食べ易い; int12 & int13 -> int14: あの岩木川水系が金額以下だしまたそれは食べ易い; int14 -> int15: あるものは金額以下であるし加えて食べ易い;
$facts$ = fact1: 「この口腔保健管理は金額以下でなくておまけに貧しくない」ということは間違っている fact2: あの出分かれは行き渡る fact3: もし仮に「この口腔保健管理は金額以下でないし加えて貧しくない」ということは成り立たないとしたらあの岩木川水系は金額以下である fact4: もし仮にこの本州四国連絡橋は居辛いなら「それは行き渡るしその上育ち合うということはない」ということは本当でない fact5: あの出分かれは清々しい fact6: この本州四国連絡橋はノーザン・スターであるとしたら「それは仰々しいけど育ち合うということはない」ということは間違っている fact7: あの岩木川水系は老朽化する fact8: もし仮に居辛くないものはノーザン・スターでないとしたら仰々しくない fact9: 仮になにがしかのものが身動ぐなら仰々しい fact10: 「そのＤＶは行き渡らない」ということは成り立つ fact11: もし仮に「あの出分かれは居辛いということはない」ということは成り立つとすればそれは仰々しいがしかし失しない fact12: 「もし仮に「この本州四国連絡橋は仰々しくない」ということは成り立つならばあの本州四国連絡橋は行き渡る一方で失しない」ということは事実である fact13: この本州四国連絡橋が居辛くないがしかし清々しいとすればあの出分かれは居辛くない fact14: この本州四国連絡橋は清々しくない fact15: 「「あの出分かれは失するし働き易い」ということは成り立つ」ということは間違いだ fact16: もし仮にこの本州四国連絡橋が仰々しくなくてかつノーザン・スターでないとしたら「それは居辛くない」ということは成り立つ fact17: 「「その時間平均は青黒いということはないがしかし脱税である」ということは成り立たない」ということは本当ならばこの本州四国連絡橋は身動ぐ fact18: もし仮になにかは居辛いということはないかもしくはそれはノーザン・スターでないかまたはどちらもであるとするとそれは失しない fact19: もしその時間平均が仰々しくないとしたらあの出分かれは仰々しいしその上失する fact20: あの岩木川水系が老朽化するとしたらそれは食べ易い fact21: もし仮にこの本州四国連絡橋が居辛くないとするとその時間平均は居辛いということはないしかつノーザン・スターであるということはない fact22: 仮に何らかのものは清々しいがしかしそれは育ち合わないならばそれは行き渡らない fact23: 仮にこの本州四国連絡橋は清々しくないとすればそれは行き渡るが育ち合うということはない fact24: なにがしかの物はＣＭ方式でないとしたら「それは青黒くないけれど脱税だ」ということは事実と異なる fact25: もしもあの出分かれが失しないならその時間平均は失しないしそれはノーザン・スターでない ; $hypothesis$ = あの出分かれは失する ; $proof$ = 
void -> assump1: 以下のように仮定する。この本州四国連絡橋は居辛い; fact4 & assump1 -> int1: 「この本州四国連絡橋は行き渡るが育ち合わない」ということは成り立たない; fact23 & fact14 -> int2: この本州四国連絡橋は行き渡る一方で育ち合うということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この本州四国連絡橋は居辛くない; int4 & fact21 -> int5: 「その時間平均は居辛くなくてまたノーザン・スターでない」ということは間違っていない; fact8 -> int6: その時間平均が居辛くないししかもそれはノーザン・スターでないとするとそれは仰々しくない; int5 & int6 -> int7: その時間平均は仰々しくない; int7 & fact19 -> int8: あの出分かれは仰々しくてそれは失する; int8 -> 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: 仮にこの本州四国連絡橋は清々しくないとすればそれは行き渡るが育ち合うということはない
事実24: なにがしかの物はＣＭ方式でないとしたら「それは青黒くないけれど脱税だ」ということは事実と異なる
事実25: もしもあの出分かれが失しないならその時間平均は失しないしそれはノーザン・スターでない

仮説: あの出分かれは失する
1. 仮定1: 以下のように仮定する。この本州四国連絡橋は居辛い
2. 事実4と仮定1から、推論1: "「この本州四国連絡橋は行き渡るが育ち合わない」ということは成り立たない"が導かれる
3. 事実23と事実14から、推論2: "この本州四国連絡橋は行き渡る一方で育ち合うということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この本州四国連絡橋は居辛くない"が導かれる
6. 推論4と事実21から、推論5: "「その時間平均は居辛くなくてまたノーザン・スターでない」ということは間違っていない"が導かれる
7. 事実8から、推論6: "その時間平均が居辛くないししかもそれはノーザン・スターでないとするとそれは仰々しくない"が導かれる
8. 推論5と推論6から、推論7: "その時間平均は仰々しくない"が導かれる
9. 推論7と事実19から、推論8: "あの出分かれは仰々しくてそれは失する"が導かれる
10. 推論8から、仮説が導かれる

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