その確率変動中は目覚ましい
fact1: その確率変動中は甲斐甲斐しくて九十参照だ fact2: 「その確率変動中は利用され易い」ということは間違いでない fact3: もしもこの大量解雇が窮迫するけど選択集でないとすればその確率変動中は目覚ましくない fact4: 「選択集であるかあるいは目覚ましい」物があればその確率変動中は窮迫する fact5: この棄権は選択集であるか目覚ましいか両方ともだ fact6: あのマリーゴールドは窮迫する fact7: その確率変動中は窮迫するしそれは目覚ましい
fact7 -> hypothesis;
fact7 -> hypothesis;
その確率変動中は目覚ましくない
$facts$ = fact1: その確率変動中は甲斐甲斐しくて九十参照だ fact2: 「その確率変動中は利用され易い」ということは間違いでない fact3: もしもこの大量解雇が窮迫するけど選択集でないとすればその確率変動中は目覚ましくない fact4: 「選択集であるかあるいは目覚ましい」物があればその確率変動中は窮迫する fact5: この棄権は選択集であるか目覚ましいか両方ともだ fact6: あのマリーゴールドは窮迫する fact7: その確率変動中は窮迫するしそれは目覚ましい ; $hypothesis$ = その確率変動中は目覚ましい ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: その確率変動中は甲斐甲斐しくて九十参照だ
事実2: 「その確率変動中は利用され易い」ということは間違いでない
事実3: もしもこの大量解雇が窮迫するけど選択集でないとすればその確率変動中は目覚ましくない
事実4: 「選択集であるかあるいは目覚ましい」物があればその確率変動中は窮迫する
事実5: この棄権は選択集であるか目覚ましいか両方ともだ
事実6: あのマリーゴールドは窮迫する
事実7: その確率変動中は窮迫するしそれは目覚ましい

仮説: その確率変動中は目覚ましい
1. 事実7から、仮説が導かれる

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