「あの照合作業は獲得するがしかしそれは読み進まない」ということは間違っている
fact1: あの照合作業は言い易いなら「獲得するがしかし読み進まない」ということは嘘である fact2: あの照合作業は言い易い
$facts$ = fact1: あの照合作業は言い易いなら「獲得するがしかし読み進まない」ということは嘘である fact2: あの照合作業は言い易い ; $hypothesis$ = 「あの照合作業は獲得するがしかしそれは読み進まない」ということは間違っている ; $proof$ = 
事実1: あの照合作業は言い易いなら「獲得するがしかし読み進まない」ということは嘘である
事実2: あの照合作業は言い易い

仮説: 「あの照合作業は獲得するがしかしそれは読み進まない」ということは間違っている