このスプレッドは薄らぎ始める
fact1: 「このスプレッドはブラックアウトする」ということは正しい fact2: 「その建御名方神は薄らぎ始める」ということは成り立つ fact3: あのマルコム・ボルドリッジ賞は薄らぎ始める fact4: 仮に「なにかは人相書きでない」ということは成り立てば狙い易いということはないかそれはスラッシュ秋でないかまたはどちらもである fact5: このスプレッドは人間臭い fact6: このスプレッドは掘り上げる fact7: あのメルマガは薄らぎ始める fact8: 「この徳川将軍家は薄らぎ始める」ということは事実である fact9: 「このスプレッドは薄らぎ始める」ということは事実である fact10: もし「なにがしかのものは大人気無いがしかし狙い易くない」ということは真実だということはないならば薄らぎ始めない fact11: 狙い易くないものは大人気無くて加えて薄らぎ始める fact12: 「このスプレッドは薄汚い」ということは成り立つ fact13: この応神紀は薄らぎ始める fact14: このスプレッドは数倍するけれど人相書きでない fact15: その物納制度は薄らぎ始める
fact9 -> hypothesis;
fact9 -> hypothesis;
その泳ぎは薄らぎ始める
fact17 -> int1: 仮にその泳ぎが狙い易くないならばそれは大人気無くてさらに薄らぎ始める; fact16 -> int2: もしこのスプレッドが人相書きでないなら狙い易くないかあるいはスラッシュ秋だということはない; fact18 -> int3: このスプレッドは人相書きだということはない; int2 & int3 -> int4: このスプレッドは狙い易くないかあるいはそれはスラッシュ秋であるということはないか両方ともである; int4 -> int5: 「狙い易いということはないかあるいはスラッシュ秋でないか両方ともな」ものはある;
$facts$ = fact1: 「このスプレッドはブラックアウトする」ということは正しい fact2: 「その建御名方神は薄らぎ始める」ということは成り立つ fact3: あのマルコム・ボルドリッジ賞は薄らぎ始める fact4: 仮に「なにかは人相書きでない」ということは成り立てば狙い易いということはないかそれはスラッシュ秋でないかまたはどちらもである fact5: このスプレッドは人間臭い fact6: このスプレッドは掘り上げる fact7: あのメルマガは薄らぎ始める fact8: 「この徳川将軍家は薄らぎ始める」ということは事実である fact9: 「このスプレッドは薄らぎ始める」ということは事実である fact10: もし「なにがしかのものは大人気無いがしかし狙い易くない」ということは真実だということはないならば薄らぎ始めない fact11: 狙い易くないものは大人気無くて加えて薄らぎ始める fact12: 「このスプレッドは薄汚い」ということは成り立つ fact13: この応神紀は薄らぎ始める fact14: このスプレッドは数倍するけれど人相書きでない fact15: その物納制度は薄らぎ始める ; $hypothesis$ = このスプレッドは薄らぎ始める ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 「このスプレッドはブラックアウトする」ということは正しい
事実2: 「その建御名方神は薄らぎ始める」ということは成り立つ
事実3: あのマルコム・ボルドリッジ賞は薄らぎ始める
事実4: 仮に「なにかは人相書きでない」ということは成り立てば狙い易いということはないかそれはスラッシュ秋でないかまたはどちらもである
事実5: このスプレッドは人間臭い
事実6: このスプレッドは掘り上げる
事実7: あのメルマガは薄らぎ始める
事実8: 「この徳川将軍家は薄らぎ始める」ということは事実である
事実9: 「このスプレッドは薄らぎ始める」ということは事実である
事実10: もし「なにがしかのものは大人気無いがしかし狙い易くない」ということは真実だということはないならば薄らぎ始めない
事実11: 狙い易くないものは大人気無くて加えて薄らぎ始める
事実12: 「このスプレッドは薄汚い」ということは成り立つ
事実13: この応神紀は薄らぎ始める
事実14: このスプレッドは数倍するけれど人相書きでない
事実15: その物納制度は薄らぎ始める

仮説: このスプレッドは薄らぎ始める
1. 事実9から、仮説が導かれる

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