そのシステム全体は設定するしさらにそれは痒い
fact1: そのシステム全体は痒い fact2: そのシステム全体は設定する
$facts$ = fact1: そのシステム全体は痒い fact2: そのシステム全体は設定する ; $hypothesis$ = そのシステム全体は設定するしさらにそれは痒い ; $proof$ = 
事実1: そのシステム全体は痒い
事実2: そのシステム全体は設定する

仮説: そのシステム全体は設定するしさらにそれは痒い