あのダイバー‐ＧＵＩＬＤは北信愛である
fact1: 仮にあの第三軍が遣らないならそれは探し易いグラフだ fact2: 「その頼り甲斐は探し易い」ということは事実であるとすればあのダイバー‐ＧＵＩＬＤは媚びる fact3: もしも「あのビンテージワインは収益回復でないけど朱印状である」ということは成り立たないならばあの頼り甲斐は適応する fact4: 仮にあのビンテージワインが剥ぎ取るとするとあのダイバー‐ＧＵＩＬＤは吹き易い fact5: もし仮にこの砂糖漬けが介すならばあの抗酸化力は吹き易い fact6: もしもなにがしかのものが媚びるとすると重しないし新鮮味でない fact7: もし仮にあのオートマチックが甚だしないならばこの砂糖漬けは介すしそれに下ろし易い fact8: 吹き易いものは新鮮味だ fact9: もしも「あのビンテージワインは吹き易い」ということは成り立つとしたらあのダイバー‐ＧＵＩＬＤは吹き易い fact10: 仮にその頼り甲斐が新鮮味であるならあのダイバー‐ＧＵＩＬＤは北信愛だ fact11: もしあの第三軍は探し易いとすると「その頼り甲斐は探し易い」ということは正しい fact12: あの体側が力無いとしたらその戦術眼は力無い fact13: あの体側は力無い fact14: 吹き易い物が適応しないとしたら北信愛でない fact15: もし「吹き易い」物があるとすればあのビンテージワインは吹き易いかもしくは剥ぎ取る fact16: 「あのビンテージワインは収益回復であるということはないがしかし朱印状である」ということは成り立たない fact17: もし重しない物が新鮮味でないとすればそれは適応するということはない fact18: もし仮になにかは適応するとしたら「それは吹き易い」ということは本当だ fact19: 仮にその戦術眼が力無いならあのオートマチックは甚だしない
fact3 & fact16 -> int1: その頼り甲斐は適応する; fact18 -> int2: 仮に「その頼り甲斐は適応する」ということは成り立つならそれは吹き易い; int1 & int2 -> int3: その頼り甲斐は吹き易い; fact8 -> int4: 仮にその頼り甲斐が吹き易いならばそれは新鮮味である; int3 & int4 -> int5: その頼り甲斐は新鮮味である; int5 & fact10 -> hypothesis;
あのダイバー‐ＧＵＩＬＤは北信愛であるということはない
fact33 -> int6: 仮にあのダイバー‐ＧＵＩＬＤは吹き易いがしかし適応しないならばそれは北信愛であるということはない; fact28 & fact26 -> int7: その戦術眼は力無い; fact21 & int7 -> int8: あのオートマチックは甚だしということはない; fact20 & int8 -> int9: この砂糖漬けは介すしそれに下ろし易い; int9 -> int10: この砂糖漬けは介す; fact22 & int10 -> int11: その抗酸化力は吹き易い; int11 -> int12: あるものは吹き易い; int12 & fact25 -> int13: あのビンテージワインは吹き易いかもしくは剥ぎ取るか両方ともだ; int13 & fact29 & fact31 -> int14: あのダイバー‐ＧＵＩＬＤは吹き易い; fact27 -> int15: もしもあのダイバー‐ＧＵＩＬＤは重しないし加えて新鮮味だということはないとすればそれは適応しない; fact24 -> int16: もしあのダイバー‐ＧＵＩＬＤが媚びるとすれば重しないししかも新鮮味でない;
$facts$ = fact1: 仮にあの第三軍が遣らないならそれは探し易いグラフだ fact2: 「その頼り甲斐は探し易い」ということは事実であるとすればあのダイバー‐ＧＵＩＬＤは媚びる fact3: もしも「あのビンテージワインは収益回復でないけど朱印状である」ということは成り立たないならばあの頼り甲斐は適応する fact4: 仮にあのビンテージワインが剥ぎ取るとするとあのダイバー‐ＧＵＩＬＤは吹き易い fact5: もし仮にこの砂糖漬けが介すならばあの抗酸化力は吹き易い fact6: もしもなにがしかのものが媚びるとすると重しないし新鮮味でない fact7: もし仮にあのオートマチックが甚だしないならばこの砂糖漬けは介すしそれに下ろし易い fact8: 吹き易いものは新鮮味だ fact9: もしも「あのビンテージワインは吹き易い」ということは成り立つとしたらあのダイバー‐ＧＵＩＬＤは吹き易い fact10: 仮にその頼り甲斐が新鮮味であるならあのダイバー‐ＧＵＩＬＤは北信愛だ fact11: もしあの第三軍は探し易いとすると「その頼り甲斐は探し易い」ということは正しい fact12: あの体側が力無いとしたらその戦術眼は力無い fact13: あの体側は力無い fact14: 吹き易い物が適応しないとしたら北信愛でない fact15: もし「吹き易い」物があるとすればあのビンテージワインは吹き易いかもしくは剥ぎ取る fact16: 「あのビンテージワインは収益回復であるということはないがしかし朱印状である」ということは成り立たない fact17: もし重しない物が新鮮味でないとすればそれは適応するということはない fact18: もし仮になにかは適応するとしたら「それは吹き易い」ということは本当だ fact19: 仮にその戦術眼が力無いならあのオートマチックは甚だしない ; $hypothesis$ = あのダイバー‐ＧＵＩＬＤは北信愛である ; $proof$ = 
fact3 & fact16 -> int1: その頼り甲斐は適応する; fact18 -> int2: 仮に「その頼り甲斐は適応する」ということは成り立つならそれは吹き易い; int1 & int2 -> int3: その頼り甲斐は吹き易い; fact8 -> int4: 仮にその頼り甲斐が吹き易いならばそれは新鮮味である; int3 & int4 -> int5: その頼り甲斐は新鮮味である; int5 & fact10 -> hypothesis; __PROVED__
事実1: 仮にあの第三軍が遣らないならそれは探し易いグラフだ
事実2: 「その頼り甲斐は探し易い」ということは事実であるとすればあのダイバー‐ＧＵＩＬＤは媚びる
事実3: もしも「あのビンテージワインは収益回復でないけど朱印状である」ということは成り立たないならばあの頼り甲斐は適応する
事実4: 仮にあのビンテージワインが剥ぎ取るとするとあのダイバー‐ＧＵＩＬＤは吹き易い
事実5: もし仮にこの砂糖漬けが介すならばあの抗酸化力は吹き易い
事実6: もしもなにがしかのものが媚びるとすると重しないし新鮮味でない
事実7: もし仮にあのオートマチックが甚だしないならばこの砂糖漬けは介すしそれに下ろし易い
事実8: 吹き易いものは新鮮味だ
事実9: もしも「あのビンテージワインは吹き易い」ということは成り立つとしたらあのダイバー‐ＧＵＩＬＤは吹き易い
事実10: 仮にその頼り甲斐が新鮮味であるならあのダイバー‐ＧＵＩＬＤは北信愛だ
事実11: もしあの第三軍は探し易いとすると「その頼り甲斐は探し易い」ということは正しい
事実12: あの体側が力無いとしたらその戦術眼は力無い
事実13: あの体側は力無い
事実14: 吹き易い物が適応しないとしたら北信愛でない
事実15: もし「吹き易い」物があるとすればあのビンテージワインは吹き易いかもしくは剥ぎ取る
事実16: 「あのビンテージワインは収益回復であるということはないがしかし朱印状である」ということは成り立たない
事実17: もし重しない物が新鮮味でないとすればそれは適応するということはない
事実18: もし仮になにかは適応するとしたら「それは吹き易い」ということは本当だ
事実19: 仮にその戦術眼が力無いならあのオートマチックは甚だしない

仮説: あのダイバー‐ＧＵＩＬＤは北信愛である
1. 事実3と事実16から、推論1: "その頼り甲斐は適応する"が導かれる
2. 事実18から、推論2: "仮に「その頼り甲斐は適応する」ということは成り立つならそれは吹き易い"が導かれる
3. 推論1と推論2から、推論3: "その頼り甲斐は吹き易い"が導かれる
4. 事実8から、推論4: "仮にその頼り甲斐が吹き易いならばそれは新鮮味である"が導かれる
5. 推論3と推論4から、推論5: "その頼り甲斐は新鮮味である"が導かれる
6. 推論5と事実10から、仮説が導かれる

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