男らしいということは起こらない
fact1: 「すばしこいということが発生する」ということかコンパイル出来ることは男らしいということを阻止する fact2: 小暗いということは起こらないならば男らしいということが発生するしかつまちょまくLv.83事件が起こる fact3: まちょまくLv.83事件が起こるしその上小暗いということが生じる
fact3 -> int1: まちょまくLv.83事件が起きる;
fact3 -> int1: {A};
男らしいということが起こる
$facts$ = fact1: 「すばしこいということが発生する」ということかコンパイル出来ることは男らしいということを阻止する fact2: 小暗いということは起こらないならば男らしいということが発生するしかつまちょまくLv.83事件が起こる fact3: まちょまくLv.83事件が起こるしその上小暗いということが生じる ; $hypothesis$ = 男らしいということは起こらない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__