その二イレブンは作劇例でない
fact1: もしなにがしかの物がアイホール全体でないならそれは作劇例であるしその上口汚い fact2: その二イレブンは憂うということはないかもしくはそれは看取しない fact3: もしその二イレブンは憂わないか看取しないか両方ならそれは作劇例でない fact4: もしもその日の出公園が看取しないとするとそれは着直さない
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
その二イレブンは作劇例だ
fact5 -> int1: その二イレブンがアイホール全体でないならば作劇例で更にそれは口汚い;
$facts$ = fact1: もしなにがしかの物がアイホール全体でないならそれは作劇例であるしその上口汚い fact2: その二イレブンは憂うということはないかもしくはそれは看取しない fact3: もしその二イレブンは憂わないか看取しないか両方ならそれは作劇例でない fact4: もしもその日の出公園が看取しないとするとそれは着直さない ; $hypothesis$ = その二イレブンは作劇例でない ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: もしなにがしかの物がアイホール全体でないならそれは作劇例であるしその上口汚い
事実2: その二イレブンは憂うということはないかもしくはそれは看取しない
事実3: もしその二イレブンは憂わないか看取しないか両方ならそれは作劇例でない
事実4: もしもその日の出公園が看取しないとするとそれは着直さない

仮説: その二イレブンは作劇例でない
1. 事実3と事実2から、仮説が導かれる

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