あのノーザンダンサー系は飼わない
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: 以下のように仮定する。あのノーザンダンサー系は飼う; fact14 & assump1 -> int1: あのノーザンダンサー系は昇格要件だ; fact8 -> int2: もしあのノーザンダンサー系は昇格要件であるとするとそれは捜索す; int1 & int2 -> int3: あのノーザンダンサー系は捜索す; int3 & fact5 -> int4: その商業用レコードは熟年世代だ; int4 & fact21 -> int5: この副組頭は逞しい; int5 & fact11 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
このＮＪＢは昇格要件である
fact26 -> int7: 「もし「このＮＪＢは熟年世代だがしかし逞しくない」ということは間違いだとしたらこのＮＪＢは捜索すらない」ということは事実である;
$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: 以下のように仮定する。あのノーザンダンサー系は飼う; fact14 & assump1 -> int1: あのノーザンダンサー系は昇格要件だ; fact8 -> int2: もしあのノーザンダンサー系は昇格要件であるとするとそれは捜索す; int1 & int2 -> int3: あのノーザンダンサー系は捜索す; int3 & fact5 -> int4: その商業用レコードは熟年世代だ; int4 & fact21 -> int5: この副組頭は逞しい; int5 & fact11 -> int6: これは矛盾である; [assump1] & int6 -> 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. 事実14と仮定1から、推論1: "あのノーザンダンサー系は昇格要件だ"が導かれる
3. 事実8から、推論2: "もしあのノーザンダンサー系は昇格要件であるとするとそれは捜索す"が導かれる
4. 推論1と推論2から、推論3: "あのノーザンダンサー系は捜索す"が導かれる
5. 推論3と事実5から、推論4: "その商業用レコードは熟年世代だ"が導かれる
6. 推論4と事実21から、推論5: "この副組頭は逞しい"が導かれる
7. 推論5と事実11から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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