このマオイストはインサートしない
fact1: この基本的目標はインサートする fact2: このマオイストはインサートする
$facts$ = fact1: この基本的目標はインサートする fact2: このマオイストはインサートする ; $hypothesis$ = このマオイストはインサートしない ; $proof$ = 
事実1: この基本的目標はインサートする
事実2: このマオイストはインサートする

仮説: このマオイストはインサートしない