あの三十代後半は疑わし
fact1: もし仮にあるものが瞠目しないならばそれは千本松原でないしさらにそれは抱き合う fact2: 「あの三十代後半は疑わし」ということは誤っていない fact3: もし仮に「あの三十代後半は抱き合うということはない」ということは正しいとすればこの抹消登記請求権は千本松原であるしさらに疑わし fact4: もしも「何かは瞠目しないかまたは行使価格であるか両方ともである」ということは偽であるとしたらそれは抱き合わない
fact2 -> hypothesis;
fact2 -> hypothesis;
この抹消登記請求権は疑わし
fact5 -> int1: もし「あの三十代後半は瞠目するということはないかまたは行使価格であるか両方だ」ということは成り立つということはないとすれば抱き合わない;
$facts$ = fact1: もし仮にあるものが瞠目しないならばそれは千本松原でないしさらにそれは抱き合う fact2: 「あの三十代後半は疑わし」ということは誤っていない fact3: もし仮に「あの三十代後半は抱き合うということはない」ということは正しいとすればこの抹消登記請求権は千本松原であるしさらに疑わし fact4: もしも「何かは瞠目しないかまたは行使価格であるか両方ともである」ということは偽であるとしたらそれは抱き合わない ; $hypothesis$ = あの三十代後半は疑わし ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮にあるものが瞠目しないならばそれは千本松原でないしさらにそれは抱き合う
事実2: 「あの三十代後半は疑わし」ということは誤っていない
事実3: もし仮に「あの三十代後半は抱き合うということはない」ということは正しいとすればこの抹消登記請求権は千本松原であるしさらに疑わし
事実4: もしも「何かは瞠目しないかまたは行使価格であるか両方ともである」ということは偽であるとしたらそれは抱き合わない

仮説: あの三十代後半は疑わし
1. 事実2から、仮説が導かれる

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