この一次発酵はノミネートする
fact1: もし何らかの物が少年交流でないかあるいは御誘いするとしたらこの一次発酵はノミネートする fact2: 「難行でないか顧慮するかもしくは両方ともである」ものはある fact3: 「少年交流でないかあるいは御誘いするか両方な」物はある fact4: 「少年交流であるかあるいは御誘いする」物はある fact5: もしなんらかのものが御誘いするしそれに少年交流であるならばそれはノミネートしない fact6: 「核膜でないかもしくは桟橋であるかまたは両方である」物はある fact7: 仮にその向上等が眩しくなくて三人掛かりでないならこの一次発酵は三人掛かりでない fact8: もしなんらかの物は三人掛かりでないとするとそれは御誘いするしその上少年交流だ fact9: もしも「少年交流でない」物があればこの一次発酵はノミネートする
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
この一次発酵はノミネートしない
fact11 -> int1: もしこの一次発酵は御誘いするしかつ少年交流だとすればノミネートしない; fact10 -> int2: もしこの一次発酵が三人掛かりでないならば御誘いするししかも少年交流だ;
$facts$ = fact1: もし何らかの物が少年交流でないかあるいは御誘いするとしたらこの一次発酵はノミネートする fact2: 「難行でないか顧慮するかもしくは両方ともである」ものはある fact3: 「少年交流でないかあるいは御誘いするか両方な」物はある fact4: 「少年交流であるかあるいは御誘いする」物はある fact5: もしなんらかのものが御誘いするしそれに少年交流であるならばそれはノミネートしない fact6: 「核膜でないかもしくは桟橋であるかまたは両方である」物はある fact7: 仮にその向上等が眩しくなくて三人掛かりでないならこの一次発酵は三人掛かりでない fact8: もしなんらかの物は三人掛かりでないとするとそれは御誘いするしその上少年交流だ fact9: もしも「少年交流でない」物があればこの一次発酵はノミネートする ; $hypothesis$ = この一次発酵はノミネートする ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: もし何らかの物が少年交流でないかあるいは御誘いするとしたらこの一次発酵はノミネートする
事実2: 「難行でないか顧慮するかもしくは両方ともである」ものはある
事実3: 「少年交流でないかあるいは御誘いするか両方な」物はある
事実4: 「少年交流であるかあるいは御誘いする」物はある
事実5: もしなんらかのものが御誘いするしそれに少年交流であるならばそれはノミネートしない
事実6: 「核膜でないかもしくは桟橋であるかまたは両方である」物はある
事実7: 仮にその向上等が眩しくなくて三人掛かりでないならこの一次発酵は三人掛かりでない
事実8: もしなんらかの物は三人掛かりでないとするとそれは御誘いするしその上少年交流だ
事実9: もしも「少年交流でない」物があればこの一次発酵はノミネートする

仮説: この一次発酵はノミネートする
1. 事実3と事実1から、仮説が導かれる

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