「持ち物検査でないとしたら読み捨てでないが心無い」物はある
fact1: 仮にその逐次処理は持ち物検査でないとすると読み捨てだということはない fact2: その逐次処理が持ち物検査であるということはないとすれば読み捨てでなくてまた心無い fact3: 何かは本願出願時であるということはないならばそれは読み捨てでないしまた見辛い fact4: 「輸液ボトルでないならば元気印である」物はある
fact2 -> hypothesis;
仮にその浜辺は本願出願時でないとしたら読み捨てでないけれど見辛い
fact5 -> hypothesis;
$facts$ = fact1: 仮にその逐次処理は持ち物検査でないとすると読み捨てだということはない fact2: その逐次処理が持ち物検査であるということはないとすれば読み捨てでなくてまた心無い fact3: 何かは本願出願時であるということはないならばそれは読み捨てでないしまた見辛い fact4: 「輸液ボトルでないならば元気印である」物はある ; $hypothesis$ = 「持ち物検査でないとしたら読み捨てでないが心無い」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 仮にその逐次処理は持ち物検査でないとすると読み捨てだということはない
事実2: その逐次処理が持ち物検査であるということはないとすれば読み捨てでなくてまた心無い
事実3: 何かは本願出願時であるということはないならばそれは読み捨てでないしまた見辛い
事実4: 「輸液ボトルでないならば元気印である」物はある

仮説: 「持ち物検査でないとしたら読み捨てでないが心無い」物はある
1. 事実2から、仮説が導かれる

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