この処女性は食べ荒らさない
fact1: もしもこの膏薬が辿り直すならこの処女性は食べ荒らす fact2: この膏薬は辿り直す
$facts$ = fact1: もしもこの膏薬が辿り直すならこの処女性は食べ荒らす fact2: この膏薬は辿り直す ; $hypothesis$ = この処女性は食べ荒らさない ; $proof$ = 
事実1: もしもこの膏薬が辿り直すならこの処女性は食べ荒らす
事実2: この膏薬は辿り直す

仮説: この処女性は食べ荒らさない