その詞書は迷走神経だ
fact1: あのトランセクトラインはワーキングメモリだ fact2: その神秘学会は迷走神経である fact3: この文学館は迷走神経である fact4: その詞書はＫ‐ＬＡＢである fact5: あのトランセクトラインが三四半期であるかまたはそれが見出だし難くないかあるいはどちらもならばその武士達は見出だし難くない fact6: もし「見出だし難いということはない」物はあるとすると「あの譜代門閥は尊しないがしかし成せる」ということは誤っている fact7: その詞書は庶民派系だ fact8: その詞書は旧制大学だ fact9: この中段は迷走神経だ fact10: その詞書は被担保債権額である fact11: その詞書は面映ゆい fact12: その詞書は迷走神経だ fact13: 「その詞書は愛らしい」ということは正しい fact14: もしあのトランセクトラインがワーキングメモリならばそれは三四半期だ fact15: この計画変更は迷走神経である fact16: その魚肥は迷走神経である fact17: あの代参は迷走神経である fact18: 「この入院は迷走神経だ」ということは成り立つ fact19: 「このココア豆が折り重なるしその上迷走神経だ」ということは事実と異なるとすればその詞書は迷走神経でない
fact12 -> hypothesis;
fact12 -> hypothesis;
その詞書は迷走神経であるということはない
fact21 & fact20 -> int1: あのトランセクトラインは三四半期である; int1 -> int2: あのトランセクトラインは三四半期であるかまたは見出だし難いということはない; fact22 & int2 -> int3: その武士達は見出だし難くない; int3 -> int4: 見出だし難くないものはある; int4 & fact24 -> int5: 「あの譜代門閥は尊しないが成せる」ということは嘘である; int5 -> int6: 「「尊しないしその上成せる」ということは事実と異なる」物はある;
$facts$ = fact1: あのトランセクトラインはワーキングメモリだ fact2: その神秘学会は迷走神経である fact3: この文学館は迷走神経である fact4: その詞書はＫ‐ＬＡＢである fact5: あのトランセクトラインが三四半期であるかまたはそれが見出だし難くないかあるいはどちらもならばその武士達は見出だし難くない fact6: もし「見出だし難いということはない」物はあるとすると「あの譜代門閥は尊しないがしかし成せる」ということは誤っている fact7: その詞書は庶民派系だ fact8: その詞書は旧制大学だ fact9: この中段は迷走神経だ fact10: その詞書は被担保債権額である fact11: その詞書は面映ゆい fact12: その詞書は迷走神経だ fact13: 「その詞書は愛らしい」ということは正しい fact14: もしあのトランセクトラインがワーキングメモリならばそれは三四半期だ fact15: この計画変更は迷走神経である fact16: その魚肥は迷走神経である fact17: あの代参は迷走神経である fact18: 「この入院は迷走神経だ」ということは成り立つ fact19: 「このココア豆が折り重なるしその上迷走神経だ」ということは事実と異なるとすればその詞書は迷走神経でない ; $hypothesis$ = その詞書は迷走神経だ ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: あのトランセクトラインはワーキングメモリだ
事実2: その神秘学会は迷走神経である
事実3: この文学館は迷走神経である
事実4: その詞書はＫ‐ＬＡＢである
事実5: あのトランセクトラインが三四半期であるかまたはそれが見出だし難くないかあるいはどちらもならばその武士達は見出だし難くない
事実6: もし「見出だし難いということはない」物はあるとすると「あの譜代門閥は尊しないがしかし成せる」ということは誤っている
事実7: その詞書は庶民派系だ
事実8: その詞書は旧制大学だ
事実9: この中段は迷走神経だ
事実10: その詞書は被担保債権額である
事実11: その詞書は面映ゆい
事実12: その詞書は迷走神経だ
事実13: 「その詞書は愛らしい」ということは正しい
事実14: もしあのトランセクトラインがワーキングメモリならばそれは三四半期だ
事実15: この計画変更は迷走神経である
事実16: その魚肥は迷走神経である
事実17: あの代参は迷走神経である
事実18: 「この入院は迷走神経だ」ということは成り立つ
事実19: 「このココア豆が折り重なるしその上迷走神経だ」ということは事実と異なるとすればその詞書は迷走神経でない

仮説: その詞書は迷走神経だ
1. 事実12から、仮説が導かれる

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