あのリモートメソッド呼び出しはレメディーズでない一方で区画整理である
fact1: あのリモートメソッド呼び出しは区画整理だ fact2: あのリモートメソッド呼び出しはレメディーズでない
$facts$ = fact1: あのリモートメソッド呼び出しは区画整理だ fact2: あのリモートメソッド呼び出しはレメディーズでない ; $hypothesis$ = あのリモートメソッド呼び出しはレメディーズでない一方で区画整理である ; $proof$ = 
事実1: あのリモートメソッド呼び出しは区画整理だ
事実2: あのリモートメソッド呼び出しはレメディーズでない

仮説: あのリモートメソッド呼び出しはレメディーズでない一方で区画整理である