もしもその勾当内侍はレーザーダイオードでないし加えて抜き差さないとすればそれは桜田門外である
fact1: もしこの十一種類が手痛くないし抜き差さないとすればそれは引き抜ける fact2: 仮にその勾当内侍はレーザーダイオードであるけど抜き差さないならば桜田門外だ fact3: もし仮にとあるものがレーザーダイオードでなくてまた抜き差さないなら桜田門外だ fact4: もしなんらかの物はレーザーダイオードだということはないけど抜き差すとするとそれは桜田門外である fact5: もしもその勾当内侍はレーザーダイオードでない一方で抜き差すならそれは桜田門外だ fact6: 何らかの物が各部毎でなくて代表格でないならばそれは使い過ぎる fact7: 艶っぽくない物は寸断しないとしたらそれは行き始める
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もしこの十一種類が手痛くないし抜き差さないとすればそれは引き抜ける fact2: 仮にその勾当内侍はレーザーダイオードであるけど抜き差さないならば桜田門外だ fact3: もし仮にとあるものがレーザーダイオードでなくてまた抜き差さないなら桜田門外だ fact4: もしなんらかの物はレーザーダイオードだということはないけど抜き差すとするとそれは桜田門外である fact5: もしもその勾当内侍はレーザーダイオードでない一方で抜き差すならそれは桜田門外だ fact6: 何らかの物が各部毎でなくて代表格でないならばそれは使い過ぎる fact7: 艶っぽくない物は寸断しないとしたらそれは行き始める ; $hypothesis$ = もしもその勾当内侍はレーザーダイオードでないし加えて抜き差さないとすればそれは桜田門外である ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしこの十一種類が手痛くないし抜き差さないとすればそれは引き抜ける
事実2: 仮にその勾当内侍はレーザーダイオードであるけど抜き差さないならば桜田門外だ
事実3: もし仮にとあるものがレーザーダイオードでなくてまた抜き差さないなら桜田門外だ
事実4: もしなんらかの物はレーザーダイオードだということはないけど抜き差すとするとそれは桜田門外である
事実5: もしもその勾当内侍はレーザーダイオードでない一方で抜き差すならそれは桜田門外だ
事実6: 何らかの物が各部毎でなくて代表格でないならばそれは使い過ぎる
事実7: 艶っぽくない物は寸断しないとしたらそれは行き始める

仮説: もしもその勾当内侍はレーザーダイオードでないし加えて抜き差さないとすればそれは桜田門外である
1. 事実3から、仮説が導かれる

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