「そのワンパターンは青っぽい」ということは確かだとすれば記憶するし浅くない
fact1: 青っぽい物は記憶する一方で浅くない fact2: 仮にこのリモート・アシスタンスは特殊建築物であるならば「浅いということはない」ということは真実だ fact3: もし仮にそのワンパターンが泥臭いとすれば記憶するがしかし言い過ぎるということはない fact4: もしなにかは絶対的自由だとすれば切り替え作業である一方で仮すということはない fact5: 仮にそのワンパターンが揉み合うとすれば往復するが青っぽくない fact6: 仮にそのワンパターンがライセンスするなら強行しない fact7: 狭苦しい物は保護出来ない fact8: もしも「そのワンパターンは把握し難い」ということは成り立つとするとそれは浅いがしかしＣＥＡでない fact9: 仮にそのワンパターンが仮すとすれば先ずしない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 青っぽい物は記憶する一方で浅くない fact2: 仮にこのリモート・アシスタンスは特殊建築物であるならば「浅いということはない」ということは真実だ fact3: もし仮にそのワンパターンが泥臭いとすれば記憶するがしかし言い過ぎるということはない fact4: もしなにかは絶対的自由だとすれば切り替え作業である一方で仮すということはない fact5: 仮にそのワンパターンが揉み合うとすれば往復するが青っぽくない fact6: 仮にそのワンパターンがライセンスするなら強行しない fact7: 狭苦しい物は保護出来ない fact8: もしも「そのワンパターンは把握し難い」ということは成り立つとするとそれは浅いがしかしＣＥＡでない fact9: 仮にそのワンパターンが仮すとすれば先ずしない ; $hypothesis$ = 「そのワンパターンは青っぽい」ということは確かだとすれば記憶するし浅くない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 青っぽい物は記憶する一方で浅くない
事実2: 仮にこのリモート・アシスタンスは特殊建築物であるならば「浅いということはない」ということは真実だ
事実3: もし仮にそのワンパターンが泥臭いとすれば記憶するがしかし言い過ぎるということはない
事実4: もしなにかは絶対的自由だとすれば切り替え作業である一方で仮すということはない
事実5: 仮にそのワンパターンが揉み合うとすれば往復するが青っぽくない
事実6: 仮にそのワンパターンがライセンスするなら強行しない
事実7: 狭苦しい物は保護出来ない
事実8: もしも「そのワンパターンは把握し難い」ということは成り立つとするとそれは浅いがしかしＣＥＡでない
事実9: 仮にそのワンパターンが仮すとすれば先ずしない

仮説: 「そのワンパターンは青っぽい」ということは確かだとすれば記憶するし浅くない
1. 事実1から、仮説が導かれる

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