「あの竜ちゃんは恵み深くないがしかし一般管理費である」ということは事実と異なる
fact1: もし仮にあの異所性甲状腺が発生し難くないとすればあのモン・ＤＶは十字軍遠征でないけれどそれはブラバスらしい fact2: もしもとある物が投稿ならば第三層内であるし恵み深くない fact3: あの竜ちゃんは一般管理費だ fact4: あのモン・ＤＶがブラバスらしいけど発生し難くないとするとあの異所性甲状腺は十字軍遠征でない fact5: もしあの炒り卵が話せるが逃がさないとすれば投稿である fact6: もしなにがしかのものは製法特許等であるとしたらそれは投稿だ fact7: もしあのモン・ＤＶが十字軍遠征でないけどブラバスらしいとすればその健康状態はブラバスらしくない fact8: ブラバスらしくない物は製法特許等でオートコンプリートだ fact9: 仮にあの竜ちゃんが逃がすけど移り難くないならあの異所性甲状腺は話せらない fact10: あの炒り卵は話せるけど逃がさない fact11: もし仮にあの炒り卵が製法特許等ならあのモン・ＤＶはブラバスらしい fact12: あの異所性甲状腺は恵み深くないならば「あの竜ちゃんは恵み深くないけど一般管理費である」ということは偽である fact13: もし仮にあの異所性甲状腺が話せらないならば発生し難くないしそれは一般管理費でない fact14: もし仮になんらかの物は投稿であるとするとそれはオートコンプリートである fact15: もしあの炒り卵はオートコンプリートであるとすると製法特許等である fact16: あのモン・ＤＶは発生し難いということはない fact17: 「あの宗教的価値は十字軍遠征だ」ということは真実である fact18: もし仮にあの異所性甲状腺が十字軍遠征だということはないならそれは恵み深くない
fact14 -> int1: もし仮にあの炒り卵は投稿であるとするとそれはオートコンプリートである; fact5 & fact10 -> int2: あの炒り卵は投稿だ; int1 & int2 -> int3: あの炒り卵はオートコンプリートだ; int3 & fact15 -> int4: あの炒り卵は製法特許等だ; int4 & fact11 -> int5: あのモン・ＤＶはブラバスらしい; int5 & fact16 -> int6: あのモン・ＤＶはブラバスらしいが発生し難くない; int6 & fact4 -> int7: あの異所性甲状腺は十字軍遠征でない; int7 & fact18 -> int8: 「あの異所性甲状腺は恵み深くない」ということは成り立つ; int8 & fact12 -> hypothesis;
あの竜ちゃんは恵み深くないがしかし一般管理費である
$facts$ = fact1: もし仮にあの異所性甲状腺が発生し難くないとすればあのモン・ＤＶは十字軍遠征でないけれどそれはブラバスらしい fact2: もしもとある物が投稿ならば第三層内であるし恵み深くない fact3: あの竜ちゃんは一般管理費だ fact4: あのモン・ＤＶがブラバスらしいけど発生し難くないとするとあの異所性甲状腺は十字軍遠征でない fact5: もしあの炒り卵が話せるが逃がさないとすれば投稿である fact6: もしなにがしかのものは製法特許等であるとしたらそれは投稿だ fact7: もしあのモン・ＤＶが十字軍遠征でないけどブラバスらしいとすればその健康状態はブラバスらしくない fact8: ブラバスらしくない物は製法特許等でオートコンプリートだ fact9: 仮にあの竜ちゃんが逃がすけど移り難くないならあの異所性甲状腺は話せらない fact10: あの炒り卵は話せるけど逃がさない fact11: もし仮にあの炒り卵が製法特許等ならあのモン・ＤＶはブラバスらしい fact12: あの異所性甲状腺は恵み深くないならば「あの竜ちゃんは恵み深くないけど一般管理費である」ということは偽である fact13: もし仮にあの異所性甲状腺が話せらないならば発生し難くないしそれは一般管理費でない fact14: もし仮になんらかの物は投稿であるとするとそれはオートコンプリートである fact15: もしあの炒り卵はオートコンプリートであるとすると製法特許等である fact16: あのモン・ＤＶは発生し難いということはない fact17: 「あの宗教的価値は十字軍遠征だ」ということは真実である fact18: もし仮にあの異所性甲状腺が十字軍遠征だということはないならそれは恵み深くない ; $hypothesis$ = 「あの竜ちゃんは恵み深くないがしかし一般管理費である」ということは事実と異なる ; $proof$ = 
fact14 -> int1: もし仮にあの炒り卵は投稿であるとするとそれはオートコンプリートである; fact5 & fact10 -> int2: あの炒り卵は投稿だ; int1 & int2 -> int3: あの炒り卵はオートコンプリートだ; int3 & fact15 -> int4: あの炒り卵は製法特許等だ; int4 & fact11 -> int5: あのモン・ＤＶはブラバスらしい; int5 & fact16 -> int6: あのモン・ＤＶはブラバスらしいが発生し難くない; int6 & fact4 -> int7: あの異所性甲状腺は十字軍遠征でない; int7 & fact18 -> int8: 「あの異所性甲状腺は恵み深くない」ということは成り立つ; int8 & fact12 -> hypothesis; __PROVED__
事実1: もし仮にあの異所性甲状腺が発生し難くないとすればあのモン・ＤＶは十字軍遠征でないけれどそれはブラバスらしい
事実2: もしもとある物が投稿ならば第三層内であるし恵み深くない
事実3: あの竜ちゃんは一般管理費だ
事実4: あのモン・ＤＶがブラバスらしいけど発生し難くないとするとあの異所性甲状腺は十字軍遠征でない
事実5: もしあの炒り卵が話せるが逃がさないとすれば投稿である
事実6: もしなにがしかのものは製法特許等であるとしたらそれは投稿だ
事実7: もしあのモン・ＤＶが十字軍遠征でないけどブラバスらしいとすればその健康状態はブラバスらしくない
事実8: ブラバスらしくない物は製法特許等でオートコンプリートだ
事実9: 仮にあの竜ちゃんが逃がすけど移り難くないならあの異所性甲状腺は話せらない
事実10: あの炒り卵は話せるけど逃がさない
事実11: もし仮にあの炒り卵が製法特許等ならあのモン・ＤＶはブラバスらしい
事実12: あの異所性甲状腺は恵み深くないならば「あの竜ちゃんは恵み深くないけど一般管理費である」ということは偽である
事実13: もし仮にあの異所性甲状腺が話せらないならば発生し難くないしそれは一般管理費でない
事実14: もし仮になんらかの物は投稿であるとするとそれはオートコンプリートである
事実15: もしあの炒り卵はオートコンプリートであるとすると製法特許等である
事実16: あのモン・ＤＶは発生し難いということはない
事実17: 「あの宗教的価値は十字軍遠征だ」ということは真実である
事実18: もし仮にあの異所性甲状腺が十字軍遠征だということはないならそれは恵み深くない

仮説: 「あの竜ちゃんは恵み深くないがしかし一般管理費である」ということは事実と異なる
1. 事実14から、推論1: "もし仮にあの炒り卵は投稿であるとするとそれはオートコンプリートである"が導かれる
2. 事実5と事実10から、推論2: "あの炒り卵は投稿だ"が導かれる
3. 推論1と推論2から、推論3: "あの炒り卵はオートコンプリートだ"が導かれる
4. 推論3と事実15から、推論4: "あの炒り卵は製法特許等だ"が導かれる
5. 推論4と事実11から、推論5: "あのモン・ＤＶはブラバスらしい"が導かれる
6. 推論5と事実16から、推論6: "あのモン・ＤＶはブラバスらしいが発生し難くない"が導かれる
7. 推論6と事実4から、推論7: "あの異所性甲状腺は十字軍遠征でない"が導かれる
8. 推論7と事実18から、推論8: "「あの異所性甲状腺は恵み深くない」ということは成り立つ"が導かれる
9. 推論8と事実12から、仮説が導かれる

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