この城塞都市は得す
fact1: もし仮にこのメラニン色素が得すならばこの城塞都市はぎすぎすする fact2: もしこの城塞都市が根気良いとしたらそれは得す fact3: 仮に「ある物は正しない」ということは正しいならば得すない fact4: この町会事務所は得す fact5: もしこのメラニン色素がぎすぎすするとするとこの城塞都市は根気良い fact6: 仮にこのメラニン色素が根気良いとすればそのモーロ人は根気良い fact7: 仮にこの城塞都市が得すとしたらそれは正し fact8: もし仮に「このメラニン色素は正し」ということは誤りでないとするとこの城塞都市は根気良い fact9: このメラニン色素は正しかまたはそれはぎすぎすするかまたは両方だ
fact9 & fact8 & fact5 -> int1: この城塞都市は根気良い; int1 & fact2 -> hypothesis;
そのモーロ人は根気良い
$facts$ = fact1: もし仮にこのメラニン色素が得すならばこの城塞都市はぎすぎすする fact2: もしこの城塞都市が根気良いとしたらそれは得す fact3: 仮に「ある物は正しない」ということは正しいならば得すない fact4: この町会事務所は得す fact5: もしこのメラニン色素がぎすぎすするとするとこの城塞都市は根気良い fact6: 仮にこのメラニン色素が根気良いとすればそのモーロ人は根気良い fact7: 仮にこの城塞都市が得すとしたらそれは正し fact8: もし仮に「このメラニン色素は正し」ということは誤りでないとするとこの城塞都市は根気良い fact9: このメラニン色素は正しかまたはそれはぎすぎすするかまたは両方だ ; $hypothesis$ = この城塞都市は得す ; $proof$ = 
fact9 & fact8 & fact5 -> int1: この城塞都市は根気良い; int1 & fact2 -> hypothesis; __PROVED__
事実1: もし仮にこのメラニン色素が得すならばこの城塞都市はぎすぎすする
事実2: もしこの城塞都市が根気良いとしたらそれは得す
事実3: 仮に「ある物は正しない」ということは正しいならば得すない
事実4: この町会事務所は得す
事実5: もしこのメラニン色素がぎすぎすするとするとこの城塞都市は根気良い
事実6: 仮にこのメラニン色素が根気良いとすればそのモーロ人は根気良い
事実7: 仮にこの城塞都市が得すとしたらそれは正し
事実8: もし仮に「このメラニン色素は正し」ということは誤りでないとするとこの城塞都市は根気良い
事実9: このメラニン色素は正しかまたはそれはぎすぎすするかまたは両方だ

仮説: この城塞都市は得す
1. 事実9と事実8と事実5から、推論1: "この城塞都市は根気良い"が導かれる
2. 推論1と事実2から、仮説が導かれる

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